New essay on Goedel's Incompleteness Theorem
in [Logic]
|
Prev: Solutions manual to Mechanical Behavior of Materials, 3E Norman E Dowling
Next: Editor of Physical Review A, Dr Gordon W.F. Drake does WRONG subtraction of 8th Class mathematics.
From: Aatu Koskensilta on 24 Sep 2009 07:29 Newberry <newberryxy(a)gmail.com> writes: > On Sep 23, 6:40�pm, Aatu Koskensilta <aatu.koskensi...(a)uta.fi> wrote: > >> From what you say I presume you're an autodidact when it comes to the >> incompleteness theorems. One of the dangers in being an autodidact -- >> and I say this as a fellow autodidact -- is that it is often very >> difficult to assess with any accuracy whether some idea, some line of >> thought, that springs to mind, is likely to have any significance or >> interest, from the point of view of the professional researcher; without >> feedback from those in the know > > Jargon and group think will not help us to solve the outstanding > problems of the foundations of mathematics. Why would anyone think jargon and group think would be of any help in solving the outstanding problem of the foundations of mathematics? -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon mann nicht sprechen kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: Aatu Koskensilta on 24 Sep 2009 07:31 Nam Nguyen <namducnguyen(a)shaw.ca> writes: > We always should learn from what who have gone before us learnt. That > doesn't necessarily mean they would _always_ be correct, whether or > not they realized that, or whether or not they realized that but > wouldn't want to admit it (perhaps for fear of loosing the > "knowledge"?). The relevance of these reflections escapes me. I haven't said anything about anyone always being right. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon mann nicht sprechen kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: Aatu Koskensilta on 24 Sep 2009 07:36 Frederick Williams <frederick.williams2(a)tesco.net> writes: > Aatu Koskensilta wrote: >> >> ... >> cleared up -- but perhaps, having died over fifty years ago, you no >> longer recall Kreisel's explanation... > > What?! John Jones has in the past informed us he's none other than old Witters himself. Kreisel in some review, article, piece of maundering, recounts he once explained G�del's proof to Wittgenstein, in recursion theoretic terms, and that Wittgenstein didn't have any problem with the proof after that. The infamous passages on the incompleteness theorem were written, so one surmises, prior to this. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon mann nicht sprechen kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: Frederick Williams on 24 Sep 2009 07:43 Newberry wrote: > > Jargon and group think will not help us to solve the outstanding > problems of the foundations of mathematics. Those problems being what? -- Which of the seven heavens / Was responsible her smile / Wouldn't be sure but attested / That, whoever it was, a god / Worth kneeling-to for a while / Had tabernacled and rested.
From: Frederick Williams on 24 Sep 2009 07:48
Aatu Koskensilta wrote: > > Frederick Williams <frederick.williams2(a)tesco.net> writes: > > > Aatu Koskensilta wrote: > >> > >> ... > >> cleared up -- but perhaps, having died over fifty years ago, you no > >> longer recall Kreisel's explanation... > > > > What?! > > John Jones has in the past informed us he's none other than old Witters > himself. Oh, sorry, I didn't know that. If I thought I was W's reincarnation I'd be too ashamed to admit it. > Kreisel in some review, article, piece of maundering, recounts > he once explained G�del's proof to Wittgenstein, in recursion theoretic > terms, and that Wittgenstein didn't have any problem with the proof > after that. The infamous passages on the incompleteness theorem were > written, so one surmises, prior to this. -- Which of the seven heavens / Was responsible her smile / Wouldn't be sure but attested / That, whoever it was, a god / Worth kneeling-to for a while / Had tabernacled and rested. |