CHURCH THÈSE DE

Ce sujet est traité dans les articles suivants :

1.  CHURCH ALONZO (1903-1995)

Écrit par : Françoise ARMENGAUD

… *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 »,… Lire la suite

2.  RÉCURSIVITÉ, logique mathématique

Écrit par : Kenneth Mc ALOON, Bernard JAULIN, Jean-Pierre RESSAYRE

… Une telle inclusion est généralement admise en vertu d'un énoncé périmathématique appelé « thèse de *Church » suivant lequel toute semi-fonction mécaniquement calculable appartient à *FR. Cette « thèse », où la notion de semi-fonction mécaniquement calculable est prise en un sens intuitif, est justifiée par l'expérience : chaque fois que… Lire la suite