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
Cardinaux mondains again
MartialMartial
7
2K
MartialMartial
Réunion Intersection quelconque d'une famille
SnobiSnobi
2
967
SnobiSnobi
Forme normale disjonctive simplifiée
RaskolnikovRaskolnikov
15
2.9K
PetitLutinMalicieuxPetitLutinMalicieux
Lacunes mathématiques face à TQ
christophe cchristophe c
3
1.3K
christophe cchristophe c
Famille = ensemble ? 12
Fermé
Julia PauleJulia Paule
76
11.9K
christophe cchristophe c
L'univers est "indécidable"
grothenbietegrothenbiete
26
5.6K
christophe cchristophe c
Exo pour distraire Martial
christophe cchristophe c
1
920
christophe cchristophe c
Axiome du choix et sections des surjections 12
barbubabytomanbarbubabytoman
73
12.3K
christophe cchristophe c
Nom pour la "croissance réciproque"
barbubabytomanbarbubabytoman
4
1.1K
christophe cchristophe c
Ensemble inductif
Julia PauleJulia Paule
30
5.2K
Julia PauleJulia Paule
Petite inclusion ensembliste
Code_NameCode_Name
0
5
Code_NameCode_Name
Théorème de lecture unique
RaskolnikovRaskolnikov
2
892
RaskolnikovRaskolnikov
Lambda-calcul et point fixe
jingenbljingenbl
10
2.1K
christophe cchristophe c
Souvenir de prépa ....
umrkumrk
2
1.1K
MaxtimaxMaxtimax
Notation "pour tout réel dans un intervalle"
TurandotTurandot
6
1.5K
TurandotTurandot
Les rois et les sujets
kosh75kosh75
33
7.4K
gerard0gerard0
Démonstration formelle en logique
SylvainKSylvainK
28
24.6K
raoul.Sraoul.S
Énigme : "théorème"
téhotého
25
5.3K
MartialMartial
Arbre de positions
MartialMartial
12
2.5K
MartialMartial
Formules logiquement équivalentes
RaskolnikovRaskolnikov
3
1.1K
RaskolnikovRaskolnikov
I0
MartialMartial
19
3.5K
MartialMartial
Conclusion
SnegSneg
11
2.5K
christophe cchristophe c
Notation d'un ensemble
IchigoKurosaki14IchigoKurosaki14
8
2.1K
gerard0gerard0
Complexité de l'hypothèse du continu
MartialMartial
15
2.8K
christophe cchristophe c
Opération complète
serge burckelserge burckel
0
662
christophe cchristophe c
Les axiomes rank-into-rank
MartialMartial
2
1K
MartialMartial
Énigmes légères grands cardinaux
christophe cchristophe c
8
2K
christophe cchristophe c
I have a dream
Pablo_de_retourPablo_de_retour
12
3.3K
Pablo_de_retourPablo_de_retour
Un scoop que je partage
christophe cchristophe c
22
12.5K
christophe cchristophe c
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
608
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
Success message!