Gödel's incompleteness theorems and computer science

DOI10.1023/A:1009639629935zbMath0949.03002OpenAlexW194906421MaRDI QIDQ1567047

Roman Murawski

Publication date: 3 December 2000

Published in: Foundations of Science (Search for Journal in Brave)

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

zbMATH Keywords

artificial intelligenceTuring machinephilosophy of mathematicsGödel's incompleteness theoremsmind-body problemphilosophy of mind

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70)

This page was built for publication: Gödel's incompleteness theorems and computer science