Stephen Cole Kleene: 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 21:2621:26, 26 May 2024‎ IznoRepeat talk contribs‎ m 15,028 bytes −8‎ remove Template:Date per documentation; genfixes undo Tag: AWB

curprev 13:0713:07, 21 April 2024‎ Simeon talk contribs‎ m 15,036 bytes +14‎ Changing short description from "American mathematician" to "American mathematician (1909–1994)" undo Tag: Shortdesc helper

curprev 16:0216:02, 22 February 2024‎ GeneralPoxter talk contribs‎ m 15,022 bytes 0‎ →‎Legacy: Cap undo

curprev 19:2519:25, 13 November 2023‎ AndyAnderson talk contribs‎ m 15,022 bytes −3‎ Undid revision 1184967213 by Equinox (talk) Grammar was correct, so reverted. Read this without the adjunct as “Kleene he is best known as a founder” and you’ll see “he” doesn’t belong here. undo Tag: Undo
curprev 18:5518:55, 13 November 2023‎ Equinox talk contribs‎ 15,025 bytes +3‎ grammar undo Tag: Reverted

curprev 13:3213:32, 8 November 2023‎ Marc Schroeder talk contribs‎ 15,022 bytes +728‎ →‎Selected publications: updated reference list undo

curprev 05:0005:00, 12 March 2023‎ Citation bot talk contribs‎ 14,294 bytes −66‎ Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 14:0614:06, 5 February 2023‎ Nczempin talk contribs‎ 14,360 bytes +4‎ →‎top: in the Netherlands, not in Netherlands undo Tags: Mobile edit Mobile app edit Android app edit

curprev 23:1723:17, 30 November 2022‎ Citation bot talk contribs‎ 14,356 bytes +16‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Institute for Advanced Study visiting scholars | #UCB_Category 137/412 undo

curprev 04:1304:13, 2 November 2022‎ 2601:647:cb00:60c0:38ad:e4a2:8899:2444 talk‎ 14,340 bytes −12‎ Fix typo in link text undo Tag: Visual edit

curprev 19:4919:49, 26 September 2022‎ Tacyarg talk contribs‎ 14,352 bytes +46‎ Added {{More citations needed}} tag undo Tag: Twinkle
curprev 19:4819:48, 26 September 2022‎ Tacyarg talk contribs‎ 14,306 bytes +226‎ Reverted good faith edits by 2600:6C58:4B7F:7254:4DDA:98F8:78A:9098 (talk): Source doesn't look reliable undo Tags: Twinkle Undo
curprev 16:4116:41, 26 September 2022‎ 2600:6c58:4b7f:7254:4dda:98f8:78a:9098 talk‎ 14,080 bytes −226‎ He was the cleanest man, hence the correct pronunciation and the name. Time to clean some math up! undo Tags: Reverted Mobile edit Mobile web edit

curprev 21:5821:58, 31 May 2022‎ Phrygas talk contribs‎ 14,306 bytes 0‎ No edit summary undo
curprev 21:5621:56, 31 May 2022‎ Phrygas talk contribs‎ 14,306 bytes −1‎ No edit summary undo
curprev 21:5421:54, 31 May 2022‎ Phrygas talk contribs‎ 14,307 bytes +39‎ No edit summary undo
curprev 21:5121:51, 31 May 2022‎ Phrygas talk contribs‎ 14,268 bytes +133‎ No edit summary undo

curprev 13:4213:42, 8 February 2022‎ Flagrant hysterical curious talk contribs‎ 14,135 bytes −4‎ Removed wl from "nature" undo Tag: Visual edit

curprev 15:0515:05, 7 February 2022‎ 68.163.45.250 talk‎ 14,139 bytes +4‎ →‎Biography: Fixed grammar undo

curprev 16:4116:41, 30 January 2022‎ Ciphergoth talk contribs‎ 14,135 bytes −16‎ →‎Biography: Daniel Clement Dennett -> Daniel Dennett undo

curprev 21:0921:09, 4 January 2022‎ 216.24.45.39 talk‎ 14,151 bytes +30‎ →‎See also: +Kleene–Rosser paradox undo
curprev 21:0621:06, 4 January 2022‎ 216.24.45.39 talk‎ 14,121 bytes +17‎ →‎See also: +Kleene's O undo
curprev 21:0221:02, 4 January 2022‎ 216.24.45.39 talk‎ 14,104 bytes +27‎ →‎See also: +Kleene's T predicate undo
curprev 21:0021:00, 4 January 2022‎ 216.24.45.39 talk‎ 14,077 bytes +29‎ →‎See also: +Kleene–Brouwer order undo

curprev 02:2302:23, 1 January 2022‎ SdkbBot talk contribs‎ m 14,048 bytes −18‎ →‎top: Removed overlinked country wikilink and general fixes (task 2) undo Tag: AWB

curprev 16:3316:33, 17 August 2021‎ Ser Amantio di Nicolao talk contribs‎ 14,066 bytes +45‎ added Category:Mathematicians from Connecticut using HotCat undo
curprev 06:0606:06, 17 August 2021‎ BrownHairedGirl talk contribs‎ m 14,021 bytes +46‎ Filled in 1 bare reference(s) with reFill 2 | dashes, <br>→<br /> (per H:BR), fixed using a script undo
curprev 05:5605:56, 17 August 2021‎ Citation bot talk contribs‎ 13,975 bytes −153‎ Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 1183/1358 undo

curprev 23:3123:31, 12 August 2021‎ A876 talk contribs‎ 14,128 bytes +177‎ relinked to [theoretical computer science]. checked some links. undo

curprev 21:5321:53, 28 May 2021‎ Otto ter Haar talk contribs‎ m 13,951 bytes +41‎ →‎Biography: link added undo

curprev 02:0102:01, 9 February 2021‎ 40.133.234.46 talk‎ 13,910 bytes +6‎ No edit summary undo
curprev 01:5301:53, 9 February 2021‎ 40.133.234.46 talk‎ 13,904 bytes +22‎ No edit summary undo
curprev 01:5101:51, 9 February 2021‎ 40.133.234.46 talk‎ 13,882 bytes +6‎ No edit summary undo

curprev 04:1004:10, 31 December 2020‎ OAbot talk contribs‎ m 13,876 bytes +36‎ Open access bot: doi added to citation with #oabot. undo

curprev 06:0506:05, 14 December 2020‎ JCW-CleanerBot talk contribs‎ m 13,840 bytes +7‎ task, replaced: Annals of Mathematics, 2nd Series → Annals of Mathematics |series=2nd Series undo Tag: AWB

curprev 05:2605:26, 27 November 2020‎ Monkbot talk contribs‎ m 13,833 bytes −50‎ Task 18 (cosmetic): eval 16 templates: del empty params (4×); undo Tag: AWB

curprev 13:0013:00, 16 November 2020‎ Citation bot talk contribs‎ 13,883 bytes 0‎ Add: issue. Removed parameters. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:University of Wisconsin–Madison faculty‎ | via #UCB_Category 7/934 undo

curprev 19:5919:59, 13 November 2020‎ Citation bot talk contribs‎ 13,883 bytes +149‎ Add: jstor, doi. Removed parameters. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Amherst College alumni | via #UCB_Category 596/825 undo

curprev 14:4514:45, 11 November 2020‎ Jochen Burghardt talk contribs‎ 13,734 bytes −28‎ →‎External links: contained in Authority control undo
curprev 14:4314:43, 11 November 2020‎ Jochen Burghardt talk contribs‎ 13,762 bytes +531‎ →‎Selected publications: K.'s thesis in 2 journal articles undo

curprev 17:3817:38, 31 October 2020‎ Jochen Burghardt talk contribs‎ 13,231 bytes −32‎ →‎top: rm unrendered infobox field 'residence='; defuse WP:EASTEREGG undo
curprev 16:1416:14, 31 October 2020‎ R s r m talk contribs‎ m 13,263 bytes +26‎ No edit summary undo

curprev 15:0615:06, 29 October 2020‎ Jochen Burghardt talk contribs‎ 13,237 bytes +1,550‎ →‎Selected publications: 1 URL; 6 more papers undo

curprev 16:5116:51, 24 October 2020‎ Citation bot talk contribs‎ 11,687 bytes −3‎ Alter: template type. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox3 | via #UCB_webform_linked 1614/2623 undo

curprev 20:2020:20, 3 October 2020‎ Omnipaedista talk contribs‎ 11,690 bytes 0‎ as per MOS:CAPS undo

curprev 22:1422:14, 15 May 2020‎ GreenC bot talk contribs‎ 11,690 bytes 0‎ Reformat 1 archive link. Wayback Medic 2.5 undo

curprev 07:4707:47, 26 April 2020‎ OAbot talk contribs‎ m 11,690 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

curprev 18:2818:28, 25 April 2020‎ JJMC89 bot III talk contribs‎ m 11,673 bytes −32‎ Removing Category:Guggenheim Fellows per Wikipedia:Categories for discussion/Log/2020 April 13#Category:Guggenheim Fellows undo

curprev 04:2804:28, 21 April 2020‎ WikiCleanerBot talk contribs‎ m 11,705 bytes 0‎ v2.02b - Bot T12 - WP:WCW project (Punctuation in link) undo Tag: WPCleaner

curprev 01:0201:02, 16 April 2020‎ Matthiaspaul talk contribs‎ 11,705 bytes +7‎ →‎Selected publications: improved link undo

26 May 2024

21 April 2024

22 February 2024

13 November 2023

8 November 2023

12 March 2023

5 February 2023

30 November 2022

2 November 2022

26 September 2022

31 May 2022

8 February 2022

7 February 2022

30 January 2022

4 January 2022

1 January 2022

17 August 2021

12 August 2021

28 May 2021

9 February 2021

31 December 2020

14 December 2020

27 November 2020

16 November 2020

13 November 2020

11 November 2020

31 October 2020

29 October 2020

24 October 2020

3 October 2020

15 May 2020

26 April 2020

25 April 2020

21 April 2020

16 April 2020