Self-verifying theories: Revision history

4 January 2023

• curprev 02:1002:10, 4 January 2023‎ Citation bot talk contribs‎ 3,302 bytes −5‎ Alter: pages. Add: s2cid, jstor. Removed proxy/dead URL that duplicated identifier. Formatted dashes. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1266/2500 undo

24 August 2022

• curprev 22:4922:49, 24 August 2022‎ Mgkrupa talk contribs‎ 3,307 bytes +50‎ Added {{Mathematical logic}} undo

28 June 2022

• curprev 10:5110:51, 28 June 2022‎ InternetArchiveBot talk contribs‎ 3,257 bytes +94‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8.8) (Mako001 - 10222 undo

5 June 2022

• curprev 09:2709:27, 5 June 2022‎ 95.145.39.201 talk‎ 3,163 bytes +30‎ →‎External links undo

15 April 2022

• curprev 14:2814:28, 15 April 2022‎ Yitzilitt talk contribs‎ 3,133 bytes −12‎ Changing short description from "Consistent systems capable of proving their own consistency" to "Systems capable of proving their own consistency" (Shortdesc helper) undo
• curprev 14:2814:28, 15 April 2022‎ Yitzilitt talk contribs‎ 3,145 bytes +82‎ Adding short description: "Consistent systems capable of proving their own consistency" (Shortdesc helper) undo

16 October 2021

• curprev 02:4702:47, 16 October 2021‎ Dmr2 talk contribs‎ m 3,063 bytes +2‎ Punctuation undo

5 July 2021

• curprev 12:0112:01, 5 July 2021‎ OAbot talk contribs‎ m 3,061 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

1 October 2020

• curprev 00:5500:55, 1 October 2020‎ Titus III talk contribs‎ 3,044 bytes −23‎ Brevity for clarity undo

30 September 2020

• curprev 20:1220:12, 30 September 2020‎ DinoD123 talk contribs‎ 3,067 bytes +270‎ →‎References: replaced references with {{cite journal}} templates, correcting and adding information in the process undo
• curprev 19:5219:52, 30 September 2020‎ DinoD123 talk contribs‎ 2,797 bytes +39‎ →‎References: added a link for the second reference undo

28 January 2020

• curprev 02:3602:36, 28 January 2020‎ Jarble talk contribs‎ 2,758 bytes +156‎ adding links to references using Google Scholar undo

17 November 2019

• curprev 16:3916:39, 17 November 2019‎ 2601:184:4780:58d0:99:f9fa:e928:6ee1 talk‎ 2,602 bytes +29‎ changed tone to be more impersonal undo

26 July 2018

• curprev 13:2213:22, 26 July 2018‎ Cosmia Nebula talk contribs‎ 2,573 bytes −15‎ →‎External links: new link undo Tag: 2017 wikitext editor

2 March 2018

• curprev 06:0306:03, 2 March 2018‎ 129.127.5.20 talk‎ 2,588 bytes +1‎ Grammar tweak undo

20 November 2017

• curprev 12:5112:51, 20 November 2017‎ Onel5969 talk contribs‎ m 2,587 bytes −10‎ Disambiguating links to Provable (link changed to Proof theory) using DisamAssist. undo

29 August 2017

• curprev 15:2215:22, 29 August 2017‎ Narky Blert talk contribs‎ m 2,597 bytes 0‎ Typo undo
• curprev 15:2215:22, 29 August 2017‎ Narky Blert talk contribs‎ 2,597 bytes +24‎ DN tag. stub tag to foot undo

1 May 2014

• curprev 09:2409:24, 1 May 2014‎ Karnan talk contribs‎ 2,573 bytes −102‎ rm unsourced statement undo

1 October 2013

• curprev 17:1017:10, 1 October 2013‎ Joeoettinger talk contribs‎ m 2,675 bytes −1‎ changed tableaux to singlular form undo

23 March 2013

• curprev 07:3107:31, 23 March 2013‎ Addbot talk contribs‎ m 2,676 bytes −28‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7448234 undo

7 January 2012

• curprev 08:4508:45, 7 January 2012‎ Gregbard talk contribs‎ 2,704 bytes +36‎ cat undo

14 February 2011

• curprev 04:4904:49, 14 February 2011‎ Unzerlegbarkeit talk contribs‎ 2,668 bytes +65‎ mention Robinson arithmetic undo

13 February 2011

• curprev 13:0313:03, 13 February 2011‎ CBM talk contribs‎ 2,603 bytes +47‎ →‎[[WP:LEAD|Lede]]: math undo

29 August 2009

• curprev 05:3305:33, 29 August 2009‎ Emk talk contribs‎ m 2,556 bytes +27‎ →‎External links: +ja undo

8 June 2009

• curprev 21:3221:32, 8 June 2009‎ Trovatore talk contribs‎ 2,529 bytes −1‎ I think "true" is intended here -- "valid" is confusing because it might mean that it's a validity; that is, a theorem of FOPC with no non-logical axioms undo

26 February 2009

• curprev 19:1319:13, 26 February 2009‎ Chalst talk contribs‎ m 2,530 bytes −26‎ small tweaks undo
• curprev 18:2318:23, 26 February 2009‎ 24.103.225.70 talk‎ 2,556 bytes +31‎ No edit summary undo
• curprev 18:2018:20, 26 February 2009‎ 24.103.225.70 talk‎ 2,525 bytes +1‎ No edit summary undo
• curprev 18:2018:20, 26 February 2009‎ 24.103.225.70 talk‎ 2,524 bytes +105‎ No edit summary undo
• curprev 18:1818:18, 26 February 2009‎ 24.103.225.70 talk‎ 2,419 bytes +25‎ No edit summary undo

28 December 2008

• curprev 08:1008:10, 28 December 2008‎ Thehotelambush talk contribs‎ 2,394 bytes −4‎ "not" error undo

15 October 2008

• curprev 21:3221:32, 15 October 2008‎ BranStark talk contribs‎ m 2,398 bytes +2,379‎ Reverted 2 edits by 67.82.139.122 and TravelingDude to last version by Acroterion (HG) undo
• curprev 21:3221:32, 15 October 2008‎ 67.82.139.122 talk‎ 19 bytes +8‎ No edit summary undo
• curprev 21:3221:32, 15 October 2008‎ TravelingDude talk contribs‎ 11 bytes −2,387‎ Undid revision 245529710 by Acroterion (talk) undo
• curprev 21:3221:32, 15 October 2008‎ Acroterion talk contribs‎ m 2,398 bytes +2,387‎ Reverted edits by 67.82.139.122 (talk) to last version by 128.113.36.125 undo
• curprev 21:3121:31, 15 October 2008‎ 67.82.139.122 talk‎ 11 bytes −2,387‎ ←Replaced content with 'go away you' undo

23 April 2008

• curprev 22:4922:49, 23 April 2008‎ 128.113.36.125 talk‎ 2,398 bytes 0‎ →‎References undo

21 July 2007

• curprev 14:0414:04, 21 July 2007‎ CBM talk contribs‎ 2,398 bytes −4‎ →‎[[WP:LEAD|Lede]]: switch stub type undo

21 November 2006

• curprev 01:0401:04, 21 November 2006‎ CBM talk contribs‎ m 2,402 bytes +14‎ Fix link to Diagonal lemma. Mark as a stub undo

2 November 2006

• curprev 06:4406:44, 2 November 2006‎ 213.134.238.74 talk‎ 2,388 bytes +13‎ Corrected changed link to Dan Willard's home page undo

24 January 2006

• curprev 20:4420:44, 24 January 2006‎ Porcher talk contribs‎ m 2,375 bytes −44‎ Dan Willard undo

14 October 2005

• curprev 15:2115:21, 14 October 2005‎ Chalst talk contribs‎ 2,419 bytes +5‎ →‎References: tidy undo
• curprev 15:1415:14, 14 October 2005‎ Chalst talk contribs‎ 2,414 bytes +574‎ +refs, destubify undo

20 September 2005

• curprev 05:3005:30, 20 September 2005‎ Mairi talk contribs‎ 1,840 bytes +5‎ mathlogic-stub undo

12 April 2005

• curprev 22:5622:56, 12 April 2005‎ Oleg Alexandrov talk contribs‎ 1,835 bytes +1‎ "Spelling. This is a semi-automatic update (software suggests changes and user decides). It is likely this bot did not fix all spelling mistakes in this article." undo

26 March 2005

• curprev 16:4616:46, 26 March 2005‎ Oleg Alexandrov talk contribs‎ 1,834 bytes +3‎ {{math-stub}} undo

1 October 2004

• curprev 16:4016:40, 1 October 2004‎ Metahacker talk contribs‎ 1,831 bytes +22‎ disambiguating diagonlization undo

29 September 2004

• curprev 12:4712:47, 29 September 2004‎ Chalst talk contribs‎ 1,809 bytes +290‎ Some quibbles corrected, changed status to stub (I think it is useful now, if clearly incomplete) undo

26 September 2004

• curprev 20:4220:42, 26 September 2004‎ Anville talk contribs‎ 1,519 bytes +262‎ cleanup attempts undo