Rosser's trick: Revision history

31 May 2024

• curprev 07:2407:24, 31 May 2024‎ LucasBrown talk contribs‎ 9,372 bytes +51‎ Adding short description: "Method in mathematical logic" undo Tag: Shortdesc helper

22 September 2023

• curprev 19:1119:11, 22 September 2023‎ 178.115.58.60 talk‎ 9,321 bytes +20‎ Avoid slightly misleading formulation (The trick leads to a formally different theorem. G and R are not equivalent and there's consequences of G not holding for R) undo

3 January 2023

• curprev 06:5606:56, 3 January 2023‎ Citation bot talk contribs‎ 9,301 bytes +17‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 434/2500 undo

18 May 2022

• curprev 15:0315:03, 18 May 2022‎ Hairy Dude talk contribs‎ 9,284 bytes +11‎ →‎The Rosser sentence: prevent a bad line break undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 15:0215:02, 18 May 2022‎ Hairy Dude talk contribs‎ 9,273 bytes +48‎ →‎The Rosser sentence: replace invalid deflist markup with display="block" undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 14:5814:58, 18 May 2022‎ Hairy Dude talk contribs‎ 9,225 bytes −6‎ →‎Background: correct placement of parentheses undo Tags: Mobile edit Mobile web edit Advanced mobile edit

11 December 2021

• curprev 14:3514:35, 11 December 2021‎ Citation bot talk contribs‎ 9,231 bytes +22‎ Add: doi. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 178/207 undo

21 October 2021

• curprev 21:1121:11, 21 October 2021‎ Shhhnotsoloud talk contribs‎ 9,209 bytes −112‎ Amend hatnote-like text (WP:HATNOTE) undo

22 July 2021

• curprev 15:4015:40, 22 July 2021‎ Ira Leviton talk contribs‎ 9,321 bytes +1,451‎ Fixed a typo found with Wikipedia:Typo_Team/moss and rewrote a math notations and formulas using the math font so that they are not misidentified as typos by automated spellcheckers. undo

1 March 2021

• curprev 11:0911:09, 1 March 2021‎ Jochen Burghardt talk contribs‎ 7,870 bytes +25‎ →‎Background: uniquely italicize T undo
• curprev 11:0611:06, 1 March 2021‎ Jochen Burghardt talk contribs‎ 7,845 bytes +252‎ →‎References: ((cite)); url; jstor undo
• curprev 11:0011:00, 1 March 2021‎ Jochen Burghardt talk contribs‎ 7,593 bytes −18‎ →‎Rosser's theorem: use ((su)); unqiuely italicize index and exponent undo
• curprev 10:5710:57, 1 March 2021‎ Jochen Burghardt talk contribs‎ 7,611 bytes +17‎ →‎Background: guessed expansion of "PA", sombody please cross-check undo
• curprev 10:5510:55, 1 March 2021‎ Jochen Burghardt talk contribs‎ 7,594 bytes −24‎ →‎The Rosser sentence: use template ((su)) undo

27 December 2020

• curprev 03:2903:29, 27 December 2020‎ 2601:445:4380:7dd0:6d4f:55a0:43a:f045 talk‎ 7,618 bytes +60‎ →‎The Rosser sentence undo

20 August 2020

• curprev 12:4312:43, 20 August 2020‎ WereSpielChequers talk contribs‎ m 7,558 bytes 0‎ Typo fixing, replaced: ollwoing → ollowing, typo(s) fixed: Therefore → Therefore, undo Tag: AWB

14 July 2020

• curprev 11:4511:45, 14 July 2020‎ Dan Gluck talk contribs‎ 7,558 bytes −942‎ →‎Rosser's theorem: The "elaboration" part now seems trivial and too detailed undo
• curprev 11:4311:43, 14 July 2020‎ Dan Gluck talk contribs‎ 8,500 bytes +511‎ →‎Rosser's theorem: the proofs of the two parts include many common parts; thus section sturcture was changed. older part (which I think is redundant) moved to an "Elaboration" section undo
• curprev 11:2411:24, 14 July 2020‎ Dan Gluck talk contribs‎ 7,989 bytes +509‎ →‎The Rosser sentence: An immediate consequence of the definition - which is used later undo
• curprev 11:0811:08, 14 July 2020‎ Dan Gluck talk contribs‎ 7,480 bytes +262‎ →‎Rosser's theorem: some fixes undo
• curprev 10:4810:48, 14 July 2020‎ Dan Gluck talk contribs‎ 7,218 bytes +166‎ →‎The Rosser sentence: a bit of elaboration undo
• curprev 09:2309:23, 14 July 2020‎ Dan Gluck talk contribs‎ 7,052 bytes +874‎ →‎Rosser's theorem: proof of (1) - more involvoed than when using the naive provability predicate undo

18 September 2019

• curprev 20:1920:19, 18 September 2019‎ Johnconorryan talk contribs‎ m 6,178 bytes −1‎ No edit summary undo

21 February 2018

• curprev 21:4721:47, 21 February 2018‎ 207.239.163.42 talk‎ 6,179 bytes −2‎ →‎Background undo
• curprev 21:4721:47, 21 February 2018‎ 207.239.163.42 talk‎ 6,181 bytes +2‎ →‎Background undo

8 September 2017

• curprev 13:5813:58, 8 September 2017‎ RJGray talk contribs‎ 6,179 bytes +22‎ →‎References: link undo
• curprev 13:5613:56, 8 September 2017‎ RJGray talk contribs‎ 6,157 bytes +4‎ →‎References: link undo

20 June 2017

• curprev 01:4901:49, 20 June 2017‎ CBM talk contribs‎ m 6,153 bytes +4‎ Manually reviewed edit to replace magic words per local rfc undo

17 May 2017

• curprev 19:5919:59, 17 May 2017‎ 50.58.96.2 talk‎ 6,149 bytes +1‎ whoops, I made a typo as well undo
• curprev 19:5819:58, 17 May 2017‎ 50.58.96.2 talk‎ 6,148 bytes 0‎ I assume that was a typo undo

28 March 2017

• curprev 00:0800:08, 28 March 2017‎ Omnipaedista talk contribs‎ 6,148 bytes −2‎ edited formatting undo

30 November 2015

• curprev 00:1400:14, 30 November 2015‎ 71.232.17.196 talk‎ 6,150 bytes −36‎ Scott's trick is unrelated, besides also being a "trick" in logic. undo Tag: section blanking

10 February 2015

• curprev 09:0809:08, 10 February 2015‎ 97.88.244.2 talk‎ 6,186 bytes +102‎ →‎Background undo

5 May 2014

• curprev 12:3512:35, 5 May 2014‎ Yobot talk contribs‎ m 6,084 bytes −4‎ WP:CHECKWIKI error fixes using AWB (10093) undo

16 June 2013

• curprev 14:0514:05, 16 June 2013‎ Carlonicolai talk contribs‎ 6,088 bytes +5‎ No edit summary undo

19 March 2013

• curprev 15:5115:51, 19 March 2013‎ Addbot talk contribs‎ m 6,083 bytes −19‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7369799 undo

23 October 2012

• curprev 07:5307:53, 23 October 2012‎ Andrewjameskirk talk contribs‎ 6,102 bytes +48‎ →‎Background undo
• curprev 07:5007:50, 23 October 2012‎ Andrewjameskirk talk contribs‎ 6,054 bytes −17‎ →‎Background undo

3 October 2012

• curprev 12:1612:16, 3 October 2012‎ Khazar2 talk contribs‎ m 6,071 bytes −105‎ clean up using AWB undo

19 September 2012

• curprev 14:4414:44, 19 September 2012‎ Tomas e talk contribs‎ 6,176 bytes +19‎ iw sv undo

8 May 2012

• curprev 22:2122:21, 8 May 2012‎ Helpful Pixie Bot talk contribs‎ m 6,157 bytes +3‎ ISBNs (Build KE) undo

20 October 2009

• curprev 15:2615:26, 20 October 2009‎ 71.139.6.70 talk‎ 6,154 bytes +38‎ →‎Background: this was probably obvious as it was, but wanted to be clear that you must still assume mere consistency even w/ Rosser's method undo

14 September 2009

• curprev 17:1617:16, 14 September 2009‎ Giftlite talk contribs‎ m 6,116 bytes −5‎ →‎Rosser's theorem: −sp undo
• curprev 17:1517:15, 14 September 2009‎ Giftlite talk contribs‎ m 6,121 bytes −1‎ →‎The Rosser sentence: mv . undo
• curprev 17:1517:15, 14 September 2009‎ Giftlite talk contribs‎ m 6,122 bytes 0‎ →‎Rosser's theorem: mv . undo
• curprev 17:1417:14, 14 September 2009‎ Giftlite talk contribs‎ m 6,122 bytes +1‎ →‎Rosser's theorem: +2. undo

3 May 2009

• curprev 06:1306:13, 3 May 2009‎ Spaecious talk contribs‎ m 6,121 bytes −3‎ Fixed broken link. undo

26 September 2008

• curprev 14:2914:29, 26 September 2008‎ CBM talk contribs‎ 6,124 bytes +3‎ →‎Rosser's theorem: typo - need leq, not strict less than undo
• curprev 14:2314:23, 26 September 2008‎ CBM talk contribs‎ 6,121 bytes +14‎ →‎Background: omitted a number sign undo
• curprev 14:1414:14, 26 September 2008‎ CBM talk contribs‎ 6,107 bytes 0‎ →‎[[WP:LEAD|Lede]]: reorder hatnote undo