about

My interests range from proof theory and type theory to epistemology and cognition in mathematical practice. I also have an abiding interest in religious and continental philosophy.

You can see more of my work at [tomsachen.github.io].

the prefix to each post title is a datestamp in the format '9999-YYYY.99-MM.99-DD'