Mechanism, mentalism, and metamathematics. An essay on finitism
zbMath0454.03001MaRDI QIDQ1149428
Publication date: 1980
Published in: Synthese Library (Search for Journal in Brave)
Church's thesisconsistencyincompletenessimpossibilityHilbert's programcritique of anti-mechanistic and anti-formalistic viewsGödel's first theoremGödel's second theoremGödel's undecidability constructionmind and machine
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory (03D99) Turing machines and related notions (03D10)
Related Items (11)
This page was built for publication: Mechanism, mentalism, and metamathematics. An essay on finitism