Re: Godel proved maths inconsistent not incompleteness theorem

Charlie-Boo <shymathguy@xxxxxxxxx> writes:

On Apr 17, 12:42 pm, "Jesse F. Hughes" <je...@xxxxxxxxxxxxx> wrote:
Charlie-Boo <shymath...@xxxxxxxxx> writes:

No, he wasn't replying to me.  Why would he use my name if he is
addressing me?  He was quoting me to another FOM member.

To whom do you think he was writing?

There's no other message with his subject, so he seems to be
starting fresh with a quote from me.

Yes, that's quite a commentary that quote inspired. And no wonder.
Your statement was chock-full of insight. It's natural to use it as a
starting point for a fresh discussion. (Pity that no discussion
ensued, but never mind. I'm sure that Davis was *trying* to converse
to a wide audience and not just replying to you.)


[...]

(1) Because Martin Davis once quoted part of your message in a mailing
list, it follows that you have mastered his introduction to
computability theory.

Who said anything about his introduction to computability theory -
what introduction?

You first brought up this auspicious event in the following excerpt.

,----
| > To start, see the Stanford Encyclopedia article on 'Turing
| > Machines' online. If you wish to investigate more see Martin
| > Davis's 'Computability and Undecidability'
|
| Martin Davis quoted me once.
`----

(2) Because you aced the SAT some time ago, your mathematics is
top-notch and this is why Davis quoted you.

No, as I said, you used sarcasm to describe my Mathematical ability,
so I set the record straight.

Right. Once upon a time, you aced the SAT. Therefore, your
mathematics really *is* top-notch. Congrats!

--
"I AM serious about this being a short route to a Ph.d for some of
you, but just remember, I'm the guy who proved Fermat's Last Theorem
in just a bit over 6 years [...] My standards are kind of high."
--James Harris, founding a new mathematical school
.

Quantcast