- 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
- Equivalence
- Quel est le contraire de "Etre ou ne pas être" ?
- Logique
- L'assemblage de l'ensemble vide selon Bourbaki
- Paradoxe algorithmique, problème de l'arrêt
- La négation ¬p
- Et s'il y avait 2 fois plus d'entiers que d'entiers pairs ?
- L'hotel infini est accueillant
- Hiérarchie cumulative de von Neumann
- Quelle est la valeur logique de la notion mathématique d'"ensemble" ?
- Axiome des parties
- sémantique générale et approche non-aristotelicienne
- La logique appliquée au chat de Schroedinger
- La Logique est-elle ? :
- Sciences & Avenir : Infini
- Et et ou (ou, ou ou et)
- Petite récréation 2
- Nouvelle classification des entiers naturels
- Petite récréation.
- p=t
- Modèle logique des prédicats
- Logique des prédicats
- Logique extensionnelle
- La logique de la logique
- Inverse de rien
- Est-ce qu'une proposition peut donner des conditions sur ce qui l'implique ?
- J'ai trouvé une autre façon pour la division par zéro
- Plongement entre deux ensembles
- Lois de De Morgan
- La division par zero est possible ! (explication)
- Est-ce que mon raisonnement est valide ???
- P=NP sondage
- Aide pour trouver une formule ou logique
- Predicat unaire
- Les cardinaux négatifs
- cardinal d'un sous-ensemble de N
- Théorie des ensembles: approche
- GODEL et l’indénombrable
- Le langage de base
- Démontrer qu’on ne peut pas démontrer
- Enigmes de logique sur l'Île des Purs et des Pires