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
Théorème de Cantor - Bernstein
PierreCapPierreCap
8
221
PierreCapPierreCap
"Il est facile de 2" 12...2728
christophe cchristophe c
1.4K
834.1K
FoysFoys
Axiomatisation de R
EndomorphismeEndomorphisme
26
329
Médiat_SuprèmeMédiat_Suprème
Consistance et intuitionnisme
GGGG
6
122
christophe cchristophe c
Théorème du libre arbitre (pour Georges A)
christophe cchristophe c
2
136
christophe cchristophe c
Qu'est-ce que l'analyse non-standard ?
AlainLyonAlainLyon
33
1.1K
Jean--LouisJean--Louis
Un théorème de Zermelo
MartialMartial
19
250
Georges AbitbolGeorges Abitbol
Écriture correcte ?
EndomorphismeEndomorphisme
8
146
GaBuZoMeuGaBuZoMeu
Question naïve : pair ou impair ?
umrkumrk
20
263
DomDom
Récurrence forte sans initialisation ? 12
FBFB
63
822
MartialMartial
Paradoxe de Banach Tarski again
Jean--LouisJean--Louis
10
190
BoécienBoécien
Syntaxe et arité des fonctions récursives primitives
sasaki93sasaki93
0
39
sasaki93sasaki93
I0 (encore lui)
MartialMartial
9
363
MartialMartial
Argument diagonal de Cantor
François14François14
4
109
FrançoisD0FrançoisD0
Implication en logique classique
marcomarco
5
175
marcomarco
Relations d'équivalence
alin151616alin151616
3
100
Thierry PomaThierry Poma
Test
MartialMartial
46
356
marsupmarsup
Encadrement et irrationnalité d'un nombre
fatiboudfatiboud
16
1.1K
JoaopaJoaopa
Table de vérité 123
RIKIRIKI
115
4.2K
DomDom
Prouver que 2 + 2 = 5
marc 1marc 1
17
878
DomDom
Cardinaux m-géants et ultrafiltres (Dehornoy)
FrançoisDFrançoisD
10
268
MartialMartial
Mise à jour chap 25
MartialMartial
8
714
MartialMartial
Logique linéaire
serge burckelserge burckel
20
860
marcomarco
Déplacé: Théorie catégories, propriétés universelles
Fermé
Thierry PomaThierry Poma
0
1
Thierry PomaThierry Poma
Modus ponens et implication
geogeo
1
248
geogeo
Logique et relativité 123
christophe cchristophe c
143
37.7K
raoul.Sraoul.S
Déplacé: Colimites préservées par les isom. naturels
Fermé
Thierry PomaThierry Poma
0
1
Thierry PomaThierry Poma
Déplacé: Modèles et catégories de modèles
Fermé
Thierry PomaThierry Poma
0
1
Thierry PomaThierry Poma
Exercice de logique
simohamedsimohamed
0
89
simohamedsimohamed
Formalisme de la théorie des types
Chat-mathsChat-maths
6
604
AleshaAlesha
Cardinaux high-jump
MartialMartial
8
644
MartialMartial
Pour que P il faut que Q
NivlemNivlem
5
579
PetitLutinMalicieuxPetitLutinMalicieux
Produit vide 12
Homo TopiHomo Topi
90
5.2K
GaBuZoMeuGaBuZoMeu
Faut-il presser le bouton qui détruit tout ?
Fermé
grothenbietegrothenbiete
0
73
grothenbietegrothenbiete
Vers l’infini et au-delà 12...67
SnegSneg
345
22.9K
gerard0gerard0
Démonstration triviale
Pavel GorofskyPavel Gorofsky
20
1.6K
MartialMartial
Idéaux $\omega_2$ saturés
MartialMartial
3
343
MartialMartial
Théorie des catégories pour ingénieurs ?
WazziWazzi
18
1.4K
physiciusphysicius
Déplacé: Vidéos de cours sur les catégories
Fermé
Thierry PomaThierry Poma
0
1
Thierry PomaThierry Poma
Conséquences de AD
MartialMartial
15
1.2K
MartialMartial
Success message!