scientific article; zbMATH DE number 3875248

MaRDI QIDQ3342548zbMATH OpenFDO

Authors Daniel E. Cohen

Publication date 1984

zbMATH Keywords

elementary number theoryIncompletenessKleene's Normal Form TheoremModular machinesUndecidability

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 992004
• Undecidability in Some Structures Related to Computation Theory
• Computability. Models of computation and undecidability
• Undecidability and intuitionistic incompleteness
• scientific article; zbMATH DE number 3963807
• Undecidability and incompleteness results in automata theory
• Undecidability of the Lambek calculus with a relevant modality
• Undecidability and finite automata
• scientific article; zbMATH DE number 4164803
• Undecidability, incompleteness and Arnol'd problems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3342548)