User contributions for 67.174.183.183

11 May 2007

• 08:2808:28, 11 May 2007 diff hist +12‎ Gosu ‎ You forgot a

21 April 2007

• 22:2422:24, 21 April 2007 diff hist +1‎ Janus (programming language) ‎No edit summary

22 December 2006

• 02:5502:55, 22 December 2006 diff hist 0‎ Ramsey's theorem ‎ →‎Ramsey numbers: According to OEIS this is either 40 or 41

4 December 2006

• 11:2811:28, 4 December 2006 diff hist −1‎ Original proof of Gödel's completeness theorem ‎ →‎Theorem 2. Every formula φ is either refutable, or satisfiable in some structure.

1 December 2006

• 13:4313:43, 1 December 2006 diff hist +9‎ Berry paradox ‎ The integers are not well-ordered.

10 November 2006

• 11:0511:05, 10 November 2006 diff hist −1‎ Evolutionarily stable strategy ‎ →‎An example: Superfluous parenthesis

10 October 2006

• 09:0309:03, 10 October 2006 diff hist 0‎ Toxic heavy metal ‎No edit summary

3 September 2006

• 19:3519:35, 3 September 2006 diff hist −2‎ Principle of bivalence ‎ →‎The laws
• 19:2819:28, 3 September 2006 diff hist 0‎ Disjunction and existence properties ‎ Change typesetting for better readability.
• 19:2219:22, 3 September 2006 diff hist −1‎ Deduction theorem ‎ →‎Conversion from proof using the deduction meta-theorem to axiomatic proof