Comment comprendre la logique mathématique. La logique mathématique est une branche des mathématiques dérivée de la logique symbolique et comprend les sous-domaines de la théorie des modèles, de la théorie des preuves, de la théorie de la récursivité et de la théorie des ensembles. Elle est étroitement liée à la logique formelle de la philosophie originaire d'Aristote, mais la logique mathématique est une méthode plus complète de vérification des arguments. La logique mathématique utilise des systèmes de preuve formels qui sont utilisés pour prouver certains théorèmes. Voici comment comprendre la logique mathématique.

Étudiez la logique sententielle comme première rencontre avec la logique mathématique. Cela inclut les tables de vérité et l'utilisation de «et», «ou» et «non» dans la logique symbolique. Ce niveau d'étude devrait également inclure la logique du premier ordre, qui ajoute des quantificateurs tels que "pour tous" et "il existe" au langage.


Continuez avec la théorie de la preuve, qui est l'étude de la manipulation symbolique. Cela nécessitera un langage formel composé d'un ensemble de symboles et d'une syntaxe. Ces éléments comprennent des formules qui sont utilisées pour construire des axiomes pour les théories de ce langage.


Passer à la théorie des modèles de premier ordre, qui décrit les structures qui satisferont un ensemble d'axiomes. Des formules logiques sont utilisées pour déterminer les ensembles qui peuvent être définis dans une structure donnée.


Commencez une étude de la théorie des ensembles. Cela devrait inclure de très grands ensembles infinis pour montrer qu'un "ensemble" est un concept ambigu.


Reprenons ensuite la théorie de la récursivité. Ce champ est l'étude de l'appartenance à un ensemble donné en déterminant ce qui peut être calculé sur cet ensemble en un nombre fini d'étapes. La théorie de la récursivité implique des concepts tels que la structure des degrés, des idées sur la réductibilité et la calculabilité relative.