Acta Structuralica

international journal for structuralist research

Book

COPR Bookmark
186508

Epistemology versus ontology

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

edited byP Dybjer Sten Lindström Erik Palmgren Göran Sundholm

Details | Table of Contents

Kant and real numbers Mark Van Atten

pp.3-23

https://doi.org/10.1007/978-94-007-4435-6_1
Wittgenstein's diagonal argument

a variation on Cantor and Turing

Juliet Floyd

pp.25-44

https://doi.org/10.1007/978-94-007-4435-6_2
Truth and proof in intuitionism Dag Prawitz

pp.45-67

https://doi.org/10.1007/978-94-007-4435-6_3
Real and ideal in constructive mathematics Giovanni Sambin

pp.69-85

https://doi.org/10.1007/978-94-007-4435-6_4
In the shadow of incompleteness

Hilbert and Gentzen

Wilfried Sieg

pp.87-127

https://doi.org/10.1007/978-94-007-4435-6_5
Evolution and logic Jan M. Smith

pp.129-138

https://doi.org/10.1007/978-94-007-4435-6_6
The "middle Wittgenstein" and modern mathematics Sören Stenlund

pp.139-159

https://doi.org/10.1007/978-94-007-4435-6_7
Primitive recursive arithmetic and its role in the foundations of arithmetic

historical and philosophical reflections

William W. Tait

pp.161-180

https://doi.org/10.1007/978-94-007-4435-6_8
Type theory and homotopy Steve Awodey

pp.183-201

https://doi.org/10.1007/978-94-007-4435-6_9
A computational interpretation of forcing in type theory Thierry Coquand Guilhem Jaber

pp.203-213

https://doi.org/10.1007/978-94-007-4435-6_10
Program testing and the meaning explanations of intuitionistic type theory Peter Dybjer

pp.215-241

https://doi.org/10.1007/978-94-007-4435-6_11
Normativity in logic Jean-Yves Girard

pp.243-263

https://doi.org/10.1007/978-94-007-4435-6_12
Constructivist versus structuralist foundations Erik Palmgren

pp.265-279

https://doi.org/10.1007/978-94-007-4435-6_13
Machine translation and type theory Aarne Ranta

pp.281-311

https://doi.org/10.1007/978-94-007-4435-6_14
Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions Michael Rathjen

pp.313-349

https://doi.org/10.1007/978-94-007-4435-6_15
Coalgebras as types determined by their elimination rules Anton Setzer

pp.351-369

https://doi.org/10.1007/978-94-007-4435-6_16
Second order logic, set theory and foundations of mathematics Jouko Väänänen

pp.371-380

https://doi.org/10.1007/978-94-007-4435-6_17

Publication details

Publisher: Springer

Place: Dordrecht

Year: 2012

Pages: 385

ISBN (hardback): 978-94-007-4434-9

ISBN (digital): 978-94-007-4435-6

Full citation:

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