Global Contributions Watcher
Global Contributions Watcher
(Latest  Earliest) View (newer 50  older 50) (
20

50

100

250

500
)
07:08, 4 January 2011
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(
Hilarious
added reference for [http://arxiv.org/abs/0812.4852 inconsistency robust logic])
06:59, 4 January 2011
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(
Hilarious
sp.)
06:54, 4 January 2011
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(Gödel invented the convoluted "metatheory" exception igniting the whole controversy. Which is preferable: transitioning to inconsistency robust logic or imposing the "metatheory" exception?)
22:39, 1 January 2011
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(
Inaccurate description of work by Professor Hewitt
corrected spelling error)
22:33, 1 January 2011
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(
Inaccurate description of work by Professor Hewitt
At the colloquium,
Solomon Feferman
, Jeremy Forth,
Grigori Mints
, and
Charles Petrie
participated in the discussion.)
22:24, 1 January 2011
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(
Inaccurate description of work by Professor Hewitt
)
19:43, 10 December 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(Wikipedia is inconsistent on the issue of allowing links to ArXiv publications. Sometimes, as in the case of Perelman, they are allowed. In other cases, such as this one they have been banned.)
19:34, 6 December 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(Of course, [http://arxiv.org/abs/0812.4852 Common sense for concurrency and inconsistency robustness using Direct Logic(TM) and the Actor Model] is published and by a reputable publisher!)
15:22, 29 November 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Actor model
(Standard reference censored by
User:CBM
)
15:18, 29 November 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:History of the Actor model
(top)
(
Standard reference censored by User:CBM
new section)
02:43, 29 November 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
History of the Actor model
(standard reference)
02:04, 29 November 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Actor model
(
Concurrency Representation Theorem
correct name is "Computational Representation Theorem")
22:15, 20 November 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Church–Turing thesis
(A Turing Machine can enumerate all the possible executions of a closed system even though it cannot perform them individually. CBM was wrong: a Turing Machine cannot implement an operating system.)
07:27, 14 September 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems/Arguments
(
The mathematical consensus is that "True for arithmetic" means exactly the same as "Provable in Secondorder Arithmetic (including the Axiom of Choice)"
)
20:49, 13 September 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems/Arguments
(
The mathematical consensus is that "True for arithmetic" means exactly the same as "Provable in Secondorder Arithmetic"
)
18:53, 13 September 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems/Arguments
(
The mathematical consensus is that "True for arithmetic" means exactly the same as "Provable in Secondorder Arithmetic"
)
12:19, 13 September 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems/Arguments
(
The mathematical consensus is that "True for arithmetic" means exactly the same as "Provable in Secondorder Arithmetic"
)
14:09, 18 July 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(fixed typo)
15:02, 11 July 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(Roundtripping is the principle used by Gödel to prove incompleteness using Gödel numbering.)
05:50, 11 July 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(incompletess is "absolute" in the sense that strictly speaking it does not really depend on the domain of discourse of a theory. Incompletess depends on the principle of "roundtripping.")
17:59, 30 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(Berto shows that some recent ideas in logic (in which some statements can simultaneously be both provable and disprovable) seem to make Wittgenstein's position more plausible than classically thought,)
22:40, 27 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(The bottom line is that now that even Kowalski intermixes forward and backward chaining, Logic Programming naturally includes both forward and backward chaining.)
20:51, 26 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(Kowalski's work is a primary source that is preferable to the the RussellNorvig undergraduate textbook, which is a secondary source. Why are you opposed to forward chaining?)
17:24, 26 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(There is no particular reason to prefer RussellNorvig as an authority over Kowalski who wrote "The basic rules of inference are forward and backward reasoning.")
05:37, 26 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(
What is "Logic Programming"? Was "The fallacy of deriving what is the case from what ought to be the case"
spelling)
05:31, 26 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(In the vast literature on programming using logic, Prolog was the anomaly in restricting itself to just backward chaining. Now Kowalski has given up this restriction.)
17:37, 24 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(The following seems like a lot to sweep under ther rug: Church's Foundation of Logic, McCarthy's Advice Taker, Plannerlike languages (QA4, Conniver, QLisp, etc.), and Logic for Computable Functions)
16:47, 24 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(Historically, Church's Foundation of Logic, McCarthy's Advice Taker, Planner (also QA4, Conniver, QLisp, etc), and Edinburgh Logic for Computable Functions all included forward chaining.~~~~)
15:30, 24 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(
Cleanup
spelling)
15:27, 24 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(The proposal to restrict Logic Programming to just backward chaining makes no sense. Kowalski has given up and started including forward chaining in his latest work.~~~~)
15:09, 24 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Logic programming
(Logic Programming can conveniently be done in [http://arxiv.org/abs/0907.3330 ActorScript<sup>TM</sup>], which is is probably the most advanced Logic Programming language currently defined.)
21:01, 20 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(
Professor Hewitt's work is mischaracterized in the article
)
21:01, 20 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(Likewise Wittgenstein derived a contradiction from a paradoxical proposition (the proposistion that this proposition is not provable) and derived an inconsistenecy.)
22:04, 19 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(Incompleteness is not exclusive to classical logic; it is also fundamental to inconsistency tolerant logic with applications to software engineering.)
21:51, 19 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(
Edit disappeared (article misunderstood computer science)
wrong "there")
21:51, 19 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(Roundtripping was an extension to classical logic that Gödel introduced to prove incompleteness which he chose not to formalize or specify too rigorously (probably because inconsistency lurked.))
17:53, 19 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(As you can see by clicking on the link, the Wikipedia topic
Incompleteness theorem
is this article. And Wittgenstein's thesis is clearly relevant to the topic of the incompleteness theorem.)
17:02, 19 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(The relationship Inference<sub>Russell</sub> discussed above is Gödel's Bew intuitively defined for a sentence ''s'' (which Gödel encoded as an integer) as Bew(''s'')⇔⊢<sub>Russell</sub>⌊''s''⌋.)
00:29, 19 June 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(If Wittgenstein is correct, then classical logic is finished. Consequently, classical logicians tried to defeat Wittgenstein by whatever means available, fair or foul.)
00:47, 9 May 2010
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Talk:Gödel's incompleteness theorems
(
Wikipedia hatred of others causes harm to itself (was Wikipedia lunacy)
The students have been breath of fresh air in improving the articles.)
23:02, 15 May 2008
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Pederasty
07:33, 4 May 2008
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Times Square
(
Times Square culture
)
06:08, 25 April 2008
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Grateful Dead
(
Dissolution and continuation of the band
)
06:06, 25 April 2008
67.169.144.115@enwiki
(
talk

contribs

logs
) edited
Grateful Dead
(
Dissolution and continuation of the band
)
(Latest  Earliest) View (newer 50  older 50) (
20

50

100

250

500
)
Navigation
Tool Labs Home
Main Page
Logging
Local Steward Log
Global Contribs Wat.
Global Sysop Log
Statistics
Global Sysop Stats
Steward Counter
SUL Info
Other tools
Bot Helper
Global Renam. Tool
Report a bug
Feel free to report a bug or to suggest a change on
Bugzilla
!
Executed in 2.39 seconds.