Formal proof: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 01:2601:26, 16 October 2023‎ Systemal talk contribs‎ m 5,320 bytes +117‎ Added link undo Tags: Visual edit Mobile edit Mobile web edit

curprev 18:2618:26, 29 September 2022‎ HeyElliott talk contribs‎ 5,203 bytes −45‎ Clean up/copyedit undo Tag: Visual edit

curprev 01:0801:08, 8 March 2022‎ CodeTalker talk contribs‎ 5,248 bytes −74‎ Reverted 2 edits by 2600:6C40:4300:B16:C5FF:36A2:DA2:9EA4 (talk) to last revision by Mdnahas undo Tags: Twinkle Undo
curprev 00:2600:26, 8 March 2022‎ 2600:6c40:4300:b16:c5ff:36a2:da2:9ea4 talk‎ 5,322 bytes +96‎ →‎External links undo Tags: Reverted Mobile edit Mobile app edit Android app edit
curprev 00:1900:19, 8 March 2022‎ 2600:6c40:4300:b16:c5ff:36a2:da2:9ea4 talk‎ 5,226 bytes −22‎ No edit summary undo Tags: Reverted Mobile edit Mobile app edit Android app edit

curprev 16:3916:39, 11 January 2022‎ Mdnahas talk contribs‎ 5,248 bytes +39‎ Added link to new page, De Bruijn Factor undo

curprev 17:2817:28, 22 October 2021‎ Notfrompedro talk contribs‎ 5,209 bytes −212‎ See Wikipedia_talk:WikiProject_Spam#Mass_spam_of_mathvault.ca undo

curprev 19:3519:35, 16 August 2021‎ Tom.Reding talk contribs‎ m 5,421 bytes +5‎ +{{Authority control}} (2 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 20:5320:53, 10 June 2021‎ Jeremyvipond talk contribs‎ 5,416 bytes +1‎ →‎Formal proof: Fixed grammar undo Tags: Mobile edit Mobile app edit Android app edit

curprev 19:1119:11, 28 April 2021‎ Bender the Bot talk contribs‎ m 5,415 bytes +1‎ →‎External links: HTTP → HTTPS for the American Mathematical Society, replaced: =http://www.ams.org/ → =https://www.ams.org/ undo Tag: AWB

curprev 00:2700:27, 31 January 2021‎ Fehufanga talk contribs‎ 5,414 bytes −12‎ Reverted 1 edit by 85.100.240.42 (talk) undo Tags: Twinkle Undo
curprev 00:1600:16, 31 January 2021‎ 85.100.240.42 talk‎ 5,426 bytes +12‎ Türkiye batman undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 04:5204:52, 4 December 2020‎ Monkbot talk contribs‎ m 5,414 bytes −165‎ Task 18 (cosmetic): eval 5 templates: del empty params (11×); del |url-status= (3×); undo Tag: AWB

curprev 10:1310:13, 2 April 2020‎ The Eloquent Peasant talk contribs‎ 5,579 bytes +81‎ Importing Wikidata short description: "Establishment of a theorem using inference from the axioms" (Shortdesc helper) undo

curprev 02:0202:02, 21 March 2020‎ 109.166.130.189 talk‎ 5,498 bytes +8‎ sequence of sentences undo

curprev 21:1421:14, 12 December 2019‎ Miaumee talk contribs‎ 5,490 bytes +1,330‎ General revision and expansion throughout the page. Improved citations. Included more examples of formal proof. Change "formulae" to "formulas" for consistency. Arranged See Also section in alphabetically order and added "formal verification" and "proof assistant". undo Tag: Visual edit

curprev 18:2618:26, 15 May 2018‎ Amir.azhieh talk contribs‎ m 4,160 bytes +1‎ →‎Formal language undo

curprev 22:4522:45, 3 March 2018‎ Suitangi talk contribs‎ 4,159 bytes +1‎ No edit summary undo
curprev 22:4422:44, 3 March 2018‎ Suitangi talk contribs‎ 4,158 bytes +51‎ Added the condition of "empty set of assumptions" to the definition of theorem if a formal system. undo

curprev 14:1614:16, 11 December 2017‎ 22merlin talk contribs‎ 4,107 bytes +92‎ →‎External links: +2 undo

curprev 05:2205:22, 11 September 2017‎ Jarble talk contribs‎ m 4,015 bytes +29‎ adding a link undo

curprev 12:1312:13, 14 September 2016‎ 50.136.197.90 talk‎ 3,986 bytes +1‎ No edit summary undo

curprev 08:0608:06, 4 September 2016‎ GreenC bot talk contribs‎ m 3,985 bytes +1‎ →‎External links: WaybackMedic 2 undo

curprev 22:3922:39, 30 March 2016‎ 81.135.198.9 talk‎ 3,984 bytes −10‎ who said the formal system in question was even about truth? sigh undo

curprev 20:3420:34, 11 February 2016‎ Cyberbot II talk contribs‎ 3,994 bytes +11‎ Rescuing 1 sources, flagging 0 as dead, and archiving 0 sources. #IABot undo

curprev 22:4322:43, 6 May 2015‎ 129.79.242.47 talk‎ 3,983 bytes 0‎ You can utilise "an" assumption. undo

curprev 04:2604:26, 16 April 2015‎ J D talk contribs‎ 3,983 bytes +16‎ formal proofs can include assumptions. modify main definition undo

curprev 15:3915:39, 19 October 2014‎ AnomieBOT talk contribs‎ m 3,967 bytes +18‎ Dating maintenance tags: {{Dead link}} undo
curprev 13:3913:39, 19 October 2014‎ 128.237.164.25 talk‎ 3,949 bytes +15‎ No edit summary undo
curprev 02:2102:21, 19 October 2014‎ Hyacinth talk contribs‎ 3,934 bytes +18‎ →‎External links: {{Logical truth}} undo

curprev 23:3623:36, 18 October 2014‎ Hyacinth talk contribs‎ 3,916 bytes +13‎ →‎External links: {{Mathematical logic}} undo

curprev 11:2811:28, 19 September 2014‎ 174.3.125.23 talk‎ 3,903 bytes +6‎ wrong place undo

curprev 18:1718:17, 13 March 2013‎ Addbot talk contribs‎ m 3,897 bytes −21‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q2762418 undo

curprev 22:5422:54, 22 February 2012‎ Timrollpickering talk contribs‎ m 3,918 bytes −3‎ →‎External links: re-categorisation per CFD using AWB undo

curprev 21:3221:32, 23 June 2011‎ Nick Number talk contribs‎ m 3,921 bytes +8‎ repaired link(s) to disambiguation page - (you can help) - Formal semantics undo
curprev 21:1121:11, 23 June 2011‎ Nick Number talk contribs‎ m 3,913 bytes +25‎ repaired link(s) to disambiguation page - (you can help) - Formal semantics undo

curprev 02:2802:28, 4 September 2010‎ Dfranke talk contribs‎ 3,888 bytes +137‎ be more specific with, and add links to, the "computationally hard" claim undo

curprev 03:2303:23, 10 July 2010‎ Radagast3 talk contribs‎ 3,751 bytes +35‎ →‎See also undo
curprev 01:5701:57, 10 July 2010‎ Radagast3 talk contribs‎ 3,716 bytes −37‎ →‎See also: page is a redirect undo

curprev 12:0012:00, 9 July 2010‎ VanishedUserABC talk contribs‎ 3,753 bytes +37‎ →‎References undo

curprev 01:1301:13, 6 June 2010‎ Gregbard talk contribs‎ m 3,716 bytes +27‎ Adding category Category:Logical truth (using HotCat) undo

curprev 02:4802:48, 4 June 2010‎ Gregbard talk contribs‎ m 3,689 bytes −4‎ Removed Category:Syntactic entities; Adding category Category:Logical syntax (using HotCat) undo

curprev 02:2602:26, 3 December 2009‎ Gregbard talk contribs‎ 3,693 bytes +4‎ →‎Background: truth value, Replaced: truth-value → truth-value, using Project:AWB undo

curprev 17:4817:48, 10 November 2009‎ EmilJ talk contribs‎ m 3,689 bytes −18‎ fmt undo
curprev 17:1217:12, 10 November 2009‎ Pmanderson talk contribs‎ 3,707 bytes −270‎ restore; retained one non-redundant category. undo

curprev 02:4302:43, 9 November 2009‎ Gregbard talk contribs‎ m 3,977 bytes +39‎ fx undo
curprev 02:3202:32, 9 November 2009‎ Gregbard talk contribs‎ m 3,938 bytes −1‎ s undo
curprev 02:3202:32, 9 November 2009‎ Gregbard talk contribs‎ 3,939 bytes +239‎ clarify undo

curprev 10:3610:36, 17 October 2009‎ Disinvented talk contribs‎ 3,700 bytes −1‎ →‎Formal language undo

curprev 00:5300:53, 1 October 2009‎ Gregbard talk contribs‎ m 3,701 bytes +20‎ Quick-adding category Proofs (using HotCat) undo

16 October 2023

29 September 2022

8 March 2022

11 January 2022

22 October 2021

16 August 2021

10 June 2021

28 April 2021

31 January 2021

4 December 2020

2 April 2020

21 March 2020

12 December 2019

15 May 2018

3 March 2018

11 December 2017

11 September 2017

14 September 2016

4 September 2016

30 March 2016

11 February 2016

6 May 2015

16 April 2015

19 October 2014

18 October 2014

19 September 2014

13 March 2013

22 February 2012

23 June 2011

4 September 2010

10 July 2010

9 July 2010

6 June 2010

4 June 2010

3 December 2009

10 November 2009

9 November 2009

17 October 2009

1 October 2009