CHURCH THÈSE DE

CHURCH ALONZO (1903-1995)

  • Écrit par 
  • Françoise ARMENGAUD
  •  • 611 mots

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

  • Écrit par 
  • Kenneth Mc ALOON, 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE
  •  • 9 371 mots

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