User contributions for 99.29.247.230

4 January 2011

• 17:4217:42, 4 January 2011 diff hist +217 Talk:Gödel's incompleteness theorems →Hilarious: On the other hand, classical mathematical logic has over 2,500 years of tradition behind it.

27 December 2010

• 19:5219:52, 27 December 2010 diff hist −13 Talk:Gödel's incompleteness theorems →Inaccurate description of work by Professor Hewitt: fixed link
• 19:1819:18, 27 December 2010 diff hist +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.

24 December 2010

• 20:4620:46, 24 December 2010 diff hist +382 Talk:Gödel's incompleteness theorems →Inaccurate description of work by Professor Hewitt: Many of the revisions concerned keeping the article consistent with Hewitt's other publications on ArXiv. Others improved readability

23 December 2010

• 21:3921:39, 23 December 2010 diff hist +617 Talk:Gödel's incompleteness theorems →Inaccurate description of work by Professor Hewitt: The contrast is quite amazing between the Wikipedia article Incompleteness theorems and the Hewitt article

29 November 2010

• 22:5122:51, 29 November 2010 diff hist +186 Talk:Actor model →Standard reference censored by User:CBM: Who is User:CBM and why is computer science being censored?

21 August 2010

• 23:2223:22, 21 August 2010 diff hist +378 Talk:Actor model →Latest publications on Actor Model: additional ref

31 July 2010

• 17:5617:56, 31 July 2010 diff hist +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.

20 June 2010

• 17:1717:17, 20 June 2010 diff hist −2 Talk:Gödel's incompleteness theorems →Edit disappeared (article misunderstood computer science)
• 17:1517:15, 20 June 2010 diff hist +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."
• 15:3415:34, 20 June 2010 diff hist +11 Talk:Gödel's incompleteness theorems →Professor Hewitt's work is mischaracterized in the article: corrected typo
• 15:3115:31, 20 June 2010 diff hist +437 Talk:Gödel's incompleteness theorems Gödel disallowed the inference relationship ⊢_Russell because allowing it would mean that incompleteness immediately proved inconsistency
• 15:1915:19, 20 June 2010 diff hist +293 Talk:Gödel's incompleteness theorems With their backs to the wall, it was the classical logicians who trashed Wittgenstein. In recent publications, his reputation has come back. See [Rodych 2003], etc.

18 June 2010

• 21:3521:35, 18 June 2010 diff hist +1,571 Talk:Gödel's incompleteness theorems Because of inconsistency, Gödel insisted on the restriction that the theory Russell was not allowed to speak of its its own inference relationship ⊢_Russell.

3 June 2010

• 16:2216:22, 3 June 2010 diff hist +17 Gödel's incompleteness theorems Undid revision 365853770 by Arthur Rubin (talk)
• 16:1916:19, 3 June 2010 diff hist +827 Talk:Gödel's incompleteness theorems →Edit disappeared (article misunderstood computer science): Controversy between Wittgenstein and Gödel
• 16:1216:12, 3 June 2010 diff hist +17 Gödel's incompleteness theorems restored edit

2 May 2010

• 20:0220:02, 2 May 2010 diff hist −1 Talk:Gödel's incompleteness theorems →Article has been semiprotected
• 20:0120:01, 2 May 2010 diff hist +187 Talk:Gödel's incompleteness theorems →Article has been semiprotected

17 April 2010

• 20:5320:53, 17 April 2010 diff hist +206 Talk:Gödel's incompleteness theorems →"Incompleteness theorems" redirects here?

7 March 2010

• 19:2919:29, 7 March 2010 diff hist +404 Talk:Gödel's incompleteness theorems →Why the Hewitt material is non-mainstream: Gödel did not give a formal proof of incompleteness in part because he did not axiomatize reification and abstraction.
• 19:2219:22, 7 March 2010 diff hist +333 Talk:Gödel's incompleteness theorems →"Incompleteness Theorems" on Knol: Wittgenstein was manifestly writing about Gödel's theorem.

5 March 2010

• 22:1022:10, 5 March 2010 diff hist +363 Talk:Gödel's incompleteness theorems →"Incompleteness Theorems" on Knol: The current article is neither a proper article on the mathematics of incompleteness theorems nor is it a proper history of incompleteness theorems

1 March 2010

• 17:1917:19, 1 March 2010 diff hist +277 Talk:Gödel's incompleteness theorems →"Incompleteness Theorems" on Knol: How to report on modern published work on incompleteness theorems? The current article only addresses issues that predate modern computing.

14 February 2010

• 23:1323:13, 14 February 2010 diff hist +171 Gödel's incompleteness theorems →Extensions of Gödel's original result: Contemporary incompleteness theorems
• 23:0923:09, 14 February 2010 diff hist +167 Talk:Gödel's incompleteness theorems →Incompletenesss in Logic for the Internet Age: Someone took the hint and created "Contemporary incompleteness theorems"

7 February 2010

• 22:1222:12, 7 February 2010 diff hist +239 Talk:Gödel's incompleteness theorems →Why this is good: I looked at the article and don't see any problem.

5 December 2009

• 19:0419:04, 5 December 2009 diff hist +308 Talk:Denotational semantics →Reply to "madmediamaven"

15 November 2009

• 19:1319:13, 15 November 2009 diff hist +5 Talk:History of the Scheme programming language →Material deleted from "Carl Hewitt, the Actor model, and the birth of Scheme": fixed typos
• 19:0819:08, 15 November 2009 diff hist −1 Talk:History of the Scheme programming language →Material deleted from "Carl Hewitt, the Actor model, and the birth of Scheme": fixed typo
• 19:0619:06, 15 November 2009 diff hist +26 Talk:History of the Scheme programming language material referenced above should also be included
• 19:0219:02, 15 November 2009 diff hist +887 Talk:History of the Scheme programming language According to Sussman and Steele [1976], this is what '''Hewitt is flaming about.'''

1 November 2009

• 17:5617:56, 1 November 2009 diff hist +336 Talk:Denotational semantics →Reply to Carl: I think they mean Professor Carl Hewitt and his colleagues.

20 October 2009

• 20:1720:17, 20 October 2009 diff hist +717 Talk:Denotational semantics Are you really so ignorant of environments and customers? This stuff has been published for decades.

19 October 2009

• 17:0917:09, 19 October 2009 diff hist +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.

18 October 2009

• 17:4217:42, 18 October 2009 diff hist +7,890 Denotational semantics restoration per talk page + cleanup

2 September 2009

• 18:1418:14, 2 September 2009 diff hist +16 Criticism of Google →North America: publication date
• 18:1218:12, 2 September 2009 diff hist +537 Criticism of Google →North America: toxic asset

23 August 2009

• 20:5720:57, 23 August 2009 diff hist +865 Actor model →Customers: relationship to continuations