Epistemology Versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of per Martin-Löf |
|
Editor:
| Dybjer, P. Lindström, Sten Palmgren, Erik Sundholm, B. G. |
Series title: | Logic, Epistemology, and the Unity of Science Ser. |
ISBN: | 978-94-017-8238-8 |
Publication Date: | Aug 2014 |
Publisher: | Springer Netherlands
|
Imprint: | Springer |
Book Format: | Paperback |
List Price: | USD $219.99 |
Book Description:
|
This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. Contrasts classical logic and set theory with predicativistic constructivism based on Martin-Löf type theory.
This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. Contrasts classical logic and set theory with predicativistic constructivism based on Martin-Löf type theory.