Wang B-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 19:1419:14, 23 June 2022‎ 2601:547:500:6940:b0e9:f710:14d1:fc5d talk‎ 3,563 bytes −574‎ Reference does not mention Wang B-machines undo Tag: references removed

curprev 05:4505:45, 22 August 2019‎ AnomieBOT talk contribs‎ m 3,494 bytes +17‎ Dating maintenance tags: {{Inline}} undo
curprev 05:2405:24, 22 August 2019‎ Seligne talk contribs‎ 3,477 bytes +11‎ inline cites needed undo

curprev 07:5107:51, 22 March 2013‎ KLBot2 talk contribs‎ m 3,469 bytes −24‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:Q7967358 undo

curprev 16:3716:37, 13 June 2011‎ Ferkel talk contribs‎ 3,471 bytes +47‎ Codd's universal computer-constructor was an implementation of a W-machine. undo

curprev 07:3607:36, 2 June 2008‎ Yakushima talk contribs‎ 3,555 bytes +19‎ →‎References: finished notation touchup undo
curprev 07:2907:29, 2 June 2008‎ Yakushima talk contribs‎ m 3,536 bytes +23‎ →‎References: notation touchup for Minsky quote, based on Google book search snippet view undo
curprev 07:1507:15, 2 June 2008‎ Yakushima talk contribs‎ m 3,513 bytes +4‎ →‎References: common mis-cite of title of Kleene's book, corrected undo
curprev 07:1007:10, 2 June 2008‎ Yakushima talk contribs‎ 3,509 bytes +65‎ →‎References: typos, links undo

curprev 21:0821:08, 13 October 2007‎ R.e.s. talk contribs‎ 3,404 bytes +277‎ Wang defined both the B- and W-machines in the same paper. Remove reference to Melzak and Lee, except as bibliography. undo

curprev 15:3615:36, 9 December 2006‎ Wvbailey talk contribs‎ m 3,119 bytes −4‎ fix a little screwup undo
curprev 15:3215:32, 9 December 2006‎ Wvbailey talk contribs‎ m 3,123 bytes +33‎ →‎Description: add little arrows, correct the example undo
curprev 15:2415:24, 9 December 2006‎ Wvbailey talk contribs‎ 3,090 bytes +128‎ →‎References: add some categories undo
curprev 10:4110:41, 9 December 2006‎ Alaibot talk contribs‎ m 2,962 bytes +32‎ Robot tagging as uncategorised undo

curprev 21:3821:38, 7 September 2006‎ Wvbailey talk contribs‎ 2,930 bytes +842‎ add Melzak and Lambek as references undo

curprev 18:5218:52, 23 August 2006‎ Wvbailey talk contribs‎ 2,088 bytes +3‎ →‎Description: fix typos undo
curprev 18:4718:47, 23 August 2006‎ Wvbailey talk contribs‎ m 2,085 bytes +5‎ fix typos etc. undo
curprev 18:4618:46, 23 August 2006‎ Wvbailey talk contribs‎ 2,080 bytes +2,080‎ quick introduction and description