scientific article; zbMATH DE number 3745125

MaRDI QIDQ3931359zbMATH OpenFDO

Authors Curt C. Christian

Publication date 1981

zbMATH Keywords

Goedel's incompleteness theoremmechanical modelling of human thinkingphilosophy and computer sciencerecursively inaccessible theoryundecidable theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Undecidability and degrees of sets of sentences (03D35) Artificial intelligence (68T99)

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 Q3931359)