Colossus 1e volwaardige buizen computer-reinactment (Techniek Overig)

door MarcelvdG , 10.06.2020, 00:15 (1626 dagen geleden) @ Maarten Bakker

Kan een computer met een andere architectuur niet Turing-compleet zijn?

Je kunt in ieder geval wel toestandsmachines met een achtergrondgeheugen bedenken die niet Turing-compleet zijn, zie Turings artikel "On computable numbers, with an application to the Entscheidungsproblem" uit 1936 (waar ik overigens na drie keer lezen nog maar een hele kleine fractie van begrijp). Hij geeft diverse voorbeelden van zulke machines voordat hij met zijn universele machine komt. In het magazijn van de bibliotheek van de TU Delft hebben ze het originele tijdschrift nog, maar je kunt het ook zo op Internet vinden.

Volgens Wikipedia was Colossus niet Turing-compleet, maar heeft ene Benjamin Wells bewezen dat tien aan elkaar gekoppelde exemplaren dat wel konden zijn. Zie https://en.wikipedia.org/wiki/Colossus_computer