A Note on the Theorems of Church‐Turing and Trachtenbrot (Q4304099)
From MaRDI portal
scientific article; zbMATH DE number 635961
Language | Label | Description | Also known as |
---|---|---|---|
English | A Note on the Theorems of Church‐Turing and Trachtenbrot |
scientific article; zbMATH DE number 635961 |
Statements
A Note on the Theorems of Church‐Turing and Trachtenbrot (English)
0 references
16 February 1995
0 references
theorem of Church-Turing
0 references
theorem of Trachtenbrot
0 references
undecidability of satisfiability
0 references
semi-monomorphic axiomatization
0 references