Theodor Nenu

Philosophical Trials is a platform for interdisciplinary conversations with world-renowned academics. Previous guests include A.C. Grayling, Simon Blackburn, Timothy Williamson, Joel David Hamkins, Scott Aaronson, Vicky Neale, William Lane Craig and other notable thinkers.

I am very pleased to announce that The Book of Infinity is available for pre-order! All my favorite paradoxes and conundrums. #BookOfInfinity #InfinitelyMore

@JDHamkins Congratulations!

An update on China. I have been appointed as Guest Chair Professor at Peking University, with planned visits there during the next 3 summers.

My paper with Tedy Nenu on Alan Turing and the halting problem has now appeared. doi.org/10.1093/logcom…

Drumrolls, please! I’m thrilled to share the cover for my forthcoming #book from @doubledaybooks (Penguin Random House), #PROPHECY. This is the best book I’ve written: the boldest, the most innovative, the most personal. I have poured my soul into it like never before. 1/

📢 We are pleased to announce that Dr Theodor Nenu has joined us as an Early Career Research Fellow in AI and Theoretical Philosophy, in association with Balliol College. Read more about Dr Nenu's work: oxford-aiethics.ox.ac.uk/theodor-nenu

I am now an Early Career Research Fellow in AI and Theoretical Philosophy at the Institute for Ethics in AI and Balliol College, University of Oxford. Looking forward to the next couple of years!

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

@JDHamkins Amazing! That’s really impressive.

In a few months, it will be 15 years continuously that I have been the top user on MathOverflow. What a great ride it has been—I have learned so much.

Fantastic news that Andy Clark @CogsAndy is the inaugural winner of the #DennettPrize, in honour of Daniel Dennett. Congrats Andy 🍾🍾🍾 super-well deserved .@SussexCOGS @SussexCentre @SussexUni hardproblem.it/projects/the-d…

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

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 ⬇️

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

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

@JDHamkins That’s so cool! It should be a great podcast episode.

It seems I shall be appearing on Lex Fridman's podcast.

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 @tedynenu on the question whether we rightly attribute Alan Turing (1936) for the undecidability of the halting problem. mathoverflow.net/a/476586/1946

@ANNVYSHINSKY Thanks, Anna!

@tedynenu Congratulations and have fun!

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!

🦀🐝🧠🤖 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 PDF of the whole book. Individual chapters are also available as PDFs - just click on whichever chapters you want. The book is completely free to everyone and I'm grateful for all shares and forwards.

@davidpapineau @lonanglo @philosophybites @runthinkwrite @mitch_berman Not sure about other martial arts, but many Brazilian Jiu Jitsu practitioners are called “BJJ players”—even by top BJJ coaches, e.g. John Danaher. It is fairly common in the relevant community to see this martial art as resembling Chess: this makes the game-comparison plausible.

@lonanglo @philosophybites @runthinkwrite @mitch_berman Not clearly games, if you ask me. The main actions (throwing, pushing) aren’t constituted by rules. Hm. Maybe the arm-wrestling pushing is so constituted. Interesting case. What about wresting and martial arts? Seems wrong to call them games.

A puzzle. Not all sports are games (eg running, swimming) and not all games are sports (bridge, ludo). But all sports that are games seem to involve a ball (or something close - a shuttlecock). Is that right, and if so why? @philosophybites @runthinkwrite @mitch_berman

Did Turing prove the undecidability of the halting problem? with @tedynenu 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…