Fondements et Logique

Ce forum n'a pas de description.

Liste de discussions

Discussion
Créé par
Réponses
Lectures
Dernière réponse
Logique + catégories / topos : éclaircissements "vus de loin" pour un non spécialiste
f_gf_g
20
513
f_gf_g
Rédaction de l'hérédité dans une preuve par récurrence
Etienne91Etienne91
7
243
Etienne91Etienne91
Un nombre c'est quoi ? 123
Jean--LouisJean--Louis
116
2.5K
SatoSato
Modèles de PA
damien09damien09
16
231
Médiat_SuprèmeMédiat_Suprème
Induction
damien09damien09
19
400
CyranoCyrano
Une question de verres
SnegSneg
3
185
SnegSneg
Comment le formalisme mathématique échappe-t-il au paradoxe du menteur ?
Homo TopiHomo Topi
31
584
Homo TopiHomo Topi
Cette écriture a-t-elle un sens ?
amafhhamafhh
26
391
amafhhamafhh
Clôture transitive
CongruCongru
13
165
Georges AbitbolGeorges Abitbol
Ultrapuissance et complétude
MartialMartial
24
275
MartialMartial
La place de l'absurde
CongruCongru
3
177
CongruCongru
Sommes et produits vides (alerte marronnier) 123
Homo TopiHomo Topi
110
1.6K
CongruCongru
Peano et récurrence forte
CyranoCyrano
3
77
CyranoCyrano
Contraposée
Lolo36Lolo36
10
144
DomDom
Achille et la tortue
Jean--LouisJean--Louis
16
249
troisquatroisqua
Application $f$
AmadouAmadou
13
163
AmadouAmadou
Lorsque en "logique"
Mar0wwaMar0wwa
7
178
GaBuZoMeuGaBuZoMeu
Ensemble d’involutions
artjozpartjozp
13
279
MartialMartial
Anneau factoriel et axiome du choix
marcomarco
8
236
marcomarco
Paradoxe de l'infini
Jean--LouisJean--Louis
29
468
Médiat_SuprèmeMédiat_Suprème
Caractériser la droite réelle
William_WWilliam_W
4
113
William_WWilliam_W
My book 12...45
MartialMartial
207
4.5K
MartialMartial
Nombre et opérateur 12
Mister DaMister Da
59
6.4K
igrec27igrec27
Mojito bien mérité pour les modérateurs
Fermé
samoksamok
20
493
ADAD
Extraction diagonale
ChalkChalk
6
153
ChalkChalk
Z n'est pas finiment axiomatisable
MartialMartial
7
211
MartialMartial
Ces suites existent-elles ?
[Utilisateur supprimé][Utilisateur supprimé]
12
225
[Utilisateur supprimé][Utilisateur supprimé]
Théorème de Felix Bernstein
Thierry PomaThierry Poma
3
146
FoysFoys
Interrogation surprise
samoksamok
20
488
samoksamok
L'axiome de l'infini ne se déduit pas des autres axiomes de ZF
CyranoCyrano
4
172
Georges AbitbolGeorges Abitbol
Paradoxe de Berry
damien09damien09
4
162
damien09damien09
Théories contradictoires... 12
GabenzzGabenzz
56
1.1K
GabenzzGabenzz
Cori/Lascar - erratum
Thierry PomaThierry Poma
6
128
Thierry PomaThierry Poma
Définition de fonction par induction
BarjovrilleBarjovrille
2
97
BarjovrilleBarjovrille
Raisonnement par récurrence
Piteux_gorePiteux_gore
4
94
Médiat_SuprèmeMédiat_Suprème
Exemple d'incontournabilité du raisonnement par récurrence ?
jkentjkent
25
378
FoysFoys
Raisonnement par analyse-synthèse et double inclusion
Balta62Balta62
2
137
SandwichFromageSandwichFromage
Définitions des réels à partir des rationnels
Karl_MarxKarl_Marx
49
780
GaBuZoMeuGaBuZoMeu
Comparaison entre ensembles quotients
amafhhamafhh
4
86
Thierry PomaThierry Poma
ZFC prouve la consistance de Peano
CyranoCyrano
28
611
CyranoCyrano

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

Connexion S'inscrire

Catégories

Tags populaires

Qui est en ligne 40

DomRescassolbiguine_equationigrec27manu +35 Invités