Epistemology versus ontology

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

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

Table of Contents
Download
Other Editions

Open Access Link
3-23
Kant and real numbers

Van Atten Mark

Open Access Link
25-44
Wittgenstein's diagonal argument

Floyd Juliet

Open Access Link
45-67
Truth and proof in intuitionism

Prawitz Dag

Open Access Link
69-85
Real and ideal in constructive mathematics

Sambin Giovanni

Open Access Link
87-127
In the shadow of incompleteness

Sieg Wilfried

Open Access Link
129-138
Evolution and logic

Smith Jan M.

Open Access Link
139-159
The "middle Wittgenstein" and modern mathematics

Stenlund Sören

Open Access Link
161-180
Primitive recursive arithmetic and its role in the foundations of arithmetic

Tait William W.

Open Access Link
183-201
Type theory and homotopy

Awodey Steve

Open Access Link
203-213
A computational interpretation of forcing in type theory

Coquand Thierry; Jaber Guilhem

Open Access Link
215-241
Program testing and the meaning explanations of intuitionistic type theory

Dybjer Peter

Open Access Link
243-263
Normativity in logic

Girard Jean-Yves

Open Access Link
265-279
Constructivist versus structuralist foundations

Palmgren Erik

Open Access Link
281-311
Machine translation and type theory

Ranta Aarne

Open Access Link
313-349
Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions

Rathjen Michael

Open Access Link
351-369
Coalgebras as types determined by their elimination rules

Setzer Anton

Open Access Link
371-380
Second order logic, set theory and foundations of mathematics

Väänänen Jouko

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

Not implemented yet !