Joel David Hamkins
@JDHamkins
Followers
25K
Following
22K
Media
1K
Statuses
15K
Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
University of Notre Dame
Joined November 2015
My book, Proof and the Art of Mathematics, MIT Press 2020, has been awarded the 2024 Daniel Solow Author's Award by the Mathematical Association of America. What a pleasure it has been to see the response to my book. #ProofAndTheArt.
jdh.hamkins.org
My book, Proof and the Art of Mathematics (MIT Press 2020), has been awarded the 2024 Daniel Solow Author’s Award by the Mathematical Association of America. 202420Daniel20Solow20Authors20Awa…
29
101
951
RT @mathLOb: Bokai Yao: Abstraction Principles and the Size of Reality .
arxiv.org
The Fregean ontology can be naturally interpreted within set theory with urelements, where objects correspond to sets and urelements, and concepts to classes. Consequently, Fregean abstraction...
0
2
0
I don't happen to have a paper of my own in this volume, so it is nice that other people are engaging with my work.
0
0
6
I happened to notice that my name appears (at least once) in the Palgrave Companion to the Philosophy of Set Theory. How very nice!
3
20
192
BIG NEWS, Dragon Ball Fans!.Pre-register now and join Goku on day one!.Get exclusive launch rewards and rare items.Will you be the first to experience it?.
0
16
245
RT @JohnDCook: The planets in our solar system have an average population of about one billion.
0
51
0
RT @dr_demetre: My resignation letter from CDC. Dear Dr. Houry,. I am writing to formally resign from my position as Director of the Nat….
0
16K
0
We will have further readings on AI, with student presentations on their own selected readings and topics.
5
0
33
Scott Aarronson, Why philosophers should care about complexity theory, S. Aaronson. Why Philosophers Should Care About Computational Complexity, pp. 261-328 in Computability: Turing, Gödel, Church, and Beyond, edited by B. J. Copeland, C. Posy, and O.
2
3
55
Joel David Hamkins and Theodor Nenu, Did Turing prove the undecidability of the halting problem? 2024, Mathematics arXiv,
arxiv.org
We discuss the accuracy of the attribution commonly given to Turing's 1936 paper "On computable numbers..." for the computable undecidability of the halting problem, coming eventually to a nuanced...
1
1
37
Michael Polanyi, The Republic of Science: Its Political and Economic Theory,
1
0
38
Turing, A. M. 1936. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42 (3): 230–265.
londmathsoc.onlinelibrary.wiley.com
Click on the article title to read more.
1
1
42
Richard Feynman, The Character of Physical Law, 1967. Note also videos of Feynman giving these lectures at:
youtube.com
In these Messenger Lectures on "The Character of Physical Law," originally delivered at Cornell University Nov. 9-19, 1964, physicist Richard Feynman offers ...
1
1
51
Thomas Kuhn, The structure of scientific revolutions, 1962.
3
1
58
Imre Lakatos, Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics).
1
0
52
Paul Lockhart, A Mathematician's Lament, 2009 Bellevue Literary Press. 140 pages.
1
0
50
We shall read several selections from my book, Lectures on the Philosophy of Mathematics, MIT Press 2020.
mitpress.mit.edu
In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquir...
1
7
103
For your enjoyment, here is the reading list for my undergraduate core seminar this semester in Philosophy, Science, and Mathematics. We shall focus on topics in the philosophy of mathematics, philosophy of science, and philosophy of computability and AI.
22
103
941
RT @harpersnotes: Best simple introduction to Gödel's theorems, setting the background leading up to them. An easy read.
0
1
0