You have Guest access.
Log In
Michael Segre
Book Chapter
A formal scheme for avoiding undecidable problems. Applications to chaotic behavior characterization and parallel computation
Antonio L. Perrone
Lecture Notes in Computer Science, 1995, Volume 888, Analysis of Dynamical and Cognitive Systems, Pages 9-52
Diagrams in the Mind?
Aaron Sloman
2002, Diagrammatic Representation and Reasoning, Part I, Pages 7-28
Journal Article
On the status of arithmetic
W. Balzer
Erkenntnis, 1979, Volume 14, Number 1, Pages 57-85
Beyond Hilbert’s Reach?
Wilfried Sieg
Synthese Library, 1, Volume 341, Logicism, Intuitionism, and Formalism, Part III, Pages 449-483
Stratified analysis?
Karel Hrbacek
2007, The Strength of Nonstandard Analysis, Part I, Pages 47-63
Diffusion, Crisis, and Bifurcation: 1890 to 1914
2007, Labyrinth of Thought, Part Three, Pages 299-336
Hilbert's tenth problem
Yu. I. Manin
Journal of Mathematical Sciences, 1975, Volume 3, Number 2, Pages 161-184
The Epsilon Calculus and Herbrand Complexity
Georg Moser and Richard Zach
Studia Logica, 2006, Volume 82, Number 1, Pages 133-155
History of Group Theory
Israel Kleiner
2007, A History of Abstract Algebra, Pages 17-39
János Neumann’s Early Years
Science Networks. Historical Studies, 1, Volume 38, The World as a Mathematical Game, Pages 1-17
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info