Activity: Talk or presentation › Poster/paper presentation › Academic
Description
I gave a formal reconstruction of the standpoint in philosophy of mathematics called strict finitism. This is a constructivist and finitist standpoint, but I reconstructed in the framework of classical mathematics as a first approximation. I was able to give a sound and complete pair of a semantics and a proof theory that formalise reasoning based on this standpoint.