Re: My talk about Godel to the post-grads.

Jesse F. Hughes wrote:
"Nam D. Nguyen" <namducnguyen@xxxxxxx> writes:

Peter_Smith wrote:

I'm minded to keep this wonderful piece to give to undergraduates as
an exercise to count the number of misunderstandings.
I wonder if misunderstandings of the nature of Godel's work would be
*only* with the undergraduates? Would, say, scholars and professors
be *totally* immune from the misunderstandings?


Presumably, Peter regularly teaches Goedel's theorem to a class of
undergrads, silly person. He does not scour the streets, searching
for those who misunderstand Goedel's theorem so that he can give them
a handout.

Haskell B. Curry, in "Foundations of Mathematical Logic", stated of an
incomplete formal system as "any formal system which is consistent and
sufficiently strong to be useful for mathematical purposes". He did
use the phrase "to put it roughly" before the sentence and I'm not
saying Curry misunderstood GIT. But the phrase "to be useful for
mathematical purposes" seems rather odd to me, somewhat suggesting
the possibility some authors and professors might not fully understand
the nature of GIT.
.

Relevant Pages

  • Re: My talk about Godel to the post-grads.
    ... arithmetic truth/semantics and FOL syntactical proof as if they both ... were of the same nature. ...
    (sci.logic)
  • Re: AppArmor FAQ
    ... James Morris wrote: ... points in the FAQ posted here which are likely to cause misunderstandings, ... and then subsequent responses of a similar nature. ...
    (Linux-Kernel)
  • Re: Beginners list
    ... # nature, are notoriously easy places for misunderstandings to occur. ... # first language may not be English, ...
    (comp.databases.oracle.server)
  • Re: Beginners list
    ... Internet newsgroups and/or forums, by their very ... nature, are notoriously easy places for misunderstandings to occur. ...
    (comp.databases.oracle.server)
Quantcast