Unsolvability of the Entscheidungsproblem as a Corollary ofGödel’s 2nd Theorem
in [Logic]
|
Prev: Philosophy of mind is more important than the philosophy of language and epistemology
Next: There is such a thing as NIRVANA - I experienced it in 1968 together with a crowd of striking students
From: Aatu Koskensilta on 1 Jun 2010 15:29 George Greene <greeneg(a)email.unc.edu> writes: > The question said, "since provability is expressible". Is provability > in PA "expressible" in PA ?? Sure. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: Aatu Koskensilta on 1 Jun 2010 16:07 Charlie-Boo <shymathguy(a)gmail.com> writes: > So don't we have a proof that is (1) way simpler, and (2) way earlier, > than Church and Turing? No. What proof are you thinking of? -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, darüber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: Aatu Koskensilta on 4 Jun 2010 10:36 Charlie-Boo <shymathguy(a)gmail.com> writes: > What do you call someone who asks questions for which they know the > response? Something like "fuckwit", I believe. Depends on the situation. Teachers often ask questions they know the answer to, and while some teachers may well deserve the epithet "fuckwit" in general they aren't so called. In news a poster might ask a question they know the answer to with the intention of getting their interlocutor to reflect more carefully on some claim or point made, some argument presented. Some posters asking such questions are fuckwits, some not; some get called "fuckwits", some not. > Posting limit reached. :( A tragedy. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: Aatu Koskensilta on 4 Jun 2010 11:59
George Greene <greeneg(a)email.unc.edu> writes: > On Jun 1, 3:29�pm, Aatu Koskensilta <aatu.koskensi...(a)uta.fi> wrote: >> George Greene <gree...(a)email.unc.edu> writes: >> > The question said, "since provability is expressible". �Is provability >> > in PA "expressible" in PA ?? >> >> Sure. > > That strikes me as a loose usage. I'm not the one to complain about it. The technical usage is so entrenched by now it's impossible to eradicate. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus |