User contributions for 71.198.220.76

19 July 2011

• 01:3601:36, 19 July 2011 diff hist −59‎ Iquique ‎ [http://www.municipioiquique.com/ Municipality of Iquique] website is actually a spam and advertising website

4 July 2011

• 11:4111:41, 4 July 2011 diff hist +378‎ Talk:Second-order logic ‎ Full second-order induction provides all the information that we can possibly have. It may be the case that this information ts incomplete in the sense there there is a proposition that can be neither be proved nor disproved.

2 July 2011

• 17:3917:39, 2 July 2011 diff hist +503‎ Talk:Second-order logic ‎ →‎Completeness: Peano proved that full second-order induction is categorical, i.e., all of models are isomorphic to the standard natural numbers.
• 17:0617:06, 2 July 2011 diff hist +1‎ Talk:Actor model ‎ This case harks back to [https://secure.wikimedia.org/wikipedia/en/wiki/Galileo_Galilei#Controversy_over_heliocentrism the case of Galileo versus the Church] with user:CBM acting the role of Cardinal Bellarmine.
• 17:0417:04, 2 July 2011 diff hist +596‎ Talk:Actor model ‎ User:CBM has removed crucial recent publications from the article using the justification that there are plenty of older more obsolete articles!

21 June 2011

• 19:4019:40, 21 June 2011 diff hist 0‎ Talk:Gödel's incompleteness theorems ‎ /* Quality and reliability of sources are subject to judgment. And the judgments of CBM have been called into question. (fixed typo)
• 19:3219:32, 21 June 2011 diff hist +235‎ Talk:Gödel's incompleteness theorems ‎ Quality and reliability of sources are subject to judgment. Adn the judgments of CBM have been called into question

20 June 2011

• 06:2606:26, 20 June 2011 diff hist +303‎ Talk:Gödel's incompleteness theorems ‎ →‎Controversy concerning Wittgenstein vs. Gödel on the incompleteness theorem has spread further: See [http://poster.robust11.org Inconsistency Robustness 2011]

19 June 2011

• 20:4920:49, 19 June 2011 diff hist +678‎ Talk:Gödel's incompleteness theorems ‎ Anonymous administrator CBM is abusing his power since he is engaged in a controversy wth Professor Hewitt on Wittgenstein vs. Goedel about the incompleteness.theorem.
• 17:1117:11, 19 June 2011 diff hist +33‎ Actor model ‎ →‎Later Actor programming languages: missing link

4 January 2011

• 19:2319:23, 4 January 2011 diff hist +16‎ Talk:Gödel's incompleteness theorems ‎ →‎Hilarious: corrected spelling
• 19:2019:20, 4 January 2011 diff hist +845‎ Talk:Gödel's incompleteness theorems ‎ Note that the statement "P, (P ⊢ Q) ⊢ Q" is about '''provability''' (⊢) and not about ''truth'.'. Consequently the theorem on the Undefinability of Truth is irrelevant.
• 17:2217:22, 4 January 2011 diff hist +298‎ Talk:Gödel's incompleteness theorems ‎ →‎Hilarious: Impposing Gödel's meta-theory restrictiuon would be a great hardship in computer science. For example, it woud not be possible to express the following: P, (P ⊢ Q) ⊢ Q

12 December 2010

• 19:5019:50, 12 December 2010 diff hist +437‎ Talk:Actor model ‎ →‎This article is unfair to Professor Hewitt: new section

5 December 2010

• 19:2519:25, 5 December 2010 diff hist +15‎ Talk:Gödel's incompleteness theorems ‎ →‎Inaccurate description of work by Professor Hewitt: corrected spelling
• 19:2119:21, 5 December 2010 diff hist +808‎ Talk:Gödel's incompleteness theorems ‎ "Carl Hewitt has proposed that a powerful inconsistiency robust logics (which is inconconsistent becuse theories can prove their own incompleteness) have important applications
• 19:0219:02, 5 December 2010 diff hist +253‎ Talk:Actor model ‎ →‎Standard reference censored by User:CBM: Hopefully the identity of User:CBM will eventually become known and we can find out more about the motivation for the censorship.

3 December 2010

• 22:4822:48, 3 December 2010 diff hist +121‎ Talk:Actor model ‎ →‎Standard reference censored by User:CBM: User:CBM seems not to be a computer scientist and does not understand the publishing standards in computer science.

14 September 2010

• 00:1100:11, 14 September 2010 diff hist −3‎ Talk:Gödel's incompleteness theorems/Arguments ‎ →‎The mathematical consensus is that "True for arithmetic" means exactly the same as "Provable in Second-order Arithmetic": typo fixed
• 00:0900:09, 14 September 2010 diff hist +374‎ Talk:Gödel's incompleteness theorems/Arguments ‎ →‎The mathematical consensus is that "True for arithmetic" means exactly the same as "Provable in Second-order Arithmetic"

26 August 2010

• 00:5800:58, 26 August 2010 diff hist +471‎ BP ‎ →‎2010: Deepwater Horizon oil spill: add citation
• 00:5300:53, 26 August 2010 diff hist +475‎ ACE Limited ‎ →‎Resolution: add citation

20 June 2010

• 17:2117:21, 20 June 2010 diff hist −6‎ Information integration ‎ corrected title

29 April 2010

• 16:4416:44, 29 April 2010 diff hist +20‎ Gödel's incompleteness theorems ‎ corrected title
• 16:4216:42, 29 April 2010 diff hist +88‎ Gödel's incompleteness theorems ‎ Internet information reasoning

27 April 2010

• 18:3718:37, 27 April 2010 diff hist +1‎ Talk:Gödel's incompleteness theorems ‎ →‎Gödel on Wittgenstein: typo
• 18:3118:31, 27 April 2010 diff hist +379‎ Talk:Gödel's incompleteness theorems ‎ →‎Gödel on Wittgenstein: Inconsistency could be derived from the Gödelian proposition for Principia Mathematica independent of the details of Gödel's paper.
• 18:2618:26, 27 April 2010 diff hist +684‎ Talk:Gödel's incompleteness theorems ‎ →‎Wittgenstein versus Gödel: It seems that we may now have arrived at the remarkable circumstance that we can’t keep our systems from crashing without allowing contradictions into our logic.

21 September 2009

• 20:1720:17, 21 September 2009 diff hist +206‎ Talk:Denotational semantics ‎ →‎Denotational Semantics of Exceptions (was Division by Zero): In this day and age, there is no realistic alternative to concurrent execution.

20 September 2009

• 18:1218:12, 20 September 2009 diff hist +402‎ Talk:Denotational semantics ‎ The consensus is that a procedure invocation should evaluate its arguments concurrently. Unfortunately monads are obsolete.

2 September 2009

• 19:4519:45, 2 September 2009 diff hist +388‎ Talk:Denotational semantics ‎ →‎Current article is a mess: Sam has imposed his very narrow notion of compositionality in terms of the composition of continuous functions. This is entirely insufficient in general.
• 17:4517:45, 2 September 2009 diff hist +187‎ Talk:Event calculus ‎ →‎Criticism: :Is there any reason that the criticism should not be restored?

23 August 2009

• 20:0920:09, 23 August 2009 diff hist +181‎ Talk:Event calculus ‎ Why was the published criticism deleted from the article?~~~~
• 17:1417:14, 23 August 2009 diff hist +16‎ Actor model ‎ →‎Messages and Data Structures

22 August 2009

• 16:3516:35, 22 August 2009 diff hist +320‎ Talk:Event calculus ‎ /* Criticism Similar objections could be raised against the situation calculus. However, they apply particularly strongly to the event calculus.

14 August 2009

• 15:4615:46, 14 August 2009 diff hist +462‎ Talk:Carl Hewitt ‎ →‎BLP: I wonder if Wikipedia will ever make a quasi-apology (like the Catholic Church eventually did for Galileo).

13 August 2009

• 20:1120:11, 13 August 2009 diff hist +2,824‎ Wikipedia:Biographies of living persons/Noticeboard ‎ →‎Professor Carl Hewitt (repeated violation): new section

26 July 2009

• 19:0119:01, 26 July 2009 diff hist −4‎ Talk:Carl Hewitt ‎ →‎Wikipedia instigated the defamatory attack by The Observer on Carl Hewitt: correction
• 18:5718:57, 26 July 2009 diff hist +667‎ Talk:Carl Hewitt ‎ →‎Wikipedia instigated the defamatory attack by The Observer on Carl Hewitt: Improtance of the Timed Diagrams Model
• 18:0918:09, 26 July 2009 diff hist +100‎ Talk:Carl Hewitt ‎ →‎Wikipedia instigated the defamatory attack by The Observer on Carl Hewitt

21 July 2009

• 21:2221:22, 21 July 2009 diff hist +312‎ Talk:Carl Hewitt ‎ →‎Wikipedia instigated the defamatory attack by The Observer on Carl Hewitt: more by Arthur Rubin at Wikipedia:Biographies of living persons/Noticeboard#Professor Carl Hewitt

20 July 2009

• 19:3419:34, 20 July 2009 diff hist +357‎ Wikipedia:Biographies of living persons/Noticeboard ‎ →‎Professor Carl Hewitt: scandal