Online research in philosophy

We review and contrast three ways to make up a formal Euclidean geometry which one might call constructive, in a computational sense. The starting point is the first-order geometry created by Tarski.

Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...