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