scientific article; zbMATH DE number 3792127

MaRDI QIDQ3968902zbMATH OpenFDO

Authors R. O. Gandy

Publication date 1982

zbMATH Keywords

natural numberscomputecommunicatedescribelimitations in principlepotential infinitisesproveultrafinitist programme

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cited in

(9)

• On the number of steps in proofs
• On feasible numbers
• Radical anti-realism, Wittgenstein and the length of proofs
• On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
• Wittgenstein and finitism
• Constructive chaos by cellular automata and possible sources of an arrow of time
• Strict finitism, feasibility, and the sorites
• Cycling in proofs and feasibility
• How recent work in mathematical logic relates to the foundations of mathematics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3968902)