Jump to content

UTM theorem: Revision history

View logs for this page (view filter log)

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:4201:42, 26 January 2024 Beland talk contribs m 2,015 bytes −5 MOS:ELLIPSES (via WP:JWB) undo

curprev 17:1717:17, 11 May 2022 Nempnet talk contribs 2,020 bytes +10 Using first/last in citations to fix citation anchors, author doesn't work with sfn undo

curprev 18:4218:42, 20 February 2022 HTinC23 talk contribs 2,010 bytes +12 →References: {{reflist}} undo

curprev 06:0406:04, 1 January 2021 Monkbot talk contribs m 1,998 bytes −65 Task 18 (cosmetic): eval 2 templates: del empty params (6×); hyphenate params (1×); del |ref=harv (2×); undo Tag: AWB

curprev 19:5419:54, 8 June 2020 ArnoldReinhold talk contribs 2,063 bytes +79 Adding local short description: "Affirms the existence of a computable universal function", overriding Wikidata description "Mathematical theorem (computability theory)" (Shortdesc helper) undo

curprev 17:4417:44, 21 August 2019 AnomieBOT talk contribs m 1,984 bytes −1 Dating maintenance tags: {{More footnotes}} undo
curprev 15:5215:52, 21 August 2019 Lfstevens talk contribs 1,985 bytes +45 ce, ref cleanup, more foot undo Tag: Visual edit

curprev 05:2305:23, 10 October 2018 Michael Hardy talk contribs 1,940 bytes +1 No edit summary undo

curprev 03:5703:57, 7 October 2018 Daviddwd talk contribs 1,939 bytes +55 No edit summary undo Tag: Visual edit
curprev 03:5503:55, 7 October 2018 Daviddwd talk contribs m 1,884 bytes 0 Daviddwd moved page Utm theorem to UTM theorem: capitalization convention undo

curprev 07:0507:05, 8 May 2018 John of Reading talk contribs m 1,884 bytes −5 →The utm theorem: Typo fixing, replaced: that that there → that there using AWB undo

curprev 21:0321:03, 4 November 2017 83.202.3.208 talk 1,889 bytes −4 →The utm theorem: Fixed typo undo Tags: canned edit summary Mobile edit Mobile web edit

curprev 13:2613:26, 26 April 2017 AvalerionV talk contribs m 1,893 bytes −9 v1.42b - Fixing using WPCleaner. - WP:WCW project (Template contains useless word template:) undo Tag: WPCleaner

curprev 16:4416:44, 16 April 2017 CBM talk contribs 1,902 bytes +3 Adding citations from the texts that were present undo

curprev 23:5623:56, 15 April 2017 CBM talk contribs 1,899 bytes +352 Bunch of copyediting, mark as a stub. Will be able add an inline cite once I get to the office undo

curprev 04:4004:40, 23 July 2016 Pietro13 talk contribs 1,547 bytes +32 Tagged no footnotes undo

curprev 13:5313:53, 3 April 2015 Horcrux talk contribs 1,515 bytes +12 removed Category:Theory of computation; added Category:Theorems in theory of computation using HotCat undo

curprev 14:1614:16, 6 August 2014 81.147.117.94 talk 1,503 bytes +1 No edit summary undo

curprev 21:1321:13, 2 April 2012 92.26.62.114 talk 1,502 bytes −18 No edit summary undo
curprev 21:0921:09, 2 April 2012 92.26.62.114 talk 1,520 bytes +2 No edit summary undo

curprev 14:4714:47, 15 March 2012 Marc van Leeuwen talk contribs m 1,518 bytes +1 rewording: a theorem does not prove something, it states something (possibly it implies something, but I don't think that was meant here) undo

curprev 17:4617:46, 24 November 2011 FrescoBot talk contribs m 1,517 bytes −25 Bot: link syntax/spacing undo

curprev 04:3504:35, 24 October 2011 Dcattell talk contribs 1,542 bytes +29 add linkage undo

curprev 20:0220:02, 14 February 2011 Cydebot talk contribs m 1,513 bytes +4 Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. undo

curprev 17:5217:52, 2 October 2009 Mmxx talk contribs m 1,509 bytes −43 Reverted edits by 204.131.75.162 (talk) to last version by Bigweeboy undo
curprev 17:5117:51, 2 October 2009 204.131.75.162 talk 1,552 bytes +43 →utm theorem undo

curprev 15:1715:17, 29 April 2009 Bigweeboy talk contribs 1,509 bytes +1 added comma undo
curprev 15:1615:16, 29 April 2009 Bigweeboy talk contribs 1,508 bytes +2 added commas undo

curprev 14:2814:28, 14 December 2008 Citation bot talk contribs m 1,506 bytes −6 Updating page numbers after recent improvement to Template:Cite book. Removed redundant parameters. undo

curprev 05:0205:02, 25 January 2007 Qutezuce talk contribs 1,512 bytes +1 →References undo

curprev 21:1221:12, 5 January 2007 CBM talk contribs 1,511 bytes +435 →utm theorem: add some references undo

curprev 23:0823:08, 9 December 2006 Avakar talk contribs 1,076 bytes −2 The partiality of the universal function is now expressed explicitely undo

curprev 09:5809:58, 16 May 2006 Bluebot talk contribs 1,078 bytes −4 fixing bad links using AWB undo

curprev 02:5602:56, 19 February 2006 Marudubshinki talk contribs m 1,082 bytes +32 Redirect bypass from Rogers equivalence theorem to Roger's equivalence theorem using popups undo

curprev 02:0702:07, 3 January 2006 CyberSkull talk contribs m 1,050 bytes −2 No edit summary undo

curprev 07:4207:42, 26 December 2005 Luke Gustafson talk contribs m 1,052 bytes 0 capitalize Godel undo

curprev 16:0716:07, 26 November 2005 Trovatore talk contribs 1,052 bytes +30 added to cat rec thry undo

curprev 19:3919:39, 25 November 2005 NekoDaemon talk contribs m 1,022 bytes +8 Nyaa! Categoryredirect: Category:Computability -> Category:Theory of computation undo

curprev 14:0514:05, 10 September 2005 MathMartin talk contribs 1,014 bytes +34 +{{wrongtitle}} undo
curprev 12:4912:49, 10 September 2005 MathMartin talk contribs 980 bytes +256 extended introduction undo
curprev 12:3512:35, 10 September 2005 MathMartin talk contribs 724 bytes +327 added ==utm theorem== undo
curprev 12:2612:26, 10 September 2005 MathMartin talk contribs 397 bytes +397 Initial stub

Retrieved from "https://en.wikipedia.org/wiki/UTM_theorem"