long and short
about
long
short
blog
topics
archive
Logic
19 Jul 2026
[essay]
Gödel on Syntactical Conventionalism