scientific article
From MaRDI portal
Publication:3968902
zbMath0503.03001MaRDI QIDQ3968902
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural numberscomputecommunicatedescribelimitations in principlepotential infinitisesproveultrafinitist programme
Related Items
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, How recent work in mathematical logic relates to the foundations of mathematics, On the number of steps in proofs, STRICT FINITISM, FEASIBILITY, AND THE SORITES, On feasible numbers, Radical anti-realism, Wittgenstein and the length of proofs, Cycling in proofs and feasibility, Constructive chaos by cellular automata and possible sources of an arrow of time, Wittgenstein and finitism