Mechanism, mentalism, and metamathematics. An essay on finitism

Publication date: 1980

Published in: Synthese Library (Search for Journal in Brave)

Church's thesis consistency incompleteness impossibility Hilbert's program critique of anti-mechanistic and anti-formalistic views Gödel's first theorem Gödel's second theorem Gödel's undecidability construction mind and machine

Mathematics Subject Classification ID

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)

ET and an infinitary Church's thesis ⋮ Addendum to ``Sloman's view of Gödel's sentence ⋮ Towards completeness: Husserl on theories of manifolds 1890--1901 ⋮ Did Turing stand on Gödel's shoulders? ⋮ A debate about the axiomatization of arithmetic: Otto Hölder against Robert Graßmann. ⋮ Consistency, mechanicalness, and the logic of the mind ⋮ Remarks on the development of computability ⋮ Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach ⋮ Comparison of identification criteria for machine inductive inference ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis

This page was built for publication: Mechanism, mentalism, and metamathematics. An essay on finitism