User contributions for 92.39.205.210

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
• 09:2009:20, 12 July 2009 diff hist +124 Domicile (law) added a comparison to sibling term habitual residence
• 09:1409:14, 12 July 2009 diff hist +1 Habitual residence move simplified description to separate paragraph
• 09:1309:13, 12 July 2009 diff hist +372 Habitual residence Simpler definition added to introduction for the layman.

11 July 2009

• 12:4812:48, 11 July 2009 diff hist +89 Talk:Lambda calculus →Lambda Expressions. Clarification of the term expression.
• 12:4412:44, 11 July 2009 diff hist +949 Talk:Lambda calculus →Lambda Expressions. Clarification of the term expression.
• 02:1002:10, 11 July 2009 diff hist +15 Liar paradox "it is true" added so that it contradicts clearly with "it is false"

9 July 2009

• 14:2514:25, 9 July 2009 diff hist +683 Sirolimus Added warning about public use of drug

8 July 2009

• 13:2913:29, 8 July 2009 diff hist +40 Consistency Add wiki ref

7 July 2009

• 10:5010:50, 7 July 2009 diff hist +25 Free variables and bound variables a free variable is an argument of a function in maths so why not in computing

6 July 2009

• 21:4621:46, 6 July 2009 diff hist +1,017 Talk:Lambda calculus →Lambda Expressions. Clarification of the term expression.: new section
• 21:0121:01, 6 July 2009 diff hist +3 Lambda calculus →Informal description: An function call is an expression but a function itself is not an expression since it's arguments are undefined untill called. An expression must evaluate to a value.
• 14:4314:43, 6 July 2009 diff hist +99 Expression (computer science) Clarification that a variable is also an expression
• 14:2014:20, 6 July 2009 diff hist +33 Expression (computer science) fix error
• 14:0014:00, 6 July 2009 diff hist 0 Lambda calculus →Informal description
• 13:5913:59, 6 July 2009 diff hist +25 Lambda calculus →Informal description
• 11:2411:24, 6 July 2009 diff hist +48 Expression (mathematics) touch up
• 11:1811:18, 6 July 2009 diff hist +1,161 Expression (computer science) Added some examples of expressions
• 06:0106:01, 6 July 2009 diff hist +43 Expression (mathematics) clarify the = operator
• 05:5505:55, 6 July 2009 diff hist 0 Expression (mathematics) No edit summary
• 05:5505:55, 6 July 2009 diff hist +15 Expression (mathematics) →See also
• 05:5405:54, 6 July 2009 diff hist −2 Expression (mathematics) →See also
• 05:5305:53, 6 July 2009 diff hist +15 Expression (mathematics) add references tag
• 05:5105:51, 6 July 2009 diff hist +360 Expression (mathematics) Added details about == operator
• 05:2005:20, 6 July 2009 diff hist +14 Operator (computer programming) Give a few examples
• 05:1005:10, 6 July 2009 diff hist +4 Operator (computer programming) Change to more precise reference

1 July 2009

• 16:1916:19, 1 July 2009 diff hist −22 Duck typing →Criticism: can't see why one needs a citation for this obvious statement - hence removed

30 June 2009

• 16:0616:06, 30 June 2009 diff hist +27 Iterator pattern No edit summary
• 10:0810:08, 30 June 2009 diff hist +29 Software design pattern →Does not differ significantly from other abstractions

16 April 2009

• 18:5718:57, 16 April 2009 diff hist −5 Backchannel (disambiguation) →In diplomacy
• 18:5618:56, 16 April 2009 diff hist 0 Backchannel (disambiguation) →In telecommunications
• 18:5518:55, 16 April 2009 diff hist −6 Backchannel (disambiguation) →In telecommunications
• 18:5418:54, 16 April 2009 diff hist −22 Backchannel (disambiguation) →In linguistics