- Entre 1 et 2
- Conjecture la récursivité dans les nombres univers ou comment ces nombres reboot.
- Les théorèmes révolutionnaires de Godel.
- l'infini en logiques mathématiques
- Banach et Tarski : est ce que les sphères filles sont identiques à la sphère mère ?
- Une logique inconnue ?
- Sous-ensembles .
- Zero
- Achille et la tortue
- Le théorème de Cantor
- La paradoxe du Barbier
- l'intersection de tous les ensembles
- L’ensemble vide et vide quantique
- 1+1=3 , je comprends pas.
- Sur quoi se base la logique exactement
- Problème Logique de Comptage.
- Conseils pour débutants/ témoignages.
- Les théories du négligeable.
- Conseil étude de la logique
- Définition de la logique et de la logique formelle
- Définition des nombres réels par 3 constantes
- Négation d'une proposition
- Infinis et dénombrement
- Multivers ensembliste
- tiers exclu
- Un ensemble que je ne comprend pas
- l'ensemble des cardinaux des ensembles infinis
- un axiome forcé
- Ensemble N......
- Déduction naturelle vs Calcul des séquents
- Dénomination .
- Table de vérité
- Théorie des modèles et nombres complexes.
- Logique basique LPO, Méthode de résolution de Robinson (avec principe de réfutation)
- famille libre / liée, de vecteurs et consistance / inconsistance d'une théorie.
- vrai et démontrable
- Relation R d'équivalence
- Problème d'induction structurelle
- Syracuse formule impaire/impaire
- La logique
- Un peu de logique booléenne...
- Inférence bayésienne du taux de probabilité d'abiogénese sur un corps à haut IST
- Métathéorème, théorème d’ordre 1 ou d’ordre supérieur ?
- Quels sont les principes qui régissent les règles de formation ?
- quel est le principe logique transgressé ?
- Question comme ça...
- les "non-ensembles"
- "Mais" est-il une conjonction dans le cas présent ?
- Théorie des champs ordonnés
- démonstration de logique classique (trivial ?)
- A quelles conditions deux énoncés sont-ils cohérents ?
- Intégrammes
- Petite question de vocabulaire sur les predicats
- propositions prédicats ?
- Np
- Questions relatives à la définition des sciences formelles
- Différence entre épistémique et doxastique
- police logique
- Résolution du paradoxe de l’interrogation surprise
- Hilbert, Gödel, Turing, P=NP et calculabilité
- Classes et prédicats unaires.
- à propos de P=NP
- Comment montrer qu'une assertion est fausse ou vraie
- Multiplication implicite de la métamathématique
- Peut on modéliser n'importe quoi par une fonction ?
- raisonnement: l' induction 'logique' ... et sa validité logique ?
- Exercice Logique
- Quelles sont les théories capables de démontrer les théorèmes de base de l'arithmétique ?
- Un énoncé indécidable dans l'arithmétique de Peano mais démontrable dans une autre théorie ?
- Arithmétique de Peano du premier ordre
- Les algorithmes permettent-ils de fabriquer automatiquement des théorèmes ?
- Exposition par zéro ou par le néant ?
- Les mathématiques peuvent-elles exister sans les nombres ?
- Nécessaire et Possible
- Logique intuitioniste