Counter machine: 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 08:3808:38, 8 January 2024‎ AnomieBOT talk contribs‎ m 55,882 bytes +18‎ Dating maintenance tags: {{Mergefrom}} undo
curprev 06:3806:38, 8 January 2024‎ 58.82.204.174 talk‎ 55,864 bytes +31‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 04:2804:28, 9 July 2023‎ WikiCleanerBot talk contribs‎ m 55,833 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 10:0310:03, 5 July 2023‎ JubilantJerry talk contribs‎ 55,833 bytes +1,153‎ Removed misleading statement suggesting that counter machines could not implement mu recursive functions (implying they are not Turing complete) undo

curprev 20:3820:38, 20 March 2023‎ Certes talk contribs‎ m 54,680 bytes +1‎ typo: Association for Computing Machinery (via WP:JWB) undo

curprev 19:1619:16, 7 October 2022‎ Citation bot talk contribs‎ 54,679 bytes +31‎ Add: s2cid, issue. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2240/3850 undo

curprev 01:0801:08, 20 March 2022‎ BrownHairedGirl talk contribs‎ 54,648 bytes +42‎ cleanup archived ref undo Tag: AWB

curprev 09:0909:09, 9 March 2022‎ InternetArchiveBot talk contribs‎ 54,606 bytes +118‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8.6 undo

curprev 20:0920:09, 5 March 2022‎ BrownHairedGirl talk contribs‎ 54,488 bytes +31‎ add {{Bare URL PDF}} tag(s) undo Tag: AWB

curprev 16:5616:56, 5 February 2022‎ 94.222.30.225 talk‎ 54,457 bytes −32‎ →‎References: cleanup undo
curprev 16:5416:54, 5 February 2022‎ 94.222.30.225 talk‎ 54,489 bytes −26‎ →‎References: cleanup undo

curprev 09:0809:08, 20 January 2022‎ Rchard2scout talk contribs‎ m 54,515 bytes +5‎ Fix lint errors undo

curprev 10:5810:58, 17 December 2021‎ The Anome talk contribs‎ 54,510 bytes +95‎ Adding short description: "Abstract machine used in a formal logic and theoretical computer science" (Shortdesc helper) undo

curprev 17:0217:02, 21 October 2021‎ Frietjes talk contribs‎ 54,415 bytes +18‎ →‎Program undo
curprev 17:0117:01, 21 October 2021‎ Frietjes talk contribs‎ 54,397 bytes +1,331‎ navbox class doesn't show in mobile, update to show in mobile and print undo
curprev 16:5916:59, 21 October 2021‎ Frietjes talk contribs‎ 53,066 bytes +23‎ navbox class doesn't show in mobile, update to show in mobile and print undo

curprev 05:4305:43, 13 August 2021‎ TheMathCat talk contribs‎ m 53,043 bytes +4‎ wikilink undo

curprev 13:1213:12, 4 May 2021‎ Cedar101 talk contribs‎ m 53,039 bytes −17,588‎ →‎Program: rm deprecated tags undo

curprev 09:4509:45, 9 April 2021‎ 123.202.167.134 talk‎ 70,627 bytes +72‎ →‎Example: COPY the count from register #2 to #3 undo Tags: Mobile edit Mobile web edit

curprev 09:0309:03, 24 March 2021‎ Gelingvistoj talk contribs‎ m 70,555 bytes −3‎ →‎A practical example of calculation by counting: typo undo

curprev 09:4509:45, 21 March 2021‎ 123.202.167.134 talk‎ 70,558 bytes +51‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 20:2220:22, 16 December 2020‎ Omnipaedista talk contribs‎ 70,507 bytes −37‎ rm link to deleted article undo

curprev 04:0604:06, 18 July 2020‎ Jiayux talk contribs‎ 70,544 bytes +28‎ →‎See also undo

curprev 11:2311:23, 10 June 2020‎ Hakerh400 talk contribs‎ 70,516 bytes −21‎ Undid revision 941812942 by 197.250.100.19 (talk) undo Tag: Undo

curprev 17:3217:32, 25 March 2020‎ Iridescent talk contribs‎ m 70,537 bytes +8‎ →‎References: Cleanup and typo fixing, typo(s) fixed: 354-375 → 354–375 (4) undo Tag: AWB

curprev 13:3113:31, 1 March 2020‎ CrunchyVersusTheRabbit talk contribs‎ 70,529 bytes 0‎ →‎The partial recursive functions: building "convenience instructions" using recursion: If you did CLR(2) register 3 would stay the same and R2 would be 0 ([3] + 0 = [3]), CLR(3) would cause it to be 0 (0 + [2] = [2], like it should be). undo Tags: Mobile edit Mobile web edit

curprev 20:5320:53, 20 February 2020‎ 197.250.100.19 talk‎ 70,529 bytes +21‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 05:0505:05, 13 November 2019‎ InternetArchiveBot talk contribs‎ 70,508 bytes +85‎ Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 18:0918:09, 4 October 2019‎ 2405:204:6211:9649:86e4:54a2:50c2:4305 talk‎ 70,423 bytes +2‎ Added content undo Tags: Mobile edit Mobile web edit

curprev 16:0616:06, 14 September 2019‎ Jarble talk contribs‎ m 70,421 bytes +4‎ linking undo

curprev 00:1100:11, 9 September 2019‎ InternetArchiveBot talk contribs‎ 70,417 bytes +90‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 13:5713:57, 3 May 2019‎ Rodw talk contribs‎ m 70,327 bytes +29‎ Disambiguating links to Martin Davis (link changed to Martin Davis (mathematician)) using DisamAssist. undo

curprev 12:1112:11, 5 March 2019‎ 178.213.240.13 talk‎ 70,298 bytes +2‎ →‎Basic features undo

curprev 13:5713:57, 4 March 2019‎ 178.213.240.13 talk‎ 70,296 bytes 0‎ →‎Basic features undo
curprev 12:4812:48, 4 March 2019‎ 178.213.240.13 talk‎ 70,296 bytes −2‎ →‎Basic features undo

curprev 15:3615:36, 23 August 2018‎ JCW-CleanerBot talk contribs‎ m 70,298 bytes +7‎ →‎References: task, replaced: Annals of Math → Annals of Mathematics (2), Annals of Mathematicsematics → Annals of Mathematics undo Tag: AWB

curprev 13:5313:53, 15 February 2018‎ Olorim talk contribs‎ m 70,291 bytes +119‎ Add the set of instructions for the two counters machines as it is not in the basic part undo

curprev 18:3018:30, 2 February 2018‎ 98.234.85.87 talk‎ 70,172 bytes +542‎ Added info about the counter machine's applications to parallel computation undo Tag: Visual edit

curprev 15:0315:03, 13 January 2018‎ Norbornene talk contribs‎ 69,630 bytes −164‎ →‎Basic features: Removed claim that counter machines are Turing complete "only if Gödel numbers are used." undo

curprev 13:0913:09, 2 December 2017‎ Colonies Chris talk contribs‎ 69,794 bytes −1‎ →‎The caveat: *If* its counters are initialised to N and 0, then a 2CM cannot calculate 2N undo
curprev 13:0513:05, 2 December 2017‎ Colonies Chris talk contribs‎ 69,795 bytes +48‎ No edit summary undo

curprev 14:1114:11, 17 November 2017‎ Nikevich talk contribs‎ 69,747 bytes +1,006‎ →‎The caveat: *If* its counters are initialised to N and 0, then a 2CM cannot calculate 2N: Added text describing essentials of the Friden EC-130 and EC-132 calculators, which calculated by counting, instead of typical adder logic. While they were n... undo Tags: Mobile edit Mobile app edit

curprev 10:0610:06, 22 July 2017‎ SectionFinale talk contribs‎ m 68,741 bytes −1‎ →‎References: typo undo
curprev 09:5809:58, 22 July 2017‎ SectionFinale talk contribs‎ m 68,742 bytes +1‎ →‎The caveat: *If* its counters are initialised to N and 0, then a 2CM cannot calculate 2N: typo undo
curprev 09:3809:38, 22 July 2017‎ SectionFinale talk contribs‎ m 68,741 bytes +23‎ →‎The partial recursive functions: building "convenience instructions" using recursion: typo undo

18 April 2024

8 January 2024

9 July 2023

5 July 2023

20 March 2023

7 October 2022

20 March 2022

9 March 2022

5 March 2022

5 February 2022

20 January 2022

17 December 2021

21 October 2021

13 August 2021

4 May 2021

9 April 2021

24 March 2021

21 March 2021

16 December 2020

18 July 2020

10 June 2020

25 March 2020

1 March 2020

20 February 2020

13 November 2019

4 October 2019

14 September 2019

9 September 2019

3 May 2019

5 March 2019

4 March 2019

23 August 2018

15 February 2018

2 February 2018

13 January 2018

2 December 2017

17 November 2017

22 July 2017