Karl-Georg Niebergall
Biographic Data
| ID | 5996415 |
|---|---|
| NAME | Karl-Georg Niebergall |
| GIVEN NAMES | Karl-Georg |
| FAMILY NAME | Niebergall |
| SIGNATURE | NIEBERGALL K |
| AFFILIATIONS | Ludwig-Maximilians-Universität München |
| VERIFIED | No |
| TOTAL WORKS | 3 |
| TOTAL CITATIONS | 3 |
| AUTHOR COUNT | 3 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2002 |
| LATEST PUBLICATION YEAR | 2013 |
| H-INDEX | 1 |
From Logic to Art
What Finitism Could Not Be
In his paper "Finitism" (1981), W.W. Tait maintains that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argues that all finitist reasoning is essentially primitive recursive. In this paper, we attempt to show that his thesis "The finitist fu…
Structuralism, Model Theory and Reduction
Structuralism, Model Theory and Reduction
What Finitism Could Not Be
In his paper "Finitism" (1981), W.W. Tait maintains that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argues that all finitist reasoning is essentially primitive recursive. In this paper, we attempt to show that his thesis "The finitist fu…
From Logic to Art
Epistemology (3 works) · Philosophy (3 works) · History (2 works) · History and Theory of Mathematics (2 works) · Mathematics (2 works) · Metaphysics (2 works) · Philosophy of science (2 works) · Advanced Algebra and Logic (1 works) · Aesthetics (1 works) · Algebra over a field (1 works)