Logic ForAll

Talking about Synthetic Mathematics in the middle of the Amazon rainforest felt slightly surreal.

Kolmogorov and Alexandrov on a trip.

The Bunge Family: Mario, Eric, Marta and Silvia Some mathematical projects are less about proving theorems and more about bringing people together.

... and Why It Fails Constructively There is a standard move in classical logic that feels so innocent.

(but sometimes it can be) On what goes wrong when you try to eliminate quantifiers intuitionistically proof theoryconstructive logic Skolemization works.

My previous series of blog posts—what I’ve been calling the Penelope posts—has been about revisiting past work.

Dr Andrea Schalk, School of Computer Science at The University of Manchester One of the pleasures of long mathematical collaborations is watching how the same ideas get told differently by different people.

What a 1999 gathering of logicians was quietly getting right about the future of computing August 1999 · Dagstuhl Castle, Germany.

A blog post about infinity, categories, and a mathematical mystery.

Gavin Bierman Over the last thirty years, I have repeatedly returned to a particular question in logic: What should modal logic look like in a constructive world?

This blog post is based on a talk recently given at Chapman University, developed within the context of our joint Topos–Chapman collaboration.

A standard story in proof theory textbooks says that an intuitionistic sequent calculus is obtained from a classical one by imposing a single-conclusion restriction.

In Homer’s Odyssey, Penelope survives not by force, but by craft.

Maybe you haven't heard about `Manels'?

Harold wasn't ill, as far as I know.

Phew!

On July 6–7, 2024, the Hausdorff Institute of Mathematics hosted the Women in Formal Mathematics workshop, a two-day event dedicated to showcasing and supporting women in formal proofs, logic, and automated deduction.

I was always very keen on the idea that philosophical logicians and programming language designers interested in non-classical modal logics should talk to each other about their problems, about what kinds of intuitionistic or constructive modal logics they

I have been an Honorary Fellow at the School of Computer Science in the University of Birmingham, UK since 2000.

This picture from the first blog post of the Topos Institute celebrates the official opening of Topos in Jan 2021.

This post is simply a condensed version of an interview that Brendan gave to Eric Gilliam.

Writing blog posts can be very useful.

Some time ago I've decided to copy some of my blog posts in the Topos Institute Blog to here, where it's easier for me to find what I am looking for.

On Monday 4th November 2024 Professor Marta Bunge's 1966 PhD thesis Categories of set valued functors was published in Reprints in Theory and Applications of Categories (TAC), No. 30 (2024) pp. 1-8 http://www.tac.mta.ca/tac/reprints/articles/30/tr30.pdf.

This Ada Lovelace Day (ALD) blog post is long overdue.