Hypothetical extensions of constructive mathematics
pp. 159-174
Abstract
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.
Pages: 159-174
DOI: 10.1007/978-94-017-3327-4_12
Full citation:
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.