Netzwerk Phänomenologische Metaphysik
186508

Springer, Dordrecht

2012

385 Pages

ISBN 978-94-007-4434-9

Epistemology versus ontology

essays on the philosophy and foundations of mathematics in honour of per Martin-löf

Edited by

P Dybjer , Sten Lindström , Erik Palmgren , Göran Sundholm

Publication details

Full citation:

Dybjer, P. , Lindström, S. , Palmgren, E. , Sundholm, G. (eds) (2012). Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf, Springer, Dordrecht.

Table of Contents

Kant and real numbers

Van Atten Mark

3-23

Open Access Link
In the shadow of incompleteness

Sieg Wilfried

87-127

Open Access Link
Evolution and logic

Smith Jan M.

129-138

Open Access Link
Type theory and homotopy

Awodey Steve

183-201

Open Access Link
A computational interpretation of forcing in type theory

Coquand Thierry; Jaber Guilhem

203-213

Open Access Link
Normativity in logic

Girard Jean-Yves

243-263

Open Access Link

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 15
Cannot connect to DataBase