CHURCH THÈSE DE

Articles

• CHURCH ALONZO (1903-1995)

  • Écrit par Françoise ARMENGAUD
  • 616 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 «...

• RÉCURSIVITÉ, logique mathématique

  • Écrit par Kenneth Mc ALOON , Bernard JAULIN et Jean-Pierre RESSAYRE
  • 8 916 mots
  ...arithmétiser » le calcul par un programme pour s'en persuader. 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 à *F_R. Cette « thèse », où la notion de semi-fonction mécaniquement...