Header Image

Logic

Tarski's automorphsisms

November 14, 2024
I first came across Albert Lautman (nLab) after reading Fernando Zalamea’s remarks on his importance to structural mathematics in Synthetic philosophy of contemporary mathematics. While reading …