Introduction à différentes logiques et à la mathématique intuitionniste

  • Mathieu Duckerts-Antoine

    Thèse de l'étudiant: Master typesMaster en sciences mathématiques

    Résumé

    Nous nous proposons dans ce mémoire d'étudier diverses logiques et de donner quelques éléments de théorie de la démonstration et de théorie des modèles. Les logiques analysées sont la logique classique, les logiques modales et temporelles, et la logique intuitionniste. Nous développons pour chacune d'elle les langages formels qui les expriment et leurs sémantiques associées. Quelques comparaisons seront effectuées entre ces logiques afin de mettre en évidence le sens de quelques grandes notions de la logique. Un aperçu sera également donné des différences que peut engendrer la logique intuitionniste dans les mathématiques. Ainsi, quelques grands principes et théorèmes de la mathématique intuitionniste seront présentés, après avoir analysé les rapports étroits entre logique classique et logique intuitionniste.
    la date de réponse2006
    langue originaleFrançais
    SuperviseurMARCEL REMON (Promoteur), DOMINIQUE LAMBERT (Jury) & Timoteo Carletti (Jury)

    Contient cette citation

    '