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
Deux hypothèses
SnegSneg
23
1.6K
PetitLutinMalicieuxPetitLutinMalicieux
Ensembles dans la théorie des ensembles
Julia PauleJulia Paule
20
1.4K
Julia PauleJulia Paule
Application qui transporte une loi
Julia PauleJulia Paule
13
916
Julia PauleJulia Paule
Récurrence généralisée
mehdimehdi
13
990
PalabraPalabra
Schéma de consistance axiomes théorie ens.
AlainLyonAlainLyon
10
915
RescassolRescassol
Résolution du paradoxe de l’interrogation(V2)
Desi14Desi14
9
911
Desi14Desi14
Différence de définition
EndomorphismeEndomorphisme
33
2.3K
MédiatMédiat
Produit vide d'espaces vectoriels
topopottopopot
8
665
Thierry PomaThierry Poma
Axiomes de la notion d'ensemble.
Fermé
Pablo_de_retourPablo_de_retour
0
15
Pablo_de_retourPablo_de_retour
Livre de J.F. Pabion
Jean-LouisJean-Louis
11
2.7K
Jean-LouisJean-Louis
Recherche d'un exemple intéressant
PiotrPiotr
5
610
PiotrPiotr
Sur les structures locales
Thierry PomaThierry Poma
0
2
Thierry PomaThierry Poma
Démonstrations qui ne se terminent pas.
Pablo_de_retourPablo_de_retour
0
83
Pablo_de_retourPablo_de_retour
Écriture d'un couple d'applications
Julia PauleJulia Paule
8
718
Julia PauleJulia Paule
Inconsistance de ZF, avis des spécialistes ?
Georges AbitbolGeorges Abitbol
20
2.2K
MartialMartial
Petite justification ensembliste
topopottopopot
27
1.9K
GGGG
Zéro-dièze
MartialMartial
5
620
MartialMartial
Variables d'après la logique combinatoire
FoysFoys
17
1.5K
FoysFoys
Des cours à distance...
Thierry PomaThierry Poma
6
775
MartialMartial
Abréviation w.r.t.
MartialMartial
2
405
MartialMartial
Question sur les catégories
topopottopopot
49
4.1K
Julia PauleJulia Paule
Majorant d'une limite inductive
mehdimehdi
5
559
mehdimehdi
Hiérarchie des ordinaux ?
Homo TopiHomo Topi
41
2.7K
PoirotPoirot
Théories des ensembles
Jean-LouisJean-Louis
16
1.3K
MilamberMilamber
Vidéo et présentation de "Toposes online"
umrkumrk
1
512
DreamerDreamer
Définition d'une application/fonction
IgnotusIgnotus
3
455
Thierry PomaThierry Poma
Théorème d'Ehrenfeucht-Mostowski
MartialMartial
8
687
MartialMartial
Mot "type" dans la théorie des ensembles
Julia PauleJulia Paule
42
2.9K
Julia PauleJulia Paule
Qu'est-ce qu'une démonstration ?
FoysFoys
1
469
DreamerDreamer
Langage ensembliste de base avec définitions.
FoysFoys
23
3K
Thierry PomaThierry Poma
Vision platonicienne des mathématiques ? 12...45
umrkumrk
210
21.8K
umrkumrk
Bon ordre sur $\R$ 12
Jean-LouisJean-Louis
53
4.1K
PoirotPoirot
Chap 25
MartialMartial
0
204
MartialMartial
Applications entre ensembles
Julia PauleJulia Paule
17
1.6K
jared94jared94
Logique et arithmétique
xaxxax
3
397
xaxxax
Axiome du choix
Pablo_de_retourPablo_de_retour
1
393
Pablo_de_retourPablo_de_retour
Petite question sur la théorie des ensembles 12
Julia PauleJulia Paule
58
3.9K
raoul.Sraoul.S
Théorème de dénombrement
Julia PauleJulia Paule
45
3.7K
Julia PauleJulia Paule
Suite récursive
Quentino37Quentino37
15
1.3K
ChaurienChaurien
Cardinal de la borne sup des ensembles
mehdimehdi
6
627
mehdimehdi
Success message!