Hypothetical extensions of constructive mathematics
pp. 159-174
Abstrakt
What are the most striking features of modern (classical) mathematics? It works! It's fun! It's beautiful! It's useful! It's profitable! It's respected! Then, why does it need "foundation"?
Publication details
Published in:
Depauli Schimanovich Werner, Köhler Eckehart, Stadler Friedrich (1995) The foundational debate: complexity and constructivity in mathematics and physics. Dordrecht, Springer.
Seiten: 159-174
DOI: 10.1007/978-94-017-3327-4_12
Referenz:
Krauss Peter H. (1995) „Hypothetical extensions of constructive mathematics“, In: W. Depauli Schimanovich, E. Köhler & F. Stadler (eds.), The foundational debate, Dordrecht, Springer, 159–174.