Epistemology versus ontology

Repository | Book

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

Wittgenstein's diagonal argument

Floyd Juliet

25-44

Truth and proof in intuitionism

Prawitz Dag

45-67

Real and ideal in constructive mathematics

Sambin Giovanni

69-85

In the shadow of incompleteness

Sieg Wilfried

87-127

Evolution and logic

Smith Jan M.

129-138

The "middle Wittgenstein" and modern mathematics

Stenlund Sören

139-159

Primitive recursive arithmetic and its role in the foundations of arithmetic

Tait William W.

161-180

Type theory and homotopy

Awodey Steve

183-201

A computational interpretation of forcing in type theory

Coquand Thierry; Jaber Guilhem

203-213

Program testing and the meaning explanations of intuitionistic type theory

Dybjer Peter

215-241

Normativity in logic

Girard Jean-Yves

243-263

Constructivist versus structuralist foundations

Palmgren Erik

265-279

Machine translation and type theory

Ranta Aarne

281-311

Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions

Rathjen Michael

313-349

Coalgebras as types determined by their elimination rules

Setzer Anton

351-369

Second order logic, set theory and foundations of mathematics

Väänänen Jouko

371-380

Is this table of contents incomplete? Click here to add the missing references

This document is unfortunately not available for download at the moment.