Why do they say a Turing machine is a imaginary concept (which is correct), then say ENIAC became the first one, but then maybe not?
Thanks for pointing out this hilarious section. A Turing machine is an “imaginary concept” just like any of mathematics. An abacus is also an “imaginary concept”. But people can still make them (at least finite versions).
When they start talking about “imaginary concepts”, it’s pretty clear that the author has no understanding about the relationship between math, science, engineering, etc. That lack of understanding is a necessary prerequisite for writing this kind of article.
Yes. Plus the turing machine has an infinite memory tape to write and read. Something that is in scope of mathematics, but we don’t have any infinite tapes in reality. That’s why we call it a mathematical model and imaginary… and it’s a useful model. But not a real machine. Whereas an abacus can actually be built. But an Abacus or a real-world “Turing machine” with a finite tape doesn’t teach us a lot about the halting problem and the important theoretical concepts. It wouldn’t be such a useful model without those imaginary definitions.
(And I don’t really see how someone would confuse that. Knowing what models are, what we use them for, and what maths is, is kind of high-school level science education…)
Thanks for pointing out this hilarious section. A Turing machine is an “imaginary concept” just like any of mathematics. An abacus is also an “imaginary concept”. But people can still make them (at least finite versions).
When they start talking about “imaginary concepts”, it’s pretty clear that the author has no understanding about the relationship between math, science, engineering, etc. That lack of understanding is a necessary prerequisite for writing this kind of article.
Yes. Plus the turing machine has an infinite memory tape to write and read. Something that is in scope of mathematics, but we don’t have any infinite tapes in reality. That’s why we call it a mathematical model and imaginary… and it’s a useful model. But not a real machine. Whereas an abacus can actually be built. But an Abacus or a real-world “Turing machine” with a finite tape doesn’t teach us a lot about the halting problem and the important theoretical concepts. It wouldn’t be such a useful model without those imaginary definitions.
(And I don’t really see how someone would confuse that. Knowing what models are, what we use them for, and what maths is, is kind of high-school level science education…)