19:1819:18, 27 December 2010diffhist+606
Talk:Gödel's incompleteness theorems
The problem is that incompleteness cannot be proved within Peano arithmetic because roundtripping is needed for the proof. But Hewitt proved that the theory ''Peano+Rountripping'' is inconsistent.
17:5617:56, 31 July 2010diffhist+367
Talk:Gödel's incompleteness theorems
Interesting that Wikipedia has decided to suppress from the article the published work by Professors Berto, Hewitt, Priest, and Routley on Wittgenstein's role in the incompleteness theorem.
17:1517:15, 20 June 2010diffhist+333
Talk:Gödel's incompleteness theorems
In his paper, Gödel explained that the proof is not in Russel's system (the foundattion of all mathematics). Instead, the proof is in a alleged (poorly specified) "meta-theory."
17:0917:09, 19 October 2009diffhist+384
Talk:Denotational semantics
The part of the article that you deleted explains why the functional approach that you advocate is inadequate. Furthermore, the sentence (above) that you provided is nonsense.
19:1819:18, 27 December 2010diffhist+606
Talk:Gödel's incompleteness theorems
The problem is that incompleteness cannot be proved within Peano arithmetic because roundtripping is needed for the proof. But Hewitt proved that the theory ''Peano+Rountripping'' is inconsistent.
17:5617:56, 31 July 2010diffhist+367
Talk:Gödel's incompleteness theorems
Interesting that Wikipedia has decided to suppress from the article the published work by Professors Berto, Hewitt, Priest, and Routley on Wittgenstein's role in the incompleteness theorem.
17:1517:15, 20 June 2010diffhist+333
Talk:Gödel's incompleteness theorems
In his paper, Gödel explained that the proof is not in Russel's system (the foundattion of all mathematics). Instead, the proof is in a alleged (poorly specified) "meta-theory."
17:0917:09, 19 October 2009diffhist+384
Talk:Denotational semantics
The part of the article that you deleted explains why the functional approach that you advocate is inadequate. Furthermore, the sentence (above) that you provided is nonsense.