Yes, some day a computer might be able to figure out that the set of rationals is not equipollent to the set of real numbers. I saw somewhere that using an automated theorem prover, one of Godel's incompleteness theorems was proved by a computer.
The question I raised initially was this: will there ever be a machine or human who can correctly answer all questions with a mathematical theme that have answers? I didn't think so in my original post but now I'm starting to wonder. It's the existence of undecidable statements that would probably lead to the machine or human not being able to do it in general. This reminds me of the halting problem. The good news is we will never run out of mathematical territory to think about. On Mon, Jan 27, 2014 at 6:58 AM, Gabriel Bodeen <[email protected]>wrote: > FWIW, under the usual definitions, the rationals are enumerable and so are > a smaller set than the reals. I'd suppose that if people can figure that > out with our nifty fleshy brains, then a well-designed computer brain > could, too. > -Gabe > > > On Friday, January 24, 2014 1:23:40 AM UTC-6, Brian Tenneson wrote: >> >> There are undecidable statements (about arithmetic)... There are true >> statements lacking proof. There are also false statements about arithmetic >> the proof of whose falsehood is impossible; not just impossible for you and >> me but for a computer of any capacity or other forms of rational >> processing. We'll never have a computer, then, that will work as a >> mathematically-omniscient device. By that I mean a computer such that every >> question that has a mathematically-oriented theme having an answer >> truthfully can be answered by such a device. Calculators demonstrate the >> concept but are clearly not mathematically-omniscient: you ask the >> calculator what is 2+2 and press a button and "presto" you get an answer. >> What I'm talking about would be questions like "is the set of rational >> numbers equal in size to the set of real numbers", and get the correct >> answer. So we will never have such a computer no matter what its capacities >> are, even if computer encompasses the entire human brain. Unfortunately, >> that means that even for humans, we will never know everything about math. >> Unless something weird would happen and we suddenly had infinite >> capacities; that might change the conclusions. >> > -- > You received this message because you are subscribed to a topic in the > Google Groups "Everything List" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/everything-list/xabA-SKxTHM/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/groups/opt_out. > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
