Computably inseparable: 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:2821:28, 18 January 2024‎ Citation bot talk contribs‎ 3,769 bytes +15‎ Added issue. | Use this bot. Report bugs. | Suggested by Abductive | Category:Computability theory | #UCB_Category 6/100 undo

curprev 03:5503:55, 21 September 2023‎ GraziePrego talk contribs‎ 3,463 bytes +54‎ Adding local short description: "Concept in computability theory", overriding Wikidata description "in computability theory, pairs of sets of natural numbers that cannot be "separated" with a recursive set" undo Tag: Shortdesc helper

curprev 14:3714:37, 27 June 2021‎ 2a01:6500:a052:88f3:a571:7359:4d29:bf18 talk‎ 3,409 bytes +67‎ use <math>\mathbb{N}</math> instead of omega undo

curprev 23:2923:29, 26 April 2021‎ Jordan Mitchell Barrett talk contribs‎ m 3,342 bytes +47‎ Change "recursive" -> "computable" per discussion here: https://en.wikipedia.org/wiki/Wikipedia_talk:WikiProject_Mathematics#Proposal:_change_terminology_from_%22recursive%22_to_%22computable%22 undo Tag: Visual edit
curprev 23:2723:27, 26 April 2021‎ Jordan Mitchell Barrett talk contribs‎ m 3,295 bytes 0‎ Jordan Mitchell Barrett moved page Recursively inseparable sets to Computably inseparable: Consensus of discussion here: https://en.wikipedia.org/wiki/Wikipedia_talk:WikiProject_Mathematics#Proposal%3A_change_terminology_from_%22recursive%22_to_%22computable%22 undo

curprev 08:2608:26, 30 March 2021‎ Jochen Burghardt talk contribs‎ 3,295 bytes +9‎ →‎Definition: uniquely use overbar for complement, since backslash \ looks quite like vertical bar | in some fonts undo
curprev 06:1606:16, 30 March 2021‎ GünniX talk contribs‎ m 3,286 bytes +10‎ Reflist undo Tag: AWB

curprev 21:2721:27, 24 March 2021‎ Beland talk contribs‎ m 3,276 bytes −56‎ convert special characters (via WP:JWB) undo

curprev 21:4021:40, 7 September 2019‎ InternetArchiveBot talk contribs‎ 3,332 bytes +84‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 08:5808:58, 1 July 2019‎ Jochen Burghardt talk contribs‎ 3,248 bytes +8‎ →‎top: trying to avoid confusing term 'disjoint pairs'; suggest to put citation in footnote undo

curprev 19:0119:01, 30 June 2019‎ Michael Hardy talk contribs‎ 3,240 bytes +9‎ No edit summary undo

curprev 08:3108:31, 17 May 2018‎ Rjwilmsi talk contribs‎ m 3,231 bytes +72‎ →‎References: Journal cites, added 2 DOIs undo Tag: AWB

curprev 02:5002:50, 26 March 2017‎ CBM talk contribs‎ m 3,159 bytes +33‎ Please don't replace HTML entities with Unicode. HTML is easier to edit. undo
curprev 02:4502:45, 26 March 2017‎ I dream of horses talk contribs‎ m 3,126 bytes −33‎ clean up using AWB undo

curprev 16:1916:19, 21 August 2015‎ Gasarch talk contribs‎ m 3,159 bytes +31‎ No edit summary undo
curprev 16:1716:17, 21 August 2015‎ Gasarch talk contribs‎ m 3,128 bytes +11‎ No edit summary undo

curprev 17:0517:05, 23 October 2014‎ Jochen Burghardt talk contribs‎ 3,117 bytes −4‎ →‎References: ((math)) to unicode undo
curprev 17:0317:03, 23 October 2014‎ Jochen Burghardt talk contribs‎ 3,121 bytes −10‎ →‎top: fixed super/sub-scripts undo

curprev 21:1121:11, 25 September 2014‎ Trappist the monk talk contribs‎ m 3,131 bytes −69‎ →‎References: replace mr template with mr parameter in CS1 templates; using AWB undo

curprev 12:2412:24, 5 May 2014‎ Yobot talk contribs‎ m 3,200 bytes +4‎ WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 12:2012:20, 9 May 2013‎ 216.40.38.234 talk‎ 3,196 bytes +1‎ →‎Definition: Formatting fix undo

curprev 17:0717:07, 8 May 2013‎ 216.40.38.234 talk‎ 3,195 bytes −1‎ →‎Definition undo
curprev 17:0617:06, 8 May 2013‎ 216.40.38.234 talk‎ 3,196 bytes +73‎ →‎Definition: Alternative notation for the condition undo

curprev 15:2515:25, 19 July 2012‎ 130.83.2.200 talk‎ 3,123 bytes +1‎ No edit summary undo
curprev 15:2315:23, 19 July 2012‎ 130.83.2.200 talk‎ 3,122 bytes −21‎ separating sets exist only for disjoint pairs; not B but its complement is a separating set for (A,B) undo

curprev 18:2518:25, 23 April 2012‎ 78.128.196.33 talk‎ 3,143 bytes +2‎ →‎Examples undo
curprev 18:2418:24, 23 April 2012‎ 78.128.196.33 talk‎ 3,141 bytes −4‎ →‎Examples undo
curprev 18:2318:23, 23 April 2012‎ 78.128.196.33 talk‎ 3,145 bytes −2‎ No edit summary undo

curprev 03:0703:07, 11 December 2011‎ CBM talk contribs‎ m 3,147 bytes +22‎ Don't change HTML to unicode undo
curprev 00:3700:37, 11 December 2011‎ Rich Farmbrough talk contribs‎ m 3,125 bytes −17‎ Minor fixes using AWB undo

curprev 20:0120:01, 14 February 2011‎ Cydebot talk contribs‎ m 3,142 bytes +4‎ Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. undo

curprev 19:1919:19, 20 September 2010‎ CBM talk contribs‎ 3,138 bytes +11‎ Omega is standard notation for the natural numbers in computability (e.g. Soare's book). Z is not, because Z includes negative numbers. undo
curprev 18:0118:01, 20 September 2010‎ Kozation talk contribs‎ m 3,127 bytes +1‎ changed to standard symbol for negation undo
curprev 17:5517:55, 20 September 2010‎ Kozation talk contribs‎ m 3,126 bytes −11‎ →‎Definition: corrected from ordinal symbol (of the set) to the set symbol undo

curprev 00:5700:57, 2 February 2010‎ CBM talk contribs‎ 3,137 bytes +4‎ →‎Examples: and undo

curprev 13:0213:02, 31 January 2010‎ CBM talk contribs‎ 3,133 bytes +105‎ →‎Examples: c/e undo
curprev 03:0803:08, 31 January 2010‎ CBM talk contribs‎ 3,028 bytes +6‎ →‎Definition: bold undo
curprev 03:0603:06, 31 January 2010‎ CBM talk contribs‎ 3,022 bytes +8‎ →‎[[WP:LEAD|Lede]]: pairs of undo

curprev 14:4114:41, 30 January 2010‎ CBM talk contribs‎ 3,014 bytes +41‎ →‎Examples: copyedit undo
curprev 14:2514:25, 30 January 2010‎ CBM talk contribs‎ 2,973 bytes +2,973‎ Create

18 January 2024

4 October 2023

21 September 2023

27 June 2021

26 April 2021

30 March 2021

24 March 2021

7 September 2019

1 July 2019

30 June 2019

17 May 2018

26 March 2017

21 August 2015

23 October 2014

25 September 2014

5 May 2014

9 May 2013

8 May 2013

19 July 2012

23 April 2012

11 December 2011

14 February 2011

20 September 2010

2 February 2010

31 January 2010

30 January 2010