Sujet		Messages	Dernier message
	OShine-périphérie (2435 vues)   (Aller à la page: 1 2 3) par christophe c	123	il y a huit minutes Dernier message par gebrane
	Axiome 3 du Ramis-Dechamps-Odoux (215 vues) par abcde	13	il y a trois heures Dernier message par abcde
	Théorie des tresses (209 vues) par FrançoisD	12	il y a quinze heures Dernier message par serge burckel
	Projet $P\not=NP$ (1268 vues)   (Aller à la page: 1 2) par serge burckel	54	il y a vingt heures Dernier message par serge burckel
	Comprendre la logique des mathématiques (7335 vues)   (Aller à la page: 1 ... 5 6 7) par OShine	312	hier, 02:53 Dernier message par gebrane
	Paradoxe de Skolem (293 vues) par PelucheCanard	18	il y a deux jours Dernier message par PelucheCanard
	Démontrer que $A\cup\emptyset=A$ (685 vues) par Ilexiste	47	il y a deux jours Dernier message par christophe c
	Objet final dans Ens (380 vues) par Pachat	31	il y a trois jours Dernier message par Thierry POMA
	Une convention (259 vues) par elouadih	13	il y a quatre jours Dernier message par christophe c
	Logique formelle de la gestion de contraintes (42 vues) par Romyna	1	il y a quatre jours Dernier message par Romyna
	Théorie et paradigme quantique (706 vues) par christophe c	47	il y a cinq jours Dernier message par christophe c
	Ordinaux, encore (3708 vues)   (Aller à la page: 1 2 3 4) par Homo Topi	184	il y a six jours Dernier message par christophe c
	Que doivent faire les fondements ? (936 vues) par Maxtimax	47	il y a sept jours Dernier message par christophe c
	Classiques L1-L2 trop oubliés (165000 vues)   (Aller à la page: 1 ... 14 15 16) par christophe c	791	il y a sept jours Dernier message par christophe c
	Bijection $\mathbb R=\mathcal P(\mathbb N)$ (6854 vues) par Pablo_de_retour	42	il y a huit jours Dernier message par Martial
	Langage, logique / Aider un intervenant (1845 vues)   (Aller à la page: 1 2) par Chaurien	58	il y a huit jours Dernier message par raoul.S
	Unification de mes travaux (2410 vues)   (Aller à la page: 1 2) par christophe c	71	il y a huit jours Dernier message par Georges Abitbol
	Produit cartésien (197 vues) par nckgtr	11	il y a neuf jours Dernier message par christophe c
	Union (notation) (81 vues) par Saturne	5	il y a neuf jours Dernier message par christophe c
	Target theorem (119 vues) par christophe c	4	il y a neuf jours Dernier message par christophe c
	Théorème de complétude de Gödel (431 vues) par Pablo_de_retour	18	il y a dix jours Dernier message par christophe c
	Théorie de l'unification (1142 vues) par Pablo_de_retour	46	il y a onze jours Dernier message par Homo Topi
	Les génies (866 vues) par christophe c	41	il y a onze jours Dernier message par christophe c
	Relativité + mondes parallèles + $c= \infty$ (1930 vues)   (Aller à la page: 1 2) par christophe c	71	il y a douze jours Dernier message par christophe c
	Forcing propre again (205 vues) par Martial	16	il y a douze jours Dernier message par christophe c
	"Il est facile de" 2 (493596 vues)   (Aller à la page: 1 ... 23 24 25) par christophe c	1 220	il y a treize jours Dernier message par christophe c
	Relation ou transformation ? (123 vues) par hbx360	5	il y a deux semaines Dernier message par hbx360
	Idéaux et Banach (145 vues) par Martial	7	il y a deux semaines Dernier message par Martial
	Hilbert = araignée (178 vues) par christophe c	7	il y a deux semaines Dernier message par christophe c
	Un ensemble ? (958 vues) par gai requin	45	il y a deux semaines Dernier message par christophe c
	Superdensité (92 vues) par christophe c	3	il y a deux semaines Dernier message par christophe c
	PFA et supercompact (214 vues) par Martial	12	il y a deux semaines Dernier message par christophe c
	Itérations (134 vues) par christophe c	4	il y a deux semaines Dernier message par christophe c
	Hiérarchie de Borel (324 vues) par Saturne	20	il y a deux semaines Dernier message par christophe c
	Logique formelle (772 vues) par CamilleLenguin	23	il y a deux semaines Dernier message par gai requin
	Moi grosse lacune: Matiyasevic (2985 vues)   (Aller à la page: 1 2) par christophe c	74	il y a deux semaines Dernier message par christophe c
	Ordinaux indécomposables (83 vues) par Martial	3	il y a deux semaines Dernier message par Martial
	Une TM qui stoppe ssi ZFC est inconsistant (1414 vues) par Héhéhé	42	il y a trois semaines Dernier message par christophe c
	Viré (21598 vues)   (Aller à la page: 1 ... 4 5 6) par christophe c	263	il y a trois semaines Dernier message par michael
	Raisonnement par l'absurde (1185 vues) par Homo Topi	43	il y a trois semaines Dernier message par christophe c
	Stationnaires à la Jech (705 vues) par Martial	29	il y a trois semaines Dernier message par christophe c
	Un système linéaire pour une variante de SAT (218 vues) par serge burckel	5	il y a quatre semaines Dernier message par christophe c
	Logique et relativité (8346 vues)   (Aller à la page: 1 2) par christophe c	99	il y a quatre semaines Dernier message par christophe c
	Introduction à la logique (255 vues) par Polka	5	il y a quatre semaines Dernier message par christophe c
	Preuve géométrique - équipotence - validité ? (1089 vues) par Cantor-Bernstein	28	il y a quatre semaines Dernier message par Cantor-Bernstein
	Donner du sens à une formule (386 vues) par Pablo_de_retour	6	il y a quatre semaines Dernier message par christophe c
	Paradoxe de Banach Tarski (6083 vues)   (Aller à la page: 1 2) par Jean-Louis	61	il y a cinq semaines Dernier message par Jean-Louis
	Lemme de maximalité (448 vues) par Martial	14	il y a cinq semaines Dernier message par christophe c
	Projet logique nombres premiers (257 vues) par christophe c	5	il y a cinq semaines Dernier message par christophe c
	Preuves (720 vues) par Math912	20	il y a cinq semaines Dernier message par Dom
	Surjection de IR sur P(omega1) (196 vues) par christophe c	3	il y a cinq semaines Dernier message par christophe c
	Injections dans les topos (2631 vues)   (Aller à la page: 1 2) par Alesha	67	il y a cinq semaines Dernier message par christophe c
	Construction algébrique de $ \mathbb{R}_1 $. (237 vues) par Pablo_de_retour	1	il y a cinq semaines Dernier message par Pablo_de_retour
	Je voudrais un ordinal (368 vues) par Calli	8	il y a cinq semaines Dernier message par raoul.S
	Sémantique de Kripke-Joyal. (994 vues) par Pablo_de_retour	25	il y a cinq semaines Dernier message par christophe c
	Cadeau pour Martial (et Georges) (823 vues) par christophe c	19	il y a six semaines Dernier message par christophe c
	Indécidabilité. (408 vues) par Pablo_de_retour	6	il y a six semaines Dernier message par christophe c
	Ensembles finis collaboratifs (229 vues) par christophe c	3	il y a six semaines Dernier message par christophe c
	Conjonction et forcing (787 vues) par Martial	21	il y a six semaines Dernier message par Martial
	Présenter de manière correcte (2293 vues)   (Aller à la page: 1 2) par Boole et Bill	52	il y a six semaines Dernier message par christophe c
	Axiome de détermination (584 vues) par christophe c	13	il y a six semaines Dernier message par christophe c
	Un théorème sur les anneaux (276 vues) par christophe c	3	il y a six semaines Dernier message par christophe c
	La célébrité des scientifiques (811 vues) par christophe c	8	il y a six semaines Dernier message par xax
	Cardinaux extensibles (1089 vues) par Martial	23	il y a sept semaines Dernier message par christophe c