Re: does sqrt(2) exist in CM?
tchow_at_lsa.umich.edu
Date: 02/15/05
- Next message: dave: "Re: Mathematics, Pseudomathematics, Artificial Intelligence"
- Previous message: Paul Holbach: "Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?)"
- In reply to: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Next in thread: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Reply: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Reply: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Reply: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ]
Date: 15 Feb 2005 21:54:41 GMT
In article <1108500848.830038.313970@z14g2000cwz.googlegroups.com>,
<examachine@gmail.com> wrote:
>I read the proofs and studied the construction a long time ago. Should
>I be now "proving" that to you, because of Torkel's silly posts?
I've studied lots of mathematics a long time ago that I later forgot the
details of. But when the time comes to discuss them, I have to go back
and review the material to make sure I don't spout nonsense.
What does it matter whether Torkel is a gadfly or if you thought I was
being condescending? Getting the statement of Chaitin's theorem right
is a worthwhile thing, so why not do it?
-- Tim Chow tchow-at-alum-dot-mit-dot-edu The range of our projectiles---even ... the artillery---however great, will never exceed four of those miles of which as many thousand separate us from the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
- Next message: dave: "Re: Mathematics, Pseudomathematics, Artificial Intelligence"
- Previous message: Paul Holbach: "Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?)"
- In reply to: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Next in thread: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Reply: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Reply: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Reply: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
Loading