Que cherchaient à établir les mathématiciens à la fin du XIXe siècle ?
Des bases solides aux mathématiques en étudiant leurs fondements logiques.
Histoire logique 19ème
Boole, De Morgan, fondements logiques mathématiques.
Que démontra Gödel en 1930 concernant les théories mathématiques ?
Qu'une théorie riche ne peut être complète et cohérente à la fois.
Propriété cohérence
Impossible de démontrer une proposition et son contraire.
Qu'est-ce qu'une définition en mathématiques ?
Nommer un objet ou un type d’objets.
Propriété complétude
Toute proposition ou son négatif est démontrable.
Quand deux propositions sont-elles équivalentes ?
Lorsqu'elles ont les mêmes valeurs logiques.
Propriété décidabilité
Existence d'une procédure de test pour tous énoncés.
Définition proposition
Énoncé vrai ou faux, identifié comme tel.
Équivalence logique
Propositions ayant mêmes valeurs de vérité.
Axiomes de Peano
Définissent entiers, addition, multiplication, principe de récurrence.
Teste tes connaissances avec un QCM de 11 questions sur Rudiments de logique et démonstration.
1. Quel objectif majeur a motivé de nombreux mathématiciens à la fin du XIXe siècle ?
2. Que signifie la cohérence dans une théorie mathématique ?
Révisez le cours complet dans la fiche de révision de Rudiments de logique et démonstration.
Voir la fiche →Importe ton cours et l'IA génère des flashcards en 30 secondes.
Générateur de flashcards