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 | Révision précédente | ||
fr:research:archives [2021/04/06 14:05] apeiron |
fr:research:archives [2021/04/07 12:43] (Version actuelle) apeiron [Résolvante de Galois] |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
Cette page regroupe mes anciens projets de recherche, qu'ils soient terminés ou non. | Cette page regroupe mes anciens projets de recherche, qu'ils soient terminés ou non. | ||
+ | |||
+ | ====== 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 ====== | ||
+ | |||
+ | Ce travail sur la théorie de Galois m'a intéressé pour comprendre pourquoi les équations polynomiales de degré quelconque ne sont pas toujours résolubles, et m'a donné les base pour comprendre certains concepts comme [[https://arxiv.org/pdf/1011.0014.pdf|la théorie de Galois des algorithmes]]. | ||
===== Versions ===== | ===== Versions ===== |