CHURCH THÈSE DE
CHURCH ALONZO (1903-1995)
Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né le 14 juin 1903 à Washington et mort le 11 août 1995 à Hudson (Ohio). Professeur de mathématiques à l'université de Princeton, directeur du Journal of Symbolic Logic , il est selon Kneale « le plus fidèle des disciples de Frege ». Réputé « platonisant », il défend une conception délibérément réaliste de la propo […] Lire la suite
RÉCURSIVITÉ, logique mathématique
Dans le chapitre « Définition arithmétique » : […] Définition. L'ensemble *F R des semi-fonctions récursives est le plus petit ensemble de semi-fonctions contenant la fonction successeur, suc : N → N , définie, pour tout x , par suc x = x + 1, les fonctions projections, pr i p : N p → N , définies par pr i p ( x 1 , ..., x p ) = x i , les fonctions nulles, Z p : N p → N , définies par Z p ( x 1 , ..., x p ) = 0, et qui est stable pou […] Lire la suite