Charles Explorer logo
🇬🇧

Logicism and the Recursion Theorem

Publication at Faculty of Arts |
2007

Abstract

The main objective of the paper is to portray Frege's logicism in the spirit of Lakatos' logic of mathematical discovery as a bold conjecture eventually rejected. The second aim consist in showing that this rejection was based on different and more serious reasons than we are usually told.