long and short
about
long
short
blog
topics
archive
Logic
19 Jul 2026
[paper]
Gödel on syntactical conventionalism