Pages that link to "Item:Q1149428"

The following pages link to Mechanism, mentalism, and metamathematics. An essay on finitism (Q1149428):

Displaying 11 items.

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