Human and machine interpretation of expressions in formal systems

DOI10.1023/A:1005053105533zbMath0932.03005OpenAlexW1568387508MaRDI QIDQ1299818

Stuart A. Eisenstadt, Herbert A. Simon

Publication date: 30 August 1999

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005053105533

zbMATH Keywords

semanticsGödel's theoremexperiments with computer proofsmodel of the human cognitive systemproof implemented on a computerTuring Machine with sensory inputsundecidable statement

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cognitive psychology (91E10) Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35) General topics in artificial intelligence (68T01) Turing machines and related notions (03D10) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: Human and machine interpretation of expressions in formal systems