Foundational theories of classical and constructive mathematics

Book

Foundational theories of classical and constructive mathematics

edited byGiovanni Sommaruga

Details | Table of Contents

Foundational frameworks Geoffrey Hellman

pp.53-69

https://doi.org/10.1007/978-94-007-0431-2_1

The problem of mathematical objects Bob Hale

pp.71-84

https://doi.org/10.1007/978-94-007-0431-2_2

Set theory as a foundation Penelope Maddy

pp.85-96

https://doi.org/10.1007/978-94-007-0431-2_3

Foundations

structures, sets, and categories

Stewart Shapiro

pp.97-110

https://doi.org/10.1007/978-94-007-0431-2_4

From sets to types, to categories, to sets Steve Awodey

pp.113-125

https://doi.org/10.1007/978-94-007-0431-2_5

Enriched stratified systems for the foundations of category theory Solomon Feferman

pp.127-143

https://doi.org/10.1007/978-94-007-0431-2_6

Recent debate over categorical foundations Colin McLarty

pp.145-154

https://doi.org/10.1007/978-94-007-0431-2_7

The axiom of choice in the foundations of mathematics John L. Bell

pp.157-169

https://doi.org/10.1007/978-94-007-0431-2_8

Reflections on the categorical foundations of mathematics Joachim Lambek Philip J. Scott

pp.171-186

https://doi.org/10.1007/978-94-007-0431-2_9

Local constructive set theory and inductive definitions Peter Aczel

pp.189-207

https://doi.org/10.1007/978-94-007-0431-2_10

Proofs and constructions Charles McCarty

pp.209-225

https://doi.org/10.1007/978-94-007-0431-2_11

Euclidean arithmetic

the finitary theory of finite sets

J.P. Mayberry

pp.227-243

https://doi.org/10.1007/978-94-007-0431-2_12

Intentionality, intuition, and proof in mathematics Richard Tieszen

pp.245-263

https://doi.org/10.1007/978-94-007-0431-2_13

Foundations for computable topology Paul Taylor

pp.265-310

https://doi.org/10.1007/978-94-007-0431-2_14

Conclusion

a perspective on future research in fom

Giovanni Sommaruga John L. Bell

pp.311-314

https://doi.org/10.1007/978-94-007-0431-2_15

Publication details

Publisher: Springer

Place: Dordrecht

Year: 2011

Pages: 314

ISBN (hardback): 978-94-007-0430-5

ISBN (digital): 978-94-007-0431-2

Full citation:

Sommaruga Giovanni (2011) Foundational theories of classical and constructive mathematics. Dordrecht, Springer.