User contributions for Ceilican
3 October 2017
- 07:1207:12, 3 October 2017 diff hist −11 Liquid democracy →Examples: Update link and project name
6 April 2015
- 13:3513:35, 6 April 2015 diff hist −1 Dubai →Palm Jumeirah Monorail: Fix typo
7 March 2014
- 10:0110:01, 7 March 2014 diff hist −50 Resolution inference Fix a mistake and change constant to lower case
19 December 2013
- 09:3209:32, 19 December 2013 diff hist 0 m Carbon credit →Setting a market price for carbon: Fix linebreak
17 September 2013
- 12:5712:57, 17 September 2013 diff hist −86 Gödel's ontological proof →Outline of Gödel's proof: Remove axiom "6". Gödel's proof had only 5 axioms. "Axiom 6" here seemed to be just a wrong restatement of axiom 4.
18 July 2013
- 07:0307:03, 18 July 2013 diff hist −16 Gödel's ontological proof →The proof: Fix link to open-source formalization
11 July 2013
- 21:4021:40, 11 July 2013 diff hist −131 Gödel's ontological proof →The proof: Fix reference to formalization
2 June 2013
- 07:2707:27, 2 June 2013 diff hist +2 Gödel's ontological proof →The proof: fix internal link
- 07:2607:26, 2 June 2013 diff hist +49 Gödel's ontological proof →The proof: Add reference to a new formalization in Coq
31 May 2013
- 12:5312:53, 31 May 2013 diff hist +1 Gödel's ontological proof →The proof: Fix broken link
13 May 2013
- 22:1722:17, 13 May 2013 diff hist +11 N User:Ceilican/EditCounterOptIn.js Initialize Edit Counter current
- 22:0922:09, 13 May 2013 diff hist +261 Gödel's ontological proof →The proof: Add link to a formalization in natural deduction
- 21:4821:48, 13 May 2013 diff hist −8 Gödel's ontological proof →The proof: Remove unnecessary paragraph break
- 21:4321:43, 13 May 2013 diff hist +5 Gödel's ontological proof Fix broken citation
- 21:4121:41, 13 May 2013 diff hist +189 Gödel's ontological proof Fix broken citation
- 21:3921:39, 13 May 2013 diff hist −2 Gödel's ontological proof Remove unnecessary quotation marks
- 21:3521:35, 13 May 2013 diff hist +181 Gödel's ontological proof Improve the text about the proof
- 21:2221:22, 13 May 2013 diff hist +26 Gödel's ontological proof Make a single section for criticisms
- 16:4916:49, 13 May 2013 diff hist +20 Gödel's ontological proof →The proof: Add "citation needed" and itemize axioms, definitions and theorems
- 16:4416:44, 13 May 2013 diff hist −1,056 Gödel's ontological proof Remove redundant statement of axioms
- 16:3416:34, 13 May 2013 diff hist −377 Gödel's ontological proof Move informal derivation above formal proof
- 15:5115:51, 13 May 2013 diff hist −3,402 Gödel's ontological proof Remove remarks about temporal logic. Although interesting, these remarks appear to be original and contemporary research. This article is only about Goedel's proof.
- 15:3615:36, 13 May 2013 diff hist −1,059 Gödel's ontological proof Remove unnecessary remarks about modal logic
- 15:3015:30, 13 May 2013 diff hist −319 Gödel's ontological proof Invert the order between textual and symbolic proofs
27 February 2013
- 22:0422:04, 27 February 2013 diff hist −5 m Fuel economy in automobiles →Speed and fuel economy studies: Fix a language mistake
24 February 2013
- 12:1712:17, 24 February 2013 diff hist −1,755 User talk:Ceilican Remove bot notifications
- 12:1512:15, 24 February 2013 diff hist +20 Proof compression Fix link to disambiguation page
23 February 2013
- 16:5916:59, 23 February 2013 diff hist 0 Proof compression Fix links
- 16:5716:57, 23 February 2013 diff hist +25 Proof compression Change link texts for two algorithms
- 16:4916:49, 23 February 2013 diff hist +594 Proof compression Add a few more algorithms
24 January 2013
- 11:4811:48, 24 January 2013 diff hist +22 Inductive logic programming →Implementations: Fix a broken external link
22 December 2012
- 21:0121:01, 22 December 2012 diff hist −4 m Earth Liberation Front →Structure and aims: Remove an out-of-place article "the"
27 November 2012
- 15:1015:10, 27 November 2012 diff hist +83 Justification Add an entry pointing to Formal Proof. This is more precise than the previously deleted entry pointing to mathematical logic.
- 15:0915:09, 27 November 2012 diff hist −77 Justification Remove the entry pointing to mathematical logic (it was conceptually imprecise and violated the guidelines for disambiguation pages)
5 June 2012
- 11:1211:12, 5 June 2012 diff hist −10 m Permaculture Fixed an agrammatical sentence.
16 March 2012
- 18:2218:22, 16 March 2012 diff hist +19 Proof compression Disambiguated: resolution → resolution (logic)
15 March 2012
- 13:3713:37, 15 March 2012 diff hist −33 Proof compression removed "unreferenced" template.
- 13:3613:36, 15 March 2012 diff hist +382 User talk:Mr. Stradivarius →New page on Proof Compression: new section
- 13:2613:26, 15 March 2012 diff hist +535 Proof compression Added more references.
- 13:1013:10, 15 March 2012 diff hist +233 Proof compression Added reference for LowerUnits
- 12:4812:48, 15 March 2012 diff hist −68 Proof compression Removed double link to cut-introduction...
14 March 2012
- 11:5111:51, 14 March 2012 diff hist +16 m Proof compression Corrected the links to existing wikipedia pages
- 11:5011:50, 14 March 2012 diff hist +8 m Proof compression Corrected the links to existing wikipedia pages
- 11:2711:27, 14 March 2012 diff hist 0 m Proof compression Improving list formatting
- 11:2611:26, 14 March 2012 diff hist −7 m Proof compression Improving list formatting
- 11:2311:23, 14 March 2012 diff hist −7 m Proof compression Improving list formatting
- 11:2111:21, 14 March 2012 diff hist −2 m Proof compression Improving list formatting
- 11:1911:19, 14 March 2012 diff hist +755 N Proof compression Created page about proof compression.
- 10:3510:35, 14 March 2012 diff hist +280 Automated theorem proving →Related problems: Added the relate problem of proof compression.
25 September 2011
- 07:2407:24, 25 September 2011 diff hist −1 m Águas de São Pedro →Education: fixed verb conjugation mistake