Joel David Hamkins @joeldavidhamkins.bsky.social · 13hwww.infinitelymore.xyz/p/chess-game... #InfinitelyMore #FrivolitiesOfTheGodsinfinitelymore.xyzEvery game of chess ends prematurelyWhy do we play chess for checkmate instead of playing more naturally to capture the enemy king? Would it be game-theoretically equivalent? Surprisingly, no, the two ways of playing are not equivalent. 120
Joel David Hamkins @joeldavidhamkins.bsky.social · 14/10/2026ergo.org/courses/lect...ergo.orgLectures on Infinity — ErgoJoel David Hamkins guides viewers through the great paradoxes and discoveries about infinity, from Zeno's ancient puzzles to Cantor's revolutionary proof that some infinities are larger than others. 010
Joel David Hamkins @joeldavidhamkins.bsky.social · 14/10/2026jdh.hamkins.org/fundamental-...jdh.hamkins.orgOn the fundamental theorem of finite games, CUNY Student Logic Seminar, October 2026This will be a talk for the CUNY Student Logic Seminar on 23rd October 2026, 5pm at the CUNY Graduate Center in midtown Manhattan. On the fundamental theorem of finite games Abstract: We will give … 120
Joel David Hamkins @joeldavidhamkins.bsky.social · 14/10/2026jdh.hamkins.org/the-continge...jdh.hamkins.orgThe Contingent HOD Dichotomy, CUNY Logic Workshop, October 2026This will be a talk for the CUNY Logic Workshop, 23 October 2026, 2pm, at the CUNY Graduate Center in midtown Manhattan. The Contingent HOD Dichotomy Joel David Hamkins, O’Hara Professor of L… 100
Joel David Hamkins @joeldavidhamkins.bsky.social · 14/10/2026jdh.hamkins.org/epistemic-lo...jdh.hamkins.orgEpistemic Logic Puzzles for Mathematicians, NYC Math Education and Communication Seminar, October 2026This will be a talk for the NYC Math Education and Communication Seminar, 20 October 2026, 12:15 – 1:15pm, at the CUNY Graduate Center in midtown Manhattan. Epistemic Logic Puzzles for Mathem… 100
Joel David Hamkins @joeldavidhamkins.bsky.social · 14/10/2026I'm giving several talks next week in New York: - Tuesday: NYC Math Ed & Communication seminar - Friday: CUNY Logic Workshop - Friday: CUNY Graduate Student Logic Seminar In addition, I shall be recording four additional lectures in the ERGO studios for my Lectures on Infinity series. Links below. 130
Joel David Hamkins @joeldavidhamkins.bsky.social · 14/10/2026Ah, I hadn't realized. So perhaps Fred really is French! 010
Joel David Hamkins @joeldavidhamkins.bsky.social · 13/10/2026I am realizing that the lively online community of game players in my Connect 4 app is very likely a community of bots. I found it a little strange to play Fred from France and Emilia from Japan, but then realized that the player names rarely fit the country. They must be mostly fake. 140
Joel David Hamkins @joeldavidhamkins.bsky.social · 13/10/2026Today's topic in the Philosophy and Logic of Games: The fundamental theorem of finite games. Over several lectures we shall give five different proofs of this core result, and discuss how the arguments generalize in various ways to classes of infinite games. www.infinitelymore.xyz/p/fundamenta...infinitelymore.xyzThe fundamental theorem of finite gamesIn every finite two-player game of perfect information, either one player has a winning strategy or both players have drawing strategies. 010
Reposted by Joel David HamkinsKatie Steckles @steckl.es · 07/10/2026Day 7 of #mathober is all about Five Circles, and I've picked my favourite five circles to showcase. Or are they all just the same circle...? PDF: katiesteckles.co.uk/mo7 0103
Reposted by Joel David HamkinsAndrew Deck @andrewdeck.bsky.social · 05/10/2026ChatGPT is adding the signatures of real New Yorker cartoonists to its AI-generated images. So far, I've found the signatures of more than 15 contributors. "It’s slop, and unlike the other slop that I’ve encountered, this is slop that’s pretending to be me." www.niemanlab.org/2026/10/chat... 9042481699
Joel David Hamkins @joeldavidhamkins.bsky.social · 05/10/2026I am regularly getting these kinds of messages now, often with inquiries that set off my AI detectors. 010
Joel David Hamkins @joeldavidhamkins.bsky.social · 05/10/2026But the sample writing is totally AI and even the email message itself. This puts me totally off, but I would like to understand the nature of the motivation better. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 05/10/2026I get those kinds of emails also, but recently it is something different, since (unlike the Chinese students) they aren't asking for any official status or admission. They claim to be independent researchers and just want to work together on a paper, closely related to my interests. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 05/10/2026Is this a variation on the book-club scam, or is this instead a way for them to get validation of their AI paper that they don't understand? Or what? What's the scam exactly? 330
Joel David Hamkins @joeldavidhamkins.bsky.social · 05/10/2026Is everyone getting these emails, full of flattering details from one's research program, and asking for informal supervision, aimed at knowledge and possibly a supervised article or paper? It sounds plausible at first, but the emails are AI/mixed-AI generated, so...sorry, but no. 140
Joel David Hamkins @joeldavidhamkins.bsky.social · 04/10/2026hoyerswort.dehoyerswort.deHOYERSWORT herrenhausDas Café Im gemütlichen Café in der ehemaligen Vorstube serviert Ihnen Brigitte Jürgensen mit ihrem Team Tee- und Kaffeespezialitäten und nur selbstgebackene Torten aus vollwertigen Lebensmitteln. Apfelkuchen mit kandierten Mandeln oder Trümmertorte mit Himbeer-Sahne-Füllung sind unsere Lieblingstorten. An Herzhaftem bieten… 000
Joel David Hamkins @joeldavidhamkins.bsky.social · 04/10/2026Now the book is updated with the American branch of the family, and we've all been to Hoyorswort and to the Hamkens festival held on Eiderstedt, which is full of Hamkens. 220
Joel David Hamkins @joeldavidhamkins.bsky.social · 04/10/2026The book explained how there was a big fight about money and how he "left for America, never to be heard from again." Evidently he had changed the spelling to Hamkins upon arrival in the US. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 04/10/2026She had a book Die Familie Hamkens aus Eiderstedt, detailing the family history at Hoyorswort. The were hundreds of photos and big family tree going back to the 16th century. There were hundreds of photos, including one with the same name of my great great grandfather, and the same birthday. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 04/10/2026When I was a child, my family in the US knew only vaguely about our German ancestors, but in a chance encounter with my uncle, the new neighbors had just moved from Germany, and the wife's maiden name was Hamkens. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 04/10/2026This is the ancestral manor estate of the Hamkens family, the Herrenhaus Hoyorswort on the Eiderstedt peninsula, north of Hamburg. The castle, in the Hamkens family for 250 years, is now a museum with cafe and inn. maps.app.goo.gl/HiphuP96Unvm...maps.app.goo.gl 241
Joel David Hamkins @joeldavidhamkins.bsky.social · 03/10/2026It seems that I shall be giving the Skolem Lecture next year in Oslo. Looking forward! More news later. 061
Reposted by Joel David Hamkinsworm @rfksbrainworm.bsky.social · 02/10/2026If you ever wondered why visible light is those particular wavelengths, it's because life evolved to see in the narrow range where water is transparent 10161161710
Joel David Hamkins @joeldavidhamkins.bsky.social · 02/10/2026So giants are impossible, if they are conceived as scaled-up replicas of humanity. But giant being are possible, if their physical features are different---this is clear. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 02/10/2026But notice the definite differences in proportions from a smaller animal, such as a garden lizard. These legs and backbone are extremely stocky, just as Galileo predicted. So this example illustrates Galileo's point, that you can't just scale up a physical specimen and expect it to function. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 02/10/2026My daughter Hypatia is now a double major in mathematics and philosophy (at Caltech), befitting her eponym. en.wikipedia.org/wiki/Hypatia I always encouraged her that she could do absolutely whatever she wanted in intellectual matters, but ultimately she found her home as I have. 1170
Joel David Hamkins @joeldavidhamkins.bsky.social · 02/10/2026Here is a rough outline and syllabus of my games course this semester. It's going great! jdh.hamkins.org/philosophy-a...jdh.hamkins.orgPhilosophy and Logic of Games, Notre Dame, Fall 2026This is a rough outline syllabus for the class I am teaching this semester at the University of Notre Dame on the philosophy and logic of games. University of Notre Dame … 040
Joel David Hamkins @joeldavidhamkins.bsky.social · 02/10/2026I've posted some information at jdh.hamkins.org/philosophy-a...jdh.hamkins.orgPhilosophy and Logic of Games, Notre Dame, Fall 2026This is a rough outline syllabus for the class I am teaching this semester at the University of Notre Dame on the philosophy and logic of games. University of Notre Dame … 021
Joel David Hamkins @joeldavidhamkins.bsky.social · 01/10/2026The paradox of giants. youtu.be/ejWM4twDnrEyoutu.beWhy Giants Can't Exist: Galileo's ArgumentYouTube video by Ergo 010
Joel David Hamkins @joeldavidhamkins.bsky.social · 01/10/2026He says unfortunately, no. And also not to Oasis or to Grandmaster Joe Gallagher (which he says get asked a lot too!). Many Gallaghers it seems... 010
Joel David Hamkins @joeldavidhamkins.bsky.social · 01/10/2026Currently I have only the syllabus we use internally with the students, but perhaps I'll make a blog post with an outline. I'll post a link here later. 120
Joel David Hamkins @joeldavidhamkins.bsky.social · 01/10/2026Excited for the chess guest lecture today in my Philosophy and Logic of Games class by FIDE Master and Oxford philosopher Daniel Gallagher! 290
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026Galileo's paradox of Infinity—Lectures on Infinity (lecture 6) www.infinitelymore.xyz/p/galileo-pa... #InfinitelyMoreinfinitelymore.xyzGalileo’s Paradox of Infinity—Lectures on Infinity (lecture 6)Galileo recognized that some infinite collections can be placed into one-to-one correspondence with a proper subcollection. How are we thus to make comparisons of size with the infinite? 000
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026So actually, A is c.e. and undecidable. But there are no instances of n∈A that are independent of the theory T=PA+¬Con(PA), since this theory proves that A is everything. 010
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026Nevertheless, "consistent" is not enough in this argument, and that one does need existential soundness. Let A be the set of halting Turing machine programs (on empty input), unless a proof of a contradiction in PA is discovered, in which case every number is enumerated into A. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026Thus every instance of computable undecidability is saturated also with logical undecidability, even with respect to our best aspirational foundational theories. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026In short, every c.e. undecidable set A is saturated also with logical independence, in that for any of our aspirational foundational theories, if both consistent and sound for Sigma_1 assertions, will have many independent instances n∈A. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026If theory is furthermore sound for existential assertions, this means that n∈A will be often independent of the theory. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026The point being that proofs of n∉A in a consistent theory extending PA are reliable, since upon finding the proof we couldn't afterward find that n∈A, since this would reveal inconsistency in the theory. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026Nevertheless, for any consistent theory extending (or interpreting) PA, such as ZFC or ZFC plus large cardinals, there will be infinitely many instances of n∉A that are not provable in the theory, for otherwise we could decide A by searching for proofs. 120
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026Suppose that A is a computably enumerable set that is undecidable. Of course every instance of n∈A is provable in PA, since we verify that the algorithm proceeded as it did. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/09/2026Writing quiz question, at the start of class: Explain Nguyen's concept of "striving play". True or false: this is a notion that Nguyen is largely defending, rather than criticizing. 011
Joel David Hamkins @joeldavidhamkins.bsky.social · 29/09/2026Today in Philosophy and Logic of Games, we shall discuss Thi Nguyen's book Games: Agency as Art. 110
Joel David Hamkins @joeldavidhamkins.bsky.social · 28/09/2026youtu.be/wvZm9lT7alA?...youtu.beUltra-Finitism: The Mathematicians Who Deny Large Numbers ExistYouTube video by Ergo 020
Joel David Hamkins @joeldavidhamkins.bsky.social · 28/09/2026Next month in New York: On the fundamental theorem of finite games. jdh.hamkins.org/fundamental-...jdh.hamkins.orgOn the fundamental theorem of finite games, CUNY Graduate Student Seminar, October 2026This will be a talk for the Mathematics Graduate Student Seminar on 23rd October 2026, 5pm at the CUNY Graduate Center in midtown Manhattan. On the fundamental theorem of finite games Abstract: We … 010
Joel David Hamkins @joeldavidhamkins.bsky.social · 27/09/2026Yes, it is explicit in just this way. 020