Sujet		Messages	Dernier message
	Comprendre la logique des mathématiques (75212 vues)   (Aller à la page: 1 ... 10 11 12) par OShine	592	il y a 50 minutes Dernier message par Alexique
	Preuve bizarroïde à améliorer (312 vues) par christophe c	22	il y a vingt heures Dernier message par christophe c
	"Il est facile de" 2 (626861 vues)   (Aller à la page: 1 ... 24 25 26) par christophe c	1 298	hier, 01:27 Dernier message par christophe c
	Un théorème de Maxtimax que j'isole (279 vues) par christophe c	20	hier, 11:16 Dernier message par Martial
	Viré (60521 vues)   (Aller à la page: 1 ... 5 6 7) par christophe c	306	il y a deux jours Dernier message par christophe c
	Cardinaux mondains again (167 vues) par Martial	9	il y a quatre jours Dernier message par Martial
	Réunion Intersection quelconque d'une famille (105 vues) par Snobi	4	il y a six jours Dernier message par Snobi
	Classiques L1-L2 trop oubliés (244085 vues)   (Aller à la page: 1 ... 15 16 17) par christophe c	809	il y a huit jours Dernier message par christophe c
	Règles et axiomes des maths (352 vues) par christophe c	8	il y a huit jours Dernier message par christophe c
	Forme normale disjonctive simplifiée (165 vues) par Raskolnikov	17	il y a neuf jours Dernier message par PetitLutinMalicieux
	Lacunes mathématiques face à TQ (226 vues) par christophe c	5	il y a neuf jours Dernier message par christophe c
	Famille = ensemble ? (990 vues)   (Aller à la page: 1 2) par Julia Paule	78	il y a neuf jours Dernier message par christophe c
	L'univers est "indécidable" (672 vues) par grothenbiete	28	il y a onze jours Dernier message par christophe c
	Exo pour distraire Martial (122 vues) par christophe c	3	il y a onze jours Dernier message par christophe c
	Axiome du choix et sections des surjections (1735 vues)   (Aller à la page: 1 2) par barbubabytoman	75	il y a deux semaines Dernier message par christophe c
	Nom pour la "croissance réciproque" (147 vues) par barbubabytoman	6	il y a deux semaines Dernier message par christophe c
	Ensemble inductif (691 vues) par Julia Paule	32	il y a deux semaines Dernier message par Julia Paule
	Petite inclusion ensembliste (5 vues) par Code_Name		Déplacé
	Théorème de lecture unique (125 vues) par Raskolnikov	4	il y a deux semaines Dernier message par Raskolnikov
	Lambda-calcul et point fixe (311 vues) par jingenbl	12	il y a deux semaines Dernier message par christophe c
	Souvenir de prépa .... (158 vues) par umrk	4	il y a deux semaines Dernier message par Maxtimax
	Notation "pour tout réel dans un intervalle" (180 vues) par Turandot	8	il y a deux semaines Dernier message par Turandot
	Les rois et les sujets (1202 vues) par kosh75	35	il y a deux semaines Dernier message par gerard0
	Démonstration formelle en logique (18726 vues) par SylvainK	30	il y a deux semaines Dernier message par raoul.S
	Énigme : "théorème" (1095 vues) par tého	27	il y a deux semaines Dernier message par Martial
	Arbre de positions (364 vues) par Martial	14	il y a trois semaines Dernier message par Martial
	Formules logiquement équivalentes (160 vues) par Raskolnikov	5	il y a trois semaines Dernier message par Raskolnikov
	I0 (590 vues) par Martial	21	il y a trois semaines Dernier message par Martial
	Conclusion (447 vues) par Sneg	13	il y a trois semaines Dernier message par christophe c
	Notation d'un ensemble (382 vues) par IchigoKurosaki14	10	il y a trois semaines Dernier message par gerard0
	Complexité de l'hypothèse du continu (460 vues) par Martial	17	il y a trois semaines Dernier message par christophe c
	Opération complète (168 vues) par serge burckel	2	il y a quatre semaines Dernier message par christophe c
	Les axiomes rank-into-rank (219 vues) par Martial	4	il y a quatre semaines Dernier message par Martial
	Énigmes légères grands cardinaux (392 vues) par christophe c	10	il y a quatre semaines Dernier message par christophe c
	I have a dream (761 vues) par Pablo_de_retour	14	il y a quatre semaines Dernier message par Pablo_de_retour
	Un scoop que je partage (8230 vues) par christophe c	24	il y a quatre semaines Dernier message par christophe c
	L'axiome I3 (644 vues) par Martial	14	il y a quatre semaines Dernier message par Martial
	Question d'un ignare (1986 vues) par umrk	40	il y a cinq semaines Dernier message par Martial
	Test de logique (1975 vues) par Flora	44	il y a cinq semaines Dernier message par Lucas-
	Longueur d'une formule (173 vues) par Raskolnikov	4	il y a cinq semaines Dernier message par Poirot
	Inconsistance (120 vues) par Martial	2	il y a cinq semaines Dernier message par Martial
	Le forcing a des applications pratiques ! (270 vues) par umrk	4	il y a cinq semaines Dernier message par christophe c
	Le livre de Yuri Manin (107 vues) par ignatus	1	il y a cinq semaines Dernier message par ignatus
	I3 vs hugeness (737 vues) par Martial	20	il y a cinq semaines Dernier message par Martial
	Un peu de hugeness (93 vues) par Martial	1	il y a cinq semaines Dernier message par Martial
	Résultat déjà connu ? (154 vues) par superpower	2	il y a cinq semaines Dernier message par Martial
	Famille orthogonale de vecteurs (298 vues) par mehdi	7	il y a cinq semaines Dernier message par Georges Abitbol
	AD(N) et Ramsey (10943 vues)   (Aller à la page: 1 2) par axexe	76	il y a cinq semaines Dernier message par axexe
	Conférence de Woodin (535 vues) par Poirot	9	il y a six semaines Dernier message par axexe
	Cardinaux Vopenka (95 vues) par Martial	1	il y a six semaines Dernier message par Martial
	Cardinaux extensibles (638 vues) par Martial	17	il y a six semaines Dernier message par Rescassol
	Table de vérité de l'implication (1026 vues) par Cantor-Bernstein	17	il y a six semaines Dernier message par christophe c
	Un problème de traduction (233 vues) par Martial	5	il y a six semaines Dernier message par Martial
	Affirmation fausse ou non évaluable (459 vues) par mlg1978	9	il y a six semaines Dernier message par Foys
	Indécidabilité et négligeabilité (563 vues) par Pablo_de_retour	11	il y a six semaines Dernier message par christophe c
	Supercompact vs HGC (1451 vues) par Martial	33	il y a six semaines Dernier message par Martial
	Négation et valeur de vérité (313 vues) par Educ	6	il y a six semaines Dernier message par GG
	Une énigme (975 vues) par tého	23	il y a sept semaines Dernier message par Dom
	Infinité de nombres premiers dans Peano (14171 vues)   (Aller à la page: 1 2) par Calli	98	il y a sept semaines Dernier message par Martial
	Aide pour le jeu "logigramme" (373 vues) par SinusSlide	6	il y a sept semaines Dernier message par PetitLutinMalicieux
	Reinhardt (326 vues) par Martial	5	il y a sept semaines Dernier message par Martial
	Un exemple de couple d'ensembles (235 vues) par topopot	3	il y a sept semaines Dernier message par topopot
	Équivalence ? (1296 vues) par babsgueye	19	il y a sept semaines Dernier message par babsgueye
	Hypothèse du continu ? (1740 vues) par umrk	35	le mois dernier Dernier message par axexe