Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
fr:research:archives [2021/04/06 14:15] apeiron [Théorèmes d'incomplétude de Gödel] |
fr:research:archives [2021/04/07 12:38] apeiron [Théorèmes de Gödel] |
||
---|---|---|---|
Ligne 2: | Ligne 2: | ||
====== Théorèmes de Gödel ====== | ====== Théorèmes de Gödel ====== | ||
+ | |||
+ | Comme j'étais alors en [[https://fr.wikipedia.org/wiki/Crise_des_fondements|quête des fondements]] de la connaissance mon projet de licence porta sur la logique mathématiques, et particulièrement les théorèmes de Gödel : [[https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_compl%C3%A9tude_de_G%C3%B6del|théorème de complétude]] et les deux [[https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8mes_d%27incompl%C3%A9tude_de_G%C3%B6del|théorèmes d'incomplétude]]. | ||
+ | |||
+ | Le travail était fait en collaboration avec le professeur Martin Andler de l'Université Versailles Saint-Quentin en Yvelines et basée sur les deux tomes de l'ouvrage << Logique mathématique >> de René Cori et Daniel Lascar : | ||
+ | - Calcul propositionnel, algèbres de Boole, calcul des prédicats | ||
+ | - Fonctions récursives, théorème de Gödel, théorie des ensembles | ||
+ | Et j'ai eu la satisfaction de présenter mon exposé à René Cori, maître de conférences à l'Université Paris Diderot, qui m'a suggéré ensuite de faire le master LMFI : Logique Mathématique et Fondements de l'Informatique. | ||
+ | |||
+ | Ce travail m'a introduit à la calculabilité, aux structures du premier ordre utilisées dans les ASMs de Gurevich et donc dans mes travaux sur les modèles de calcul [[fr:research:models-computation#algorithmes_sequentiels|séquentiels]] et [[fr:research:models-computation#algorithmes_paralleles|parallèles]], ainsi qu'aux systèmes de preuve qui m'ont servi pour mes travaux sur lse [[fr:research:models-computation#automates_cellulaires|preuves de correction]]. | ||
====== Résolvante de Galois ====== | ====== Résolvante de Galois ====== |