Reflections on the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783030156541, 9783030156558

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From the Foundations of Mathematics to Mathematical Pluralism

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_16 ◽

2019 ◽

pp. 363-380

Author(s):

Graham Priest

Keyword(s):

Foundations Of Mathematics ◽

Mathematical Pluralism

Download Full-text

What Do We Want a Foundation to Do?

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_13 ◽

2019 ◽

pp. 293-311 ◽

Cited By ~ 1

Author(s):

Penelope Maddy

Download Full-text

A Comparison of Type Theory with Set Theory

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_12 ◽

2019 ◽

pp. 271-292 ◽

Cited By ~ 1

Author(s):

Ansten Klev

Keyword(s):

Set Theory ◽

Type Theory

Download Full-text

A New Foundational Crisis in Mathematics, Is It Really Happening?

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_11 ◽

2019 ◽

pp. 255-269

Author(s):

Mirna Džamonja

Download Full-text

Proving Theorems from Reflection

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_4 ◽

2019 ◽

pp. 79-97 ◽

Cited By ~ 1

Author(s):

Philip D. Welch

Download Full-text

Correction to: Formal and Natural Proof: A Phenomenological Approach

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_22 ◽

2019 ◽

pp. C1-C1

Author(s):

Merlin Carl

Keyword(s):

Phenomenological Approach

Download Full-text

Formalising Mathematics in Simple Type Theory

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_20 ◽

2019 ◽

pp. 437-453

Author(s):

Lawrence C. Paulson

Keyword(s):

Type Theory ◽

Simple Type ◽

Simple Type Theory

Download Full-text

Models of HoTT and the Constructive View of Theories

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_9 ◽

2019 ◽

pp. 191-219

Author(s):

Andrei Rodin

Download Full-text

Naïve Type Theory

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_5 ◽

2019 ◽

pp. 101-136

Author(s):

Thorsten Altenkirch

Keyword(s):

Type Theory

Download Full-text

Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?

Reflections on the Foundations of Mathematics ◽

10.1007/978-3-030-15655-8_21 ◽

2019 ◽

pp. 455-494

Author(s):

Giovanni Sambin

Download Full-text