Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

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:14]
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 ​d'​incomplétude ​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 ======
 +
 +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 =====