Unsolvability of the Entscheidungsproblem as a Corollary ofGödel’s 2nd Theorem
in [Math]
|
Prev: found the flaw of the Pound & Rebka Experiment Re: Doppler Effect contradictory to Special Relativity? Chapt 8 #122; ATOM TOTALITY
Next: Spiral positions in cartesian coordinates
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 |