Writing & Engagement

Gheorghiu writes about logic, mathematics, and minds — artificial and otherwise — and the deep questions that connect them. What does it mean to reason correctly? Can machines truly think and understand? What is infinity, and can it be tamed? These questions sit at the heart of some of the greatest intellectual revolutions in history, from Aristotle to Kant to Cantor, and are more urgent today than ever.

Author profiles: Aeon · The Conversation · Times Literary Supplement

Essays & Articles

Aeon  ·  October 2026
The ladder of knowledge
The century-long search for the limits to knowledge: from Hilbert and Gödel to Dummett and Sandqvist, and why what we call ‘true’ is not a ceiling but a ladder we keep extending.
Read →
Times Literary Supplement  ·  September 2026
‘The Philosopher’: How Aristotle’s reputation lives on
Why Aristotle was for two thousand years simply “the Philosopher”, and what a new history of his logic recovers.
Read →
Times Literary Supplement  ·  May 2026
A world in which AI feels pain
Saul Kripke’s Naming and Necessity, half a century on — and what his possible worlds mean for whether a machine could feel.
Read →
Times Literary Supplement  ·  October 2025
By inference: An alternative account of logic
Why the foundations of logic matter for how we build and trust intelligent systems.
Read →
Mathematics Today  ·  October 2025  ·  Graham Hoare Prize 2025
High School Algebra and the Limits of AI
What school mathematics reveals about what AI genuinely cannot do.
Read →
Mathematics Today  ·  January 2025
The Mathematics of Double-checking Programs
How formal verification methods underpin reliable software and AI.
Read →
The Conversation  ·  November 2024
Researchers have invented a new system of logic that could boost critical thinking and AI
A new logical framework with implications for AI reasoning and critical thinking.
Read →

Selected Talks

  • How Do AI Systems Reason? A Study in Logic
    ECS Logic Seminar, University of Southampton · 2025
  • A Survey of Proof-theoretic Semantics
    BIRS Workshop, Banff International Research Station, Canada · 2025
  • Inferentialism and Logic
    Center for Logic, Language, and Cognition, Peking University · 2026
  • Communicating Research beyond Academia
    EPSRC CDT in Cybersecurity, London · 2026
  • Verifying Access Control Policies with Proof-Theoretic Semantics
    PPLV Seminar, University College London · 2026
    Slides Paper

For speaking enquiries, please get in touch.

Media & Interviews

For media enquiries, podcast invitations, or interviews on logic, philosophy of AI, and the foundations of reasoning, please get in touch.