A Note on Interaction and Incompleteness

DOI10.1093/JIGPAL/11.5.513MaRDI QIDQ4812251zbMATH OpenOpenAlexFDO

Authors Damjan Bojadžiev

Publication date 7 September 2004

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/9236b7a32b1af042f5093597fab2b507e5d6c12f

zbMATH Keywords

models of computationGödel's Incompleteness TheoremWegner's interaction approach to computation

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40) Turing machines and related notions (03D10)

Recommendations

• Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability
• Interactive foundations of computing
• Incompleteness, Mechanism, and Optimism
• scientific article; zbMATH DE number 1759398
• Computational processes and incompleteness

Cited in

(1)

• Computational processes and incompleteness

This page was built for publication: A Note on Interaction and Incompleteness

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