Another proof of the Markov—Post theorem
- 1 March 1952
- journal article
- Published by Springer Nature in Acta Mathematica Hungarica
- Vol. 3 (1) , 1-27
- https://doi.org/10.1007/bf02146065
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947
- Formal Reductions of the General Combinatorial Decision ProblemAmerican Journal of Mathematics, 1943
- On notation for ordinal numbersThe Journal of Symbolic Logic, 1938
- General recursive functions of natural numbersMathematische Annalen, 1936
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- Zum Hilbertschen Aufbau der reellen ZahlenMathematische Annalen, 1928