Fondements et Logique — Les-mathematiques.net

Fondements et Logique

Ce forum n'a pas de description.

Liste de discussions

Discussion
Créé par
Réponses
Lectures
Dernière réponse
L'axiome I3
MartialMartial
12
2.8K
MartialMartial
Question d'un ignare
umrkumrk
38
8.4K
MartialMartial
Test de logique
FloraFlora
42
9.3K
Lucas-Lucas-
Longueur d'une formule
RaskolnikovRaskolnikov
2
889
PoirotPoirot
Inconsistance
MartialMartial
0
609
MartialMartial
Le forcing a des applications pratiques !
umrkumrk
2
1K
christophe cchristophe c
Le livre de Yuri Manin
ignatusignatus
0
459
ignatusignatus
I3 vs hugeness
MartialMartial
18
3.8K
MartialMartial
Un peu de hugeness
MartialMartial
0
439
MartialMartial
Résultat déjà connu ?
superpowersuperpower
0
732
MartialMartial
Famille orthogonale de vecteurs
mehdimehdi
5
1.5K
Georges AbitbolGeorges Abitbol
AD(N) et Ramsey 12
axexeaxexe
74
23.4K
axexeaxexe
Conférence de Woodin
PoirotPoirot
7
2.1K
axexeaxexe
Cardinaux Vopenka
MartialMartial
0
460
MartialMartial
Cardinaux extensibles
MartialMartial
15
3.4K
RescassolRescassol
Table de vérité de l'implication
Cantor-BernsteinCantor-Bernstein
15
4.1K
christophe cchristophe c
Un problème de traduction
MartialMartial
3
1.2K
MartialMartial
Affirmation fausse ou non évaluable
mlg1978mlg1978
7
1.9K
FoysFoys
Indécidabilité et négligeabilité
Pablo_de_retourPablo_de_retour
9
2.6K
christophe cchristophe c
Supercompact vs HGC
MartialMartial
31
6.8K
MartialMartial
Négation et valeur de vérité
EducEduc
4
1.4K
GGGG
Une énigme
téhotého
21
4.5K
DomDom
Infinité de nombres premiers dans Peano 12
CalliCalli
96
30.2K
MartialMartial
Aide pour le jeu "logigramme"
SinusSlideSinusSlide
4
1.5K
PetitLutinMalicieuxPetitLutinMalicieux
Reinhardt
MartialMartial
3
1.3K
MartialMartial
Un exemple de couple d'ensembles
topopottopopot
1
862
topopottopopot
Équivalence ?
babsgueyebabsgueye
17
4K
babsgueyebabsgueye
Hypothèse du continu ?
umrkumrk
33
7.4K
axexeaxexe
Univers et grands cardinaux
petit-opetit-o
19
4.1K
Thierry PomaThierry Poma
Une histoire sur l'$\infty$
Cantor-BernsteinCantor-Bernstein
22
5.2K
LudwigLudwig
Propriété, proposition, théorème et assertion
topopottopopot
2
1K
topopottopopot
Définition d'un couple
marcomarco
21
4.8K
marcomarco
Mesurable vs fortement compact
MartialMartial
1
765
MartialMartial
Le livre "Set Theory" de Thomas Jech
Thierry PomaThierry Poma
19
4.4K
christophe cchristophe c
Forme linéaire
zephirzephir
3
1.3K
christophe cchristophe c
Shelah vs Woodin
MartialMartial
25
4.6K
MartialMartial
Caractérisation des ordinaux limites
RaskolnikovRaskolnikov
9
2.3K
Thierry PomaThierry Poma
Cardinaux forts
MartialMartial
0
446
MartialMartial
Exercice livre de P. Dehornoy
RaskolnikovRaskolnikov
4
1.5K
RaskolnikovRaskolnikov
Cardinaux mesurables
MartialMartial
5
1.6K
MartialMartial
Success message!