Publication:4736397
From MaRDI portal
zbMath1062.03056MaRDI QIDQ4736397
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2277/22770160.htm
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations
03F35: Second- and higher-order arithmetic and fragments
Related Items
Informal versus formal mathematics, Mathematical intuition and the cognitive roots of mathematical concepts, From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality, Some thoughts on hypercomputation