Kreisel's squeezing argument requires that the informal concept being captured is already sufficiently determinate, but 'feasible computation' lacks the pre-theoretic determinacy needed to ground a machine-independence claim.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
Kreisel(as a historical figure in logic and philosophy of mathematics)
Georg Kreisel (1923–2015), a mathematical logician who studied how mathematical reasoning works and whether we can be certain about mathematical truths.
Machine-independence claim(The statement suggests this claim can't be grounded in the concept of feasible computation)
An argument that a definition or concept applies equally well no matter what kind of computer or machine you use to test it.
Pre-theoretic(Pre-theoretic understanding of 'feasible computation' is what's being questioned)
Something that exists or is understood before anyone has built a formal theory or formal definition around it—your intuitive grasp of something before experts formalize it.
squeezing argument(philosophy of logic)
Kreisel's argument that uses proof theory to support the model-theoretic definition of logical consequence, depending on the language having a sound and complete proof system