scientific article; zbMATH DE number 799317
From MaRDI portal
Publication:4847764
zbMATH Open0838.03003MaRDI QIDQ4847764FDOQ4847764
Authors: Ulrich Majer 
Publication date: 22 April 1996
Title of this publication is not available (Why is that?)
Recommendations
- On the limit of the finite. The Hilbert programme in the context of formalism and finitism
- The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
- scientific article; zbMATH DE number 1254488
- Hilbert's program. An essay on mathematical instrumentalism
- Different senses of finitude: an inquiry into Hilbert's finitism
Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03)
Cited In (10)
- Extensions of the Finitist Point of View
- On the outside looking in: a caution about conservativeness
- Finitization procedures and finite model property
- On the limit of the finite. The Hilbert programme in the context of formalism and finitism
- Hilbert programme and applied proof theory
- Are we finite?
- Quasi-Fuchsian co-Minkowski manifolds
- Hilbert's `Foundations of physics': gravitation and electromagnetism within the axiomatic method
- Different senses of finitude: an inquiry into Hilbert's finitism
- Gödel on intuition and on Hilbert's finitism
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 Q4847764)
