User contributions for 71.198.220.76
Appearance
For 71.198.220.76 talk block log logs global block log filter log
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