- Enigmes de logique sur l'Île des Purs et des Pires
- Démontrer qu’on ne peut pas démontrer
- Le langage de base
- GODEL et l’indénombrable
- Théorie des ensembles: approche
- cardinal d'un sous-ensemble de N
- Les cardinaux négatifs
- Predicat unaire
- Aide pour trouver une formule ou logique
- P=NP sondage
- Est-ce que mon raisonnement est valide ???
- La division par zero est possible ! (explication)
- Lois de De Morgan
- Plongement entre deux ensembles
- J'ai trouvé une autre façon pour la division par zéro
- Est-ce qu'une proposition peut donner des conditions sur ce qui l'implique ?
- Inverse de rien
- La logique de la logique
- Logique extensionnelle
- Logique des prédicats
- Modèle logique des prédicats
- p=t
- Petite récréation.
- Nouvelle classification des entiers naturels
- Petite récréation 2
- Et et ou (ou, ou ou et)
- Sciences & Avenir : Infini
- La Logique est-elle ? :
- La logique appliquée au chat de Schroedinger
- sémantique générale et approche non-aristotelicienne
- Axiome des parties
- Quelle est la valeur logique de la notion mathématique d'"ensemble" ?
- Hiérarchie cumulative de von Neumann
- L'hotel infini est accueillant
- Et s'il y avait 2 fois plus d'entiers que d'entiers pairs ?
- La négation ¬p
- Paradoxe algorithmique, problème de l'arrêt
- L'assemblage de l'ensemble vide selon Bourbaki
- Logique
- Quel est le contraire de "Etre ou ne pas être" ?
- Equivalence
- Logique intuitioniste
- Nécessaire et Possible
- Les mathématiques peuvent-elles exister sans les nombres ?
- Exposition par zéro ou par le néant ?
- Les algorithmes permettent-ils de fabriquer automatiquement des théorèmes ?
- Arithmétique de Peano du premier ordre
- Un énoncé indécidable dans l'arithmétique de Peano mais démontrable dans une autre théorie ?
- Quelles sont les théories capables de démontrer les théorèmes de base de l'arithmétique ?
- Exercice Logique
- raisonnement: l' induction 'logique' ... et sa validité logique ?
- Peut on modéliser n'importe quoi par une fonction ?
- Multiplication implicite de la métamathématique
- Comment montrer qu'une assertion est fausse ou vraie
- à propos de P=NP
- Classes et prédicats unaires.
- Hilbert, Gödel, Turing, P=NP et calculabilité
- Résolution du paradoxe de l’interrogation surprise
- police logique
- Différence entre épistémique et doxastique
- Questions relatives à la définition des sciences formelles
- Np
- propositions prédicats ?
- Petite question de vocabulaire sur les predicats
- Intégrammes
- A quelles conditions deux énoncés sont-ils cohérents ?
- démonstration de logique classique (trivial ?)
- Théorie des champs ordonnés
- "Mais" est-il une conjonction dans le cas présent ?
- les "non-ensembles"
- Question comme ça...
- quel est le principe logique transgressé ?
- Quels sont les principes qui régissent les règles de formation ?
- Métathéorème, théorème d’ordre 1 ou d’ordre supérieur ?
- Inférence bayésienne du taux de probabilité d'abiogénese sur un corps à haut IST