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
Démonstration théorème de complétude
RaskolnikovRaskolnikov
5
1.2K
RaskolnikovRaskolnikov
Récurrence très forte 12
acetonikacetonik
60
24.8K
gerard0gerard0
Conjecture de Frankl version infini
lesmathspointclaireslesmathspointclaires
6
1.3K
lesmathspointclaireslesmathspointclaires
Théorie descriptive
MartialMartial
28
4.2K
gebranegebrane
Classes propres
petit-opetit-o
14
2.2K
MartialMartial
Hydre de Kirby
rebellinrebellin
14
2.4K
christophe cchristophe c
Polonais, ouverts, parfaits
MartialMartial
6
1.3K
MartialMartial
Questions vitales
Fermé
christophe cchristophe c
43
6.4K
lesmathspointclaireslesmathspointclaires
Comment traduit-on "vacuously true" ? 12
MilamberMilamber
73
11K
GaBuZoMeuGaBuZoMeu
En // des 5 questions pour Oshine
gebranegebrane
31
4.7K
christophe cchristophe c
"Wholeness axiom" de Corazza
MartialMartial
22
3.3K
Thierry PomaThierry Poma
Petit problème de pile ou face
PourquoiJeSuisNulEnMathsPourquoiJeSuisNulEnMaths
0
277
PourquoiJeSuisNulEnMathsPourquoiJeSuisNulEnMaths
Détermination borélienne (pour les nuls)
lesmathspointclaireslesmathspointclaires
13
2.3K
christophe cchristophe c
Zermelo coton ?
evev
45
7.6K
christophe cchristophe c
Bijectivité
Pablo_de_retourPablo_de_retour
3
967
Pablo_de_retourPablo_de_retour
Paradis cantorien 12
MartialMartial
67
10.6K
FoysFoys
Nombre fini de classes d'équivalence
Julia PauleJulia Paule
13
2K
Julia PauleJulia Paule
Détermination borélienne épisode n+1
MartialMartial
1
646
MartialMartial
???
Fermé
Julia PauleJulia Paule
14
2.6K
Thierry PomaThierry Poma
Raisonnement par l'absurde
RambertRambert
5
1.4K
christophe cchristophe c
Définition d'une application inversible
barbubabytomanbarbubabytoman
1
720
Georges AbitbolGeorges Abitbol
Récurrence transfinie : aménagement licite ?
ludo'ludo'
18
3.2K
MaxtimaxMaxtimax
Notation et existence implicite
clloudclloud
24
3.9K
christophe cchristophe c
Adjonction dans les catégories supérieures
ignatusignatus
3
979
ignatusignatus
Degrés ludiques ?
lesmathspointclaireslesmathspointclaires
7
1.6K
christophe cchristophe c
Intersections d'unions
Code_NameCode_Name
1
657
Code_NameCode_Name
Description géom. des classes d'équivalence
philjourneyphiljourney
5
1.1K
philjourneyphiljourney
Logique du second ordre
MartialMartial
1
708
christophe cchristophe c
Théorie descriptive
MartialMartial
4
1.3K
MartialMartial
Catégorie et foncteur
geogeo
15
3K
FrançoisDFrançoisD
Être la donnée de
topopottopopot
7
1.8K
topopottopopot
Ordre et dénombrabilité
jeffreyzijeffreyzi
4
1.2K
jeffreyzijeffreyzi
Qu'est-ce qu'un objet groupe ? 12
ignatusignatus
73
11.5K
MartialMartial
Chamailleries politiques
Fermé
christophe cchristophe c
5
1.5K
ADAD
Règles et axiomes des maths
christophe cchristophe c
12
2.8K
christophe cchristophe c
Un théorème de Maxtimax que j'isole
christophe cchristophe c
32
5.7K
christophe cchristophe c
Composition d'applications
Julia PauleJulia Paule
2
968
christophe cchristophe c
Détermination projective
B.O.LB.O.L
6
1.7K
MartialMartial
Comprendre la logique des mathématiques 12...1112
OShineOShine
590
149.8K
AlexiqueAlexique
Preuve bizarroïde à améliorer
christophe cchristophe c
20
4K
christophe cchristophe c
Success message!