This term I will be offering the Philosophy of Cognitive Science lectures at Oxford. It’s my first time delivering lectures for the Faculty of Philosophy. Looking forward to it!

My general audience paper, 𝘙𝘦𝘭𝘪𝘨𝘪𝘰𝘶𝘴 𝘔𝘪𝘳𝘢𝘤𝘭𝘦𝘴 𝘷𝘦𝘳𝘴𝘶𝘴 𝘔𝘢𝘨𝘪𝘤 𝘛𝘳𝘪𝘤𝘬𝘴, has just been published in the journal 𝗧𝗵𝗶𝗻𝗸 (Cambridge University Press): cambridge.org/core/journals/…

New issue of Think now available 📚 cup.org/437eoKu

Famous quotations in first-order predicate logic Can you translate these famous sayings from predicate logic into the common vernacular? infinitelymore.xyz/p/famous-quota… #InfinitelyMore #PanoramaOfLogic

The great Daniel Dennett has died. Terribly sad news. He was a wonderful philosopher and a wonderful human being. I will miss him greatly as I know so many others will too. dailynous.com/2024/04/19/dan…

Why do so many people say that you “can’t prove a negative”? That’s obviously false: mathematicians successfully prove negatives all the time, and most introductory logic textbooks cover inference rules such as negation-introduction…

I’m teaching a course on Alan Turing’s work this term and I was quite surprised to see that many modern textbooks and papers claim that Turing stated the Halting Problem and proved its undecidability in his classic 1936 paper. This is not historically accurate: he didn’t do that.

Did Turing prove the undecidability of the halting problem? with Theodor Nenu We discuss the accuracy of the attribution commonly given to Turing (1936) for the computable undecidability of the halting problem, eventually coming to a nuanced conclusion. jdh.hamkins.org/turing-halting…

🦀🐝🧠🤖 How should we make decisions when faced with systems of uncertain sentience? My new book The Edge of Sentience: Risk and Precaution in Humans, Other Animals, and AI is available online for free at academic.oup.com/book/57949. Please download it! Just click on PDF to get a

I’m delighted to announce that next term I will start a new academic position as a College Lecturer in Computer Science at Christ Church College, University of Oxford. Can't wait!

I posted an answer on MathOverflow about papers that debunk common myths in the history of mathematics. My answer concerns my recent paper with Tedy Nenu Theodor Nenu on the question whether we rightly attribute Alan Turing (1936) for the undecidability of the halting problem.

Read 'The Algorithmicity of Mathematical Cognition' by Theodor Nenu (Theodor Nenu) in the Journal of Consciousness Studies. Subscribe now for the latest issue! 🔗imprint.co.uk

First issue of the new Journal for the Philosophy of Mathematics is now available! riviste.fupress.net/index.php/jpm/…

Announcing Oxford's newest AI lab: HAI Lab. (👋) We're transforming philosophical inquiry into open source code, and building something fundamentally different in AI research ⬇️

Need a gift for the aspiring young mathematician in your life? Proof and the Art of Mathematics overflows with fascinating assertions having interesting, elementary proofs. Learn how to write proofs and indeed how to be a mathematician. mitpress.mit.edu/9780262539791/… #ProofAndTheArt

Fantastic news that Andy Clark Andy Clark is the inaugural winner of the #DennettPrize, in honour of Daniel Dennett. Congrats Andy 🍾🍾🍾 super-well deserved .Sussex COGS Sussex Centre for Consciousness Science University of Sussex hardproblem.it/projects/the-d…

I hadn't realized this but Romania's next president was 1st in the world in the International Maths Olympiad 2 years in a row with maximum score