Kleene fixed-point theorem: 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 15:0615:06, 31 May 2024‎ DanielVallstrom talk contribs‎ m 6,120 bytes −1‎ ce undo

curprev 14:4214:42, 23 December 2020‎ Monkbot talk contribs‎ m 6,121 bytes −17‎ Task 18 (cosmetic): eval 3 templates: del empty params (2×); undo Tag: AWB

curprev 11:1211:12, 30 November 2020‎ WikiCleanerBot talk contribs‎ m 6,138 bytes −1‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 17:4917:49, 17 November 2020‎ Jochen Burghardt talk contribs‎ 6,139 bytes +249‎ →‎top: suggest image with (unusual, hence possibly misleading?) example of Kleene's theorem undo

curprev 15:3615:36, 27 May 2020‎ Ritsuka314 talk contribs‎ 5,890 bytes −23‎ fix reference url undo

curprev 08:5208:52, 28 January 2020‎ 131.188.54.108 talk‎ 5,913 bytes 0‎ a page reference escaped from the footnote undo

curprev 21:2321:23, 18 December 2019‎ InternetArchiveBot talk contribs‎ 5,913 bytes +123‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 16:4816:48, 6 November 2019‎ Cousotp talk contribs‎ m 5,790 bytes +747‎ No edit summary undo

curprev 05:4305:43, 6 October 2019‎ David Eppstein talk contribs‎ 5,043 bytes −30‎ →‎See also: already prominently linked in main article text undo

curprev 19:1819:18, 12 August 2019‎ Citation bot talk contribs‎ m 5,073 bytes −50‎ Removed URL that duplicated unique identifier. Removed parameters. | You can use this bot yourself. Report bugs here.| Activated by User:Headbomb undo

curprev 12:2012:20, 18 February 2019‎ Loewenheim talk contribs‎ m 5,123 bytes −2‎ Latex mistake undo
curprev 12:2012:20, 18 February 2019‎ Loewenheim talk contribs‎ 5,125 bytes −3‎ f(M) = M \ {⊥} is not equivalent to M = f(M) ∪ {⊥} (consider the case of f = ⊥ const.) undo

curprev 15:1115:11, 22 June 2017‎ CBM talk contribs‎ 5,128 bytes −31‎ More specific hatnote undo
curprev 11:2811:28, 22 June 2017‎ Flowi talk contribs‎ 5,159 bytes +132‎ added about-template for Kleene's fixed-point theorem in computability undo

curprev 23:3523:35, 28 March 2017‎ 24.85.232.10 talk‎ 5,027 bytes +68‎ No edit summary undo

curprev 06:4306:43, 9 March 2017‎ Latex-yow talk contribs‎ m 4,959 bytes −39‎ No edit summary undo

curprev 16:3916:39, 1 February 2017‎ 131.111.247.124 talk‎ 4,998 bytes +28‎ No edit summary undo Tag: Visual edit: Switched
curprev 16:2716:27, 1 February 2017‎ 131.111.247.124 talk‎ 4,970 bytes +352‎ Added citation for proof undo Tag: Visual edit

curprev 10:3210:32, 19 July 2016‎ PhS talk contribs‎ m 4,618 bytes +98‎ explain why Kleene's thm is different from Knaster-Tarski thm. undo

curprev 20:4020:40, 24 July 2015‎ Rootzlevel talk contribs‎ m 4,520 bytes +9‎ →‎Proof: add missing word undo

curprev 18:2118:21, 27 May 2015‎ 31.33.156.54 talk‎ 4,511 bytes 0‎ →‎Proof undo

curprev 14:1814:18, 14 July 2014‎ FrescoBot talk contribs‎ m 4,511 bytes −9‎ Bot: link syntax undo

curprev 13:1713:17, 28 June 2014‎ LDL128 talk contribs‎ 4,520 bytes +112‎ No edit summary undo
curprev 12:5512:55, 28 June 2014‎ LDL128 talk contribs‎ 4,408 bytes +336‎ →‎Proof undo

curprev 22:3822:38, 20 October 2013‎ ChrisGualtieri talk contribs‎ m 4,072 bytes −41‎ General Fixes, removed stub tag using AWB undo

curprev 23:5523:55, 23 July 2013‎ Mark viking talk contribs‎ 4,113 bytes +26‎ Added wl undo Tag: Visual edit

curprev 16:3016:30, 1 May 2013‎ 134.130.115.148 talk‎ 4,087 bytes +669‎ →‎Proof undo
curprev 16:0716:07, 1 May 2013‎ 134.130.115.148 talk‎ 3,418 bytes +282‎ →‎Proof undo
curprev 15:3615:36, 1 May 2013‎ 134.130.115.148 talk‎ 3,136 bytes +15‎ →‎Proof undo

curprev 12:2412:24, 24 February 2013‎ Addbot talk contribs‎ m 3,121 bytes −75‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q3527263 (Report Errors) undo

curprev 19:4219:42, 14 December 2012‎ Zundark talk contribs‎ 3,196 bytes +72‎ →‎Proof: formatting - variables in italics, not entire equations undo

curprev 17:1217:12, 9 December 2012‎ 77.249.127.13 talk‎ 3,124 bytes +27‎ →‎Proof undo

curprev 04:3304:33, 28 August 2012‎ David Eppstein talk contribs‎ 3,097 bytes −46‎ this is too infinite to be discrete math undo

curprev 10:0310:03, 11 June 2012‎ Gareth Griffith-Jones talk contribs‎ m 3,143 bytes −1,260‎ Reverted edits by Gareth Griffith-Jones (talk) to last version by Derekdreyer undo
curprev 10:0110:01, 11 June 2012‎ Gareth Griffith-Jones talk contribs‎ m 4,403 bytes +1,260‎ Reverted edit(s) by Derekdreyer identified as test/vandalism using STiki undo

curprev 08:1208:12, 10 June 2012‎ Derekdreyer talk contribs‎ 3,143 bytes −1,260‎ Removed nonsensical and factually false paragraph about the relationship between Tarski and Kleene fixed-point theorems undo

curprev 21:2921:29, 12 May 2012‎ 89.176.188.206 talk‎ 4,403 bytes +1,656‎ Added proof, please check for possible mistakes. undo

31 May 2024

23 December 2020

30 November 2020

17 November 2020

27 May 2020

28 January 2020

18 December 2019

6 November 2019

6 October 2019

12 August 2019

18 February 2019

22 June 2017

28 March 2017

9 March 2017

1 February 2017

19 July 2016

24 July 2015

27 May 2015

14 July 2014

28 June 2014

20 October 2013

23 July 2013

1 May 2013

24 February 2013

14 December 2012

9 December 2012

28 August 2012

11 June 2012

10 June 2012

12 May 2012

8 April 2012