Logic Matters logicmatters.net

ICT paperback is out!

logicmatters.net·14h

Felicity Lott, 1947

logicmatters.net·20h

Proof-reading, with a bit of help from LLMs

logicmatters.net·1d

A new version of ICT

logicmatters.net·4d

On the mathematical abilities of LLMs

logicmatters.net·1w

Another categorical update

logicmatters.net·1w

Categorical update

logicmatters.net·2w

Categorically diverted

logicmatters.net·4w

No toast

logicmatters.net·5w

Partial functions and Church’s Thesis

logicmatters.net·6w

Great expectations

logicmatters.net·6w

Since it is the Feast of the Annunciation …

logicmatters.net·7w

Hoffmann, Limits of Mathematics

logicmatters.net·9w

Ex America bona quaedam

logicmatters.net·10w

Gödel, slowly …

logicmatters.net·11w

A Wittgenstein problem …

logicmatters.net·12w

Gödel, Lean, Fra Angelico, Schubert

logicmatters.net·16w

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·17w

ICT, the third edition

logicmatters.net·17w

New Issue: Journal for the Philosophy of Mathematics

logicmatters.net·19w

Log in to enable infinite scrolling