User contributions for 92.39.205.210

28 July 2009

• 02:1802:18, 28 July 2009 diff hist +106‎ User talk:92.39.205.210 ‎ DIE Tag: repeating characters
• 02:1702:17, 28 July 2009 diff hist +15‎ User talk:92.39.205.210 ‎ QQQQQQQQQQQQQQ Tag: repeating characters
• 02:1602:16, 28 July 2009 diff hist +426‎ User talk:92.39.205.210 ‎ →‎Your recent edits
• 02:1102:11, 28 July 2009 diff hist +246‎ User talk:92.39.205.210 ‎ u r wankers. ALL (except the 1 person saved) Tag: repeating characters
• 02:0802:08, 28 July 2009 diff hist +29‎ User talk:92.39.205.210 ‎ having a look
• 02:0702:07, 28 July 2009 diff hist +173‎ User talk:92.39.205.210 ‎ →‎2009-7-27: Godel was wrong, Godel was wrong. Now I'm going to post this on 200 websites. see webneurons.com or if you like see jesus.com Do not stop the word of Jesus Christ, whoever stops these
• 02:0102:01, 28 July 2009 diff hist +24‎ User talk:92.39.205.210 ‎ →‎2009-7-27: i WILL DO WHAT I LIKWMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
• 01:5901:59, 28 July 2009 diff hist +689‎ User talk:92.39.205.210 ‎ →‎2009-7-27: It's the best I coulod do sorry. More info from the cyber cafe.
• 01:5201:52, 28 July 2009 diff hist +517‎ User talk:92.39.205.210 ‎ →‎Gödel's incompleteness theorems: Jesus is the truth not Godel
• 01:4601:46, 28 July 2009 diff hist +100‎ Complete (complexity) ‎ WEBNEURONS.COM
• 01:4401:44, 28 July 2009 diff hist +54‎ User talk:92.39.205.210 ‎ →‎2009-7-27
• 01:4301:43, 28 July 2009 diff hist +119‎ User talk:92.39.205.210 ‎ →‎2009-7-27
• 01:4201:42, 28 July 2009 diff hist +145‎ Consistency ‎ gays are shit shit shit wikipedia is shit because it is open gays r open in their arses therefore wikipedia is a shit. I am gar u r gay I have a problem 1+1=2+2=GAY do u get it or are u simple. Se wii
• 01:3801:38, 28 July 2009 diff hist +123‎ Consistency ‎No edit summary
• 01:3501:35, 28 July 2009 diff hist −1,000‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem Tag: references removed

25 July 2009

• 10:2010:20, 25 July 2009 diff hist +35‎ Gödel's incompleteness theorems ‎ The notes here are used like references and there are no proper references. It is a mess and not Wikipedia standard format.
• 10:1410:14, 25 July 2009 diff hist +26‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem: State the exact page in in Franzen from which the text "to say GT is true simply means that, in fact, no number with that property exists" comes from.
• 10:1010:10, 25 July 2009 diff hist +26‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem: It's either true or it isn't. You can't have implied truth. Please clarity or remove the word implied.

22 July 2009

• 23:3723:37, 22 July 2009 diff hist +46‎ Intuitionism ‎ →‎Truth and proof

21 July 2009

• 18:3318:33, 21 July 2009 diff hist 0‎ Non-monotonic logic ‎ derived is more correct than assumed
• 18:3318:33, 21 July 2009 diff hist +30‎ Non-monotonic logic ‎ Sounds clearer using "consequence" instead of "fact". Also ties in with the consequence relation part at the start.
• 18:1718:17, 21 July 2009 diff hist +13‎ Non-monotonic logic ‎ →‎Default reasoning: remove ambiguity
• 00:3000:30, 21 July 2009 diff hist −4‎ Tarski's undefinability theorem ‎ →‎Discussion: remove "any" from "any real interest" - didn't read well

20 July 2009

• 10:0910:09, 20 July 2009 diff hist 0‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem
• 10:0610:06, 20 July 2009 diff hist +23‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem: State your references(s) for this complete definition. Do not remove this tag until done.

17 July 2009

• 11:3111:31, 17 July 2009 diff hist +162‎ Talk:Gödel's incompleteness theorems ‎ →‎clarify tag
• 11:2511:25, 17 July 2009 diff hist +3,448‎ Talk:Gödel's incompleteness theorems ‎ →‎clarify tag: Submit proper references and remove ref [1].
• 10:1810:18, 17 July 2009 diff hist +23‎ Truth ‎ →‎Truth in mathematics

16 July 2009

• 14:5314:53, 16 July 2009 diff hist +1,319‎ Talk:Gödel's incompleteness theorems ‎ →‎clarify tag
• 12:1012:10, 16 July 2009 diff hist +1,136‎ Talk:Gödel's incompleteness theorems ‎ →‎clarify tag
• 10:4410:44, 16 July 2009 diff hist +26‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem: "true" used here plus your ref [1] is extremely unclear to the reader. Do not remove the clarify tag again until you have clarified in the article.
• 09:0309:03, 16 July 2009 diff hist +26‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem: Theorem VI doesn't use the word true. The definition of "true" is not agreed by experts. The statement is unprovable, nothing more. Very unclear why true is put here.

15 July 2009

• 22:3822:38, 15 July 2009 diff hist +26‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem: Despite the reference explanation it will still be completely unclear to the most readers what the meaning of true is in this context
• 20:3220:32, 15 July 2009 diff hist −1‎ Redundancy theory of truth ‎ →‎Variants: makd the quotes order consistent with prior section
• 20:2820:28, 15 July 2009 diff hist +26‎ Redundancy theory of truth ‎ →‎Ramsey's approach: what is a, what is R, and what is b? it is unclear.

14 July 2009

• 19:1819:18, 14 July 2009 diff hist +46‎ Entailment ‎ →‎Relationship between entailment and deduction
• 16:1816:18, 14 July 2009 diff hist +8‎ Entailment ‎ The header section should not be jargon
• 16:1516:15, 14 July 2009 diff hist −11‎ Entailment ‎ Please move jargon to its own section and explain without jargon in the header what entailement is. Very few can understand the jargon so it is useless.
• 16:1116:11, 14 July 2009 diff hist +72‎ Entailment ‎ The header section really is unintelligible jargon, can't someone explain what entailment is in a simple way so somebody might actually learn something
• 14:2814:28, 14 July 2009 diff hist +1‎ Logic ‎ →‎Consistency, soundness, and completeness

13 July 2009

• 20:4120:41, 13 July 2009 diff hist +8‎ Gödel's incompleteness theorems ‎ →‎Implications for consistency proofs: revert this to what it was since I can't be sure. Add clarify tag.
• 20:2620:26, 13 July 2009 diff hist +4‎ Gödel's incompleteness theorems ‎ →‎Implications for consistency proofs: put in link
• 20:2120:21, 13 July 2009 diff hist 0‎ Gödel's incompleteness theorems ‎ →‎Implications for consistency proofs: try and clarify very twisted sentence.
• 19:5119:51, 13 July 2009 diff hist +51‎ Gödel's incompleteness theorems ‎ →‎First incompleteness theorem: Tidy up the roughly speaking part. Too rough I think.
• 19:1319:13, 13 July 2009 diff hist +24‎ History of computing hardware ‎ →‎Digital computation
• 14:4814:48, 13 July 2009 diff hist +40‎ Stephen Cole Kleene ‎ →‎Important publications
• 13:5713:57, 13 July 2009 diff hist +733‎ Talk:Lambda calculus ‎ →‎Lambda Expressions. Clarification of the term expression.
• 13:3313:33, 13 July 2009 diff hist −2‎ Lambda calculus ‎ remove unnecessary blank line
• 13:3213:32, 13 July 2009 diff hist +596‎ Lambda calculus ‎ Merge the untyped/typed issue into the first paragraph so it is clearer. Add 2 references.

12 July 2009

• 22:4122:41, 12 July 2009 diff hist +4‎ Boolean data type ‎No edit summary