CHURCH ALONZO (1903-1995)

Carte mentale

Élargissez votre recherche dans Universalis

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 proposition. Critique minutieux et exigeant, il apporte une formulation rigoureuse des conditions auxquelles doit satisfaire un critère d'assomption ontologique ; à Quine revient d'avoir ensuite fourni ce critère. Mais Church est surtout connu pour ses travaux sur la décidabilité dans les systèmes formels.

Le symbolisme arithmétique nous permet de formuler des propositions dont on ne peut déterminer la valeur de vérité par aucune technique connue de calcul ou de raisonnement. Ainsi la conjecture de Goldbach, certaines propositions élémentaires de l'arithmétique n'ont jusqu'ici reçu aucune preuve. Pourrait-on imaginer une technique générale pour déterminer la vérité ou la probabilité de ce genre de propositions ? Church démontre par la méthode de diagonalisation qu'il n'en est rien. Non seulement une technique générale est introuvable, mais la supposition de son existence entraînerait une absurdité. En cela, l'arithmétique diffère du calcul propositionnel, décidable par tables de vérité, mais non du calcul des prédicats dans son ensemble. C'est tout le projet qu'avait formé Hilbert d'introduire des démonstrations effectives en mathématiques qui devient irréalisable. Tel est en substance le « théorème de Church » (1936), qu'on ne doit pas confondre avec la « thèse de Church », encore que les deux soient liés.

Pour démontrer son théorème, en effet, l'auteur devait apporter la contrepartie formelle, autant que faire se peut, de la notion intuitive de calculabilité effective. La thèse de Church est constituée par l'affirmation qu'il existe [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 2 pages


Écrit par :

  • : agrégée de l'Université, docteur en philosophie, maître de conférences à l'université de Rennes

Classification


Autres références

«  CHURCH ALONZO (1903-1995)  » est également traité dans :

INTELLIGENCE ARTIFICIELLE (IA)

  • Écrit par 
  • Jean-Gabriel GANASCIA
  •  • 5 073 mots
  •  • 5 médias

Dans le chapitre « Les précurseurs  »  : […] Cette discipline scientifique qu’est l’intelligence artificielle ne surgit pas de nulle part. Elle a emboîté le pas à la cybernétique, science des systèmes complexes et de leur commande, fondée dans les années 1940 et particulièrement active au début des années 1950. Celle-ci aspirait à modéliser la régulation des systèmes biologiques, psychiques, politiques ou sociaux avec des flux d’information […] Lire la suite☛ http://www.universalis.fr/encyclopedie/intelligence-artificielle-ia/#i_80189

KLEENE STEPHEN COLE (1909-1994)

  • Écrit par 
  • Pierre GOUJON
  •  • 370 mots

Mathématicien américain né à Hartford (Connecticut). Diplômé de l'Amherst College, Stephen C. Kleene entre, en 1930, à l'université de Princeton. Il est docteur de la même université en 1934. Dès cette époque, il partage son temps entre l'enseignement (université du Wisconsin) et la recherche. Il est successivement membre du Conseil national de la recherche scientifique (1957), puis président de l […] Lire la suite☛ http://www.universalis.fr/encyclopedie/stephen-cole-kleene/#i_80189

TURING ALAN MATHISON (1912-1954)

  • Écrit par 
  • B. Jack COPELAND
  •  • 1 552 mots
  •  • 1 média

Dans le chapitre « Jeunesse et études universitaires  »  : […] Alan Mathison Turing naît le 23 juin 1912 à Londres. Fils d'un fonctionnaire britannique de l'administration indienne, Turing commence à étudier les mathématiques au King's College de l'université de Cambridge en 1931. Après avoir obtenu son diplôme en 1934, il obtient une bourse d'enseignant chercheur au King's College en reconnaissance de ses travaux sur la théorie des probabilités. En 1936, l […] Lire la suite☛ http://www.universalis.fr/encyclopedie/alan-mathison-turing/#i_80189

Pour citer l’article

Françoise ARMENGAUD, « CHURCH ALONZO - (1903-1995) », Encyclopædia Universalis [en ligne], consulté le 16 novembre 2019. URL : http://www.universalis.fr/encyclopedie/alonzo-church/