News
Entertainment
Science & Technology
Life
Culture & Art
Hobbies
News
Entertainment
Science & Technology
Culture & Art
Hobbies
How the continuum hypothesis might have been a fundamental axiom, Lanzhou China, July 2025 | Joel David Hamkins
This will be a talk for the International Conference on the Philosophy of Mathematics, held at Lanzhou University, China, 25-27 July 2025. How the continuum hypothesis might have been a fundamental…
Skolem’s paradox and the countable transitive submodel theorem, Leeds Set Theory Seminar, May 2025 | Joel David Hamkins
This will be an online talk for the Leeds Set Theory Seminar, 21 May 2025 1pm BST. Contact the organizers (Hope Duncan) for Teams access. Abstract: One can find in the philosophical resea…
The hierarchy of consistency strengths for membership in a computably enumerable set, Oxford Logic Seminar, May 2025 | Joel David Hamkins
This will be a talk for the Logic Seminar at the Mathematical Institute of the University of Oxford, 29 May 2025 5pm Andrew Wiles Building. Abstract. For a given computably enumerable set $W$, con…
Introduction to modal model theory, Panglobal Algebra and Logic Seminar, Boulder, March 2025 | Joel David Hamkins
This will be a talk for the Panglobal Algebra and Logic seminar at the University of Colorado Boulder, March 12, 2025, 3:30pm MDT Abstract. I shall introduce and describe the subject of modal model…
On Skolem’s paradox and the transitive submodel theorem, Rust Belt Workshop in the Philosophy of Logic, Language, and Mathematics, February 2025 | Joel David Hamkins
This will be a talk for the Rust Belt Workshop in the Philosophy of Logic, Language, and Mathematics, held at Ohio State University in Columbus, Ohio, February 8-9, 2025, University Hall (230 N Ova…
Determinateness of truth does not come for free from determinateness of objects, Singapore, November 2024 | Joel David Hamkins
This will be a talk for the (In)determinacy in Mathematics conference at the National University of Singapore, 20-22 November 2024 Abstract. I shall discuss the question whether we may regard…
Infinite-time computable analogues of the universal algorithm, Generalized Computability Theory Workshop, Spain, August 2014 | Joel David Hamkins
This will be a talk at the Generalized Computability Theory workshop in Castro Urdiales, Spain, a beautiful setting on the sea near Bilbao, 19-23 August 2024. Abstract. I shall present infinite-tim…
How we might have viewed the continuum hypothesis as a fundamental axiom necessary for mathematics, Oxford Phil Maths seminar, May 2025 | Joel David Hamkins
This will be a talk for the Philosophy of Mathematics Seminar at the University of Oxford, 19 May 2025. Abstract. I shall describe a simple historical thought experiment showing how our a…
Mathematics, Philosophy of Set Theory and Infinity, Back to the Stone Age interview, May 2024 | Joel David Hamkins
I was interviewed by Francesco Cavina for the Back to the Stone Age series on May 17, 2024, with a sweeping discussion of the philosophy of set theory, infinity, the continuum hypothesis, beauty in…
Life Story of Mathematician & Philosopher of Infinity, interviewed by The Human Podcast, May 2024 | Joel David Hamkins
I was interviewed by The Human Podcast on 17 May 2024. Please enjoy our sweeping conversation about nature of infinity, the nature of abstract mathematical existence, the applicability of mathemati…
The continuum hypothesis could have been a fundamental axiom, CFORS Grad Conference, Oslo, June 2024 | Joel David Hamkins
I shall be giving a keynote lecture for the CFORS Grad Conference at the University of Oslo, 19-20 June 2024. Abstract. I shall describe a simple historical thought experiment showing how…
Forcing is simply the iterative conception undertaken with multivalued logic, ForcingFest, Oslo, June 2024 | Joel David Hamkins
I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative…
How the continuum hypothesis could have been a fundamental axiom, UC Irvine Logic & Philosoph of Science Colloquium, March 2024 | Joel David Hamkins
This will be a talk for the Logic and Philosophy of Science Colloquium at the University of California at Irvine, 15 March 2024. Abstract. With a simple historical thought experiment, I should like…
Pluralism in the foundations of mathematics, ASL invited address, joint APA/ASL meeting, New York, January 2024 | Joel David Hamkins
This will be an invited ASL address at the joint meeting of the ASL with the APA Eastern Division conference, held in New York 15-18 January 2024. My talk will be 16 January 2024 11:00 am. Abstract…
The surprising strength of second-order reflection in urelement set theory, Luminy, October 2023 | Joel David Hamkins
This will be a talk at the XVII International Luminy Workshop in Set Theory at the Centre International de Rencontres Mathématiques (CIRM) near Marseille, France, held 9-13 October 2023. Abstract. …
What is potentialist second-order logic? Konstanz Actualism and Potentialism Conference 2023 | Joel David Hamkins
This is a talk for the Actualism and Potentialism Conference at the University of Konstanz, 28-29 September 2023. Abstract. What is or should be the potentialist account of classes? It turns out th…