scientific article; zbMATH DE number 3792127
From MaRDI portal
Publication:3968902
zbMATH Open0503.03001MaRDI QIDQ3968902FDOQ3968902
Authors: R. O. Gandy 
Publication date: 1982
Title of this publication is not available (Why is that?)
natural numberscomputecommunicatedescribelimitations in principlepotential infinitisesproveultrafinitist programme
Cited In (9)
- On feasible numbers
- On the number of steps in proofs
- 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
- Strict finitism, feasibility, and the sorites
- Constructive chaos by cellular automata and possible sources of an arrow of time
- 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)
