- Un peu de logique booléenne...
- La logique
- Syracuse formule impaire/impaire
- Problème d'induction structurelle
- Relation R d'équivalence
- vrai et démontrable
- famille libre / liée, de vecteurs et consistance / inconsistance d'une théorie.
- Logique basique LPO, Méthode de résolution de Robinson (avec principe de réfutation)
- Théorie des modèles et nombres complexes.
- Table de vérité
- Dénomination .
- Déduction naturelle vs Calcul des séquents
- Ensemble N......
- un axiome forcé
- l'ensemble des cardinaux des ensembles infinis
- Un ensemble que je ne comprend pas
- tiers exclu
- Multivers ensembliste
- Infinis et dénombrement
- Négation d'une proposition
- Définition des nombres réels par 3 constantes
- Définition de la logique et de la logique formelle
- Conseil étude de la logique
- Les théories du négligeable.
- Conseils pour débutants/ témoignages.
- Problème Logique de Comptage.
- Sur quoi se base la logique exactement
- 1+1=3 , je comprends pas.
- L’ensemble vide et vide quantique
- l'intersection de tous les ensembles
- La paradoxe du Barbier
- Le théorème de Cantor
- Achille et la tortue
- Zero
- Sous-ensembles .
- Une logique inconnue ?
- Banach et Tarski : est ce que les sphères filles sont identiques à la sphère mère ?