Blum axioms: 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 03:4103:41, 21 September 2023‎ GraziePrego talk contribs‎ 2,822 bytes +64‎ Adding local short description: "Axioms in computational complexity theory", overriding Wikidata description "axioms for complexity measure on computable functions: for a Gödel numbering φᵢ of computable functions and a computable function Φ on ℕ valued in the computable functions, ① the domain of φᵢ and Φᵢ coincide; ② the set {(i,x,t)|Φᵢ(x)=t} is recursive" undo Tag: Shortdesc helper

curprev 11:4311:43, 12 July 2023‎ Citation bot talk contribs‎ 2,758 bytes +19‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Mathematical axioms | #UCB_Category 18/22 undo

curprev 06:4606:46, 9 August 2021‎ HTinC23 talk contribs‎ m 2,739 bytes +26‎ →‎Definitions: modify links undo

curprev 14:2914:29, 9 July 2020‎ 147.229.196.135 talk‎ 2,713 bytes −1,087‎ →‎Notes: Removed incorrect and misleading statements: "There is an algorithm which, on input (M, x, n) decides if Φ(M, x) = n" -- such algorithm cannot exist, for it would solve the halting problem. "If M exceeds n steps, it can halt and reject, so there is no need to determine if M halts on x." -- the author of this statement is quite clearly not familiar with Blum axioms. undo Tag: section blanking

curprev 14:1714:17, 29 April 2020‎ Tea2min talk contribs‎ m 3,800 bytes 0‎ Skip redirect from Domain (mathematics) to Domain of a function. May turn Domain (mathematics) into a redirect to Domain (disambiguation)#Mathematics later. undo

curprev 06:4406:44, 19 April 2018‎ Tea2min talk contribs‎ 3,800 bytes −21‎ →‎top: Try to make links more obvious. undo

curprev 20:4020:40, 10 March 2017‎ 24.85.232.10 talk‎ 3,821 bytes −1‎ →‎Definitions undo

curprev 23:2923:29, 28 August 2015‎ Dexbot talk contribs‎ m 3,822 bytes +315‎ Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 14:3014:30, 24 February 2015‎ 130.92.9.57 talk‎ 3,507 bytes −13‎ →‎Definitions undo

curprev 15:0815:08, 24 January 2014‎ 195.37.61.178 talk‎ 3,520 bytes +2‎ →‎Complexity classes undo

curprev 04:5704:57, 18 January 2014‎ 81.155.198.68 talk‎ 3,518 bytes −1‎ No edit summary undo

curprev 12:4812:48, 14 March 2013‎ Addbot talk contribs‎ m 3,519 bytes −57‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q4059945 undo

curprev 04:3104:31, 5 July 2012‎ Diogoan talk contribs‎ 3,576 bytes +23‎ No edit summary undo

curprev 01:2201:22, 21 March 2012‎ 81.11.193.242 talk‎ 3,553 bytes 0‎ →‎Notes: changed "to" to "for" for more clarity undo

curprev 17:0917:09, 12 December 2011‎ Gareth Jones talk contribs‎ 3,553 bytes −78‎ template citation undo

curprev 07:0207:02, 13 October 2011‎ ZéroBot talk contribs‎ m 3,631 bytes +34‎ r2.7.1) (Robot: Adding ru:Аксиомы Блюма undo

curprev 16:0816:08, 22 September 2009‎ Hermel talk contribs‎ m 3,597 bytes +2‎ first examples, then notes undo

curprev 21:2821:28, 11 March 2009‎ 89.128.229.95 talk‎ 3,595 bytes +5‎ →‎Definitions undo

curprev 22:4122:41, 22 January 2009‎ Hermel talk contribs‎ m 3,590 bytes −3‎ Category:Structural complexity theory undo

curprev 02:4602:46, 3 January 2009‎ Lightbot talk contribs‎ 3,593 bytes −4‎ Units/dates/other undo

curprev 02:2502:25, 16 August 2008‎ Thehotelambush talk contribs‎ m 3,597 bytes 0‎ →‎Definitions: should be naturals undo

curprev 07:5907:59, 25 July 2008‎ Dcoetzee talk contribs‎ 3,597 bytes +389‎ An example - time undo

curprev 14:2714:27, 8 October 2007‎ JuJube talk contribs‎ 3,208 bytes −5‎ Undid revision 163052603 by 61.115.200.67 (talk) undo
curprev 09:2609:26, 8 October 2007‎ 61.115.200.67 talk‎ 3,213 bytes +5‎ →‎Definitions undo

curprev 20:3520:35, 4 September 2007‎ 70.242.135.254 talk‎ 3,208 bytes +37‎ →‎Definitions: let's try this. undo
curprev 20:3420:34, 4 September 2007‎ 70.242.135.254 talk‎ 3,171 bytes 0‎ Undid revision 155697552 by 70.242.135.254 (talk) oops undo
curprev 20:3220:32, 4 September 2007‎ 70.242.135.254 talk‎ 3,171 bytes 0‎ →‎Definitions: correct function direction. undo

curprev 06:1406:14, 1 September 2007‎ Simaqian~enwiki talk contribs‎ m 3,171 bytes 0‎ →‎Complexity classes undo

curprev 10:5310:53, 15 July 2007‎ 87.127.60.242 talk‎ 3,171 bytes +1‎ →‎Spelling correction of "satify" to "satisfy" undo

curprev 17:2917:29, 28 April 2007‎ Dylan Thurston talk contribs‎ 3,170 bytes +11‎ →‎Notes undo
curprev 17:2817:28, 28 April 2007‎ Dylan Thurston talk contribs‎ m 3,159 bytes +6‎ →‎Notes undo
curprev 17:2617:26, 28 April 2007‎ Dylan Thurston talk contribs‎ 3,153 bytes +11‎ →‎Notes undo
curprev 17:2517:25, 28 April 2007‎ Dylan Thurston talk contribs‎ 3,142 bytes −94‎ →‎Notes undo

curprev 17:2117:21, 11 December 2006‎ 88.73.25.17 talk‎ 3,236 bytes +764‎ integrated definition of blum axioms in terms of turing machines undo

curprev 10:0710:07, 10 December 2006‎ Powo talk contribs‎ m 2,472 bytes −3‎ →‎Blum axioms: typo undo

curprev 16:4116:41, 8 December 2006‎ MathMartin talk contribs‎ 2,475 bytes +189‎ →‎Blum axioms: tried to clarify blum axioms undo

curprev 07:2407:24, 14 June 2006‎ GrGr talk contribs‎ 2,286 bytes 0‎ →‎Complexity classes: Corrected typo? in formula undo

curprev 20:3520:35, 12 June 2006‎ 69.174.134.88 talk‎ 2,286 bytes +4‎ →‎Examples: italics undo

curprev 16:0716:07, 9 February 2006‎ Ben Standeven talk contribs‎ m 2,282 bytes 0‎ wrong case. undo
curprev 16:0616:06, 9 February 2006‎ Ben Standeven talk contribs‎ 2,282 bytes +7‎ say which speedup theorem. undo
curprev 15:5915:59, 9 February 2006‎ Ben Standeven talk contribs‎ 2,275 bytes +160‎ →‎Examples undo
curprev 15:5415:54, 9 February 2006‎ Ben Standeven talk contribs‎ m 2,115 bytes 0‎ →‎Blum axioms: wrong case of phi undo

curprev 01:2701:27, 28 December 2005‎ Bosmon talk contribs‎ m 2,115 bytes 0‎ typo undo

curprev 09:1509:15, 16 December 2005‎ Charles Matthews talk contribs‎ m 2,115 bytes +33‎ +cat undo

curprev 15:3215:32, 25 October 2005‎ Chalst talk contribs‎ 2,082 bytes +65‎ →‎Examples undo

curprev 11:2211:22, 2 October 2005‎ MathMartin talk contribs‎ m 2,017 bytes +4‎ →‎Complexity classes: link undo

curprev 14:2514:25, 25 September 2005‎ MathMartin talk contribs‎ 2,013 bytes +84‎ added == Examples == undo
curprev 14:1714:17, 25 September 2005‎ MathMartin talk contribs‎ 1,929 bytes 0‎ style undo
curprev 14:0814:08, 25 September 2005‎ MathMartin talk contribs‎ 1,929 bytes +658‎ added definition of complexity classes undo
curprev 13:5713:57, 25 September 2005‎ MathMartin talk contribs‎ 1,271 bytes −25‎ reordered material, added more definition of blum axioms in terms of computable functions and recursive sets, removed stub notice undo

21 September 2023

12 July 2023

9 August 2021

9 July 2020

29 April 2020

19 April 2018

10 March 2017

28 August 2015

24 February 2015

24 January 2014

18 January 2014

14 March 2013

5 July 2012

21 March 2012

12 December 2011

13 October 2011

22 September 2009

11 March 2009

22 January 2009

3 January 2009

16 August 2008

25 July 2008

8 October 2007

4 September 2007

1 September 2007

15 July 2007

28 April 2007

11 December 2006

10 December 2006

8 December 2006

14 June 2006

12 June 2006

9 February 2006

28 December 2005

16 December 2005

25 October 2005

2 October 2005

25 September 2005