Livre
Epistemology versus ontology
essays on the philosophy and foundations of mathematics in honour of per Martin-löf
Détails | Table des matières
Wittgenstein's diagonal argument
a variation on Cantor and Turing
pp.25-44
https://doi.org/10.1007/978-94-007-4435-6_2
In the shadow of incompleteness
Hilbert and Gentzen
pp.87-127
https://doi.org/10.1007/978-94-007-4435-6_5
The "middle Wittgenstein" and modern mathematics
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
pp.161-180
https://doi.org/10.1007/978-94-007-4435-6_8
A computational interpretation of forcing in type theory
pp.203-213
https://doi.org/10.1007/978-94-007-4435-6_10
Program testing and the meaning explanations of intuitionistic type theory
pp.215-241
https://doi.org/10.1007/978-94-007-4435-6_11
Constructivist versus structuralist foundations
pp.265-279
https://doi.org/10.1007/978-94-007-4435-6_13
Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions
pp.313-349
https://doi.org/10.1007/978-94-007-4435-6_15Détails de la publication
Maison d'édition: Springer
Lieu de publication: Dordrecht
Année: 2012
Pages: 385
ISBN (hardback): 978-94-007-4434-9
ISBN (digital): 978-94-007-4435-6
Citation complète:
Dybjer P, Lindström Sten, Palmgren Erik, Sundholm Göran (éd.), 2012, Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf. Dordrecht, Springer.