Logic ForAll
Forro' Logico: A blog to keep things.
Saturday, May 30, 2026
Synthetic Mathematics in the Amazon
›
Talking about Synthetic Mathematics in the middle of the Amazon rainforest felt slightly surreal. Parintins is famous for the Festival do Bo...
Wednesday, April 29, 2026
Problems, Problems Everywhere
›
Kolmogorov and Alexandrov on a trip. From CultureMath , 2022. Problems, Problems Everywhere There’s a particular kind of mathematical ...
Friday, April 24, 2026
Remembering Marta Bunge
›
The Bunge Family: Mario, Eric, Marta and Silvia Some mathematical projects are less about proving theorems and more about bringing people ...
Thursday, April 23, 2026
On Skolemization... again
›
... and Why It Fails Constructively There is a standard move in classical logic that feels so innocent. You take a formula with existent...
Wednesday, April 22, 2026
Skolem is not constructive
›
(but sometimes it can be) On what goes wrong when you try to eliminate quantifiers intuitionistically proof theory constructive logic Skolem...
Monday, April 20, 2026
Ariadne Posts: On Not Yet Knowing the Way Out
›
My previous series of blog posts—what I’ve been calling the Penelope posts —has been about revisiting past work. These are papers written wi...
Tuesday, April 7, 2026
A Recipe for Models, Told Twice
›
Dr Andrea Schalk , School of Computer Science at The University of Manchester One of the pleasures of long mathematical collaborations ...
1 comment:
‹
›
Home
View web version
