Conceptual Confluence in 1936: Post and Turing (Q4637215)
From MaRDI portal
scientific article; zbMATH DE number 6861184
Language | Label | Description | Also known as |
---|---|---|---|
English | Conceptual Confluence in 1936: Post and Turing |
scientific article; zbMATH DE number 6861184 |
Statements
Conceptual Confluence in 1936: Post and Turing (English)
0 references
18 April 2018
0 references
Turing machines
0 references
Post systems
0 references
Church-Turing thesis
0 references
Thue's problem
0 references
word problem
0 references
0 references