Introduction à la logique
Alfred Tarski
Versailles, Pontoise, Lyon 2ᵉ, Lyon 6ᵉ...
Ce que dit l'éditeurI - Éléments de logique. Méthode déductive. L'usage des variables. Le calcul des propositions. La théorie de l'identité. La théorie des classes. La théorie des relations. La méthode déductive. II - Applications de la logique et de la méthodologie à la construction des théories mathématiques. Construction d'une théorie mathématique : lois d'ordre pour les nombres. Construction d'une théorie mathématique : lois de l'addition et de la soustraction. Considérations méthodologiques sur la théorie que nous venons de construire. Extension de la théorie construite : fondements de l'arithmétique des nombres réels. Lectures conseillées. Développement systématique de la logique. Théorie générale des ensembles. Fondements de l'arithmétique en logique et en théorie des ensembles. Méthodologie des sciences déductives. Fondements axiomatiques de théories mathématiques particulières. Histoire de la logique. Philosophie de la logique et des mathématiques. |
RésuméL'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques. ©Electre 2024 |
Caractéristiques EAN
9782876472952
Nombre de pages
246
pages
Reliure
Broché
Dimensions
24.0
cm x
17.0
cm x
1.5
cm
Poids
540
g
|
