Philosophe et logicien d'origine autrichienne, l e plus grand logicien depuis Aristote , selon Von Neumann. Professeur à Vienne, il quittera l'Autriche en 1938 pour les États-Unis et s'établira à Princeton. Gödel formula des théorèmes fondamentaux portant sur les relations et la consistance des théories mathématiques. Au sein d'une théorie, on qualifie d' indécidable contradictoire , ou non consistante algorithme en introduisant les notions de fonctions (ou relations) calculables calculable et d'ensembles Dans un contexte constructiviste axiomatisables et est de Hilbert formalisme de Cantor logicisme que furent Frege et Russell et de Ackermann Gerhard Gentzen Hilbert (comme Ackermann Si la théorie des ensembles est consistante, on peut lui ajouter l' et/ou l' axiome du choix elle restera non contradictoire Tarski Cohen Robinson Procédures récursives : Dans l'étude du langage mathématique formel, Gödel aborde l'usage de fonctions et relations . En mathématique et programmation élémentaires, les fonctions ou procédures En savoir un peu plus sur les procédures récursives : Turing Ackermann Church Pour en savoir plus : - , D.W. Baron, Ed. Dunod, Paris, 1970
| |
|