Sujet		Messages	Dernier message
	Lambda-calcul, formes normales, types (166 vues) par marco	15	il y a 59 minutes Dernier message par marco
	Comprendre la logique des mathématiques (28945 vues)   (Aller à la page: 1 ... 10 11 12) par OShine	577	il y a deux jours Dernier message par christophe c
	Un exercice sous AD (1114 vues) par christophe c	21	il y a trois jours Dernier message par christophe c
	Cardinal (229 vues) par jm14d	20	il y a cinq jours Dernier message par christophe c
	La thèse de Woodin (186 vues) par Martial	7	il y a cinq jours Dernier message par Martial
	Tarski... (63 vues) par Thierry POMA	1	il y a six jours Dernier message par Thierry POMA
	Catégories et NBG (81 vues) par Manda	2	il y a six jours Dernier message par Maxtimax
	Priorité quantificatrice (74 vues) par Martial	2	il y a six jours Dernier message par Maxtimax
	Correspondance biunivoque (115 vues) par Raskolnikov	7	il y a sept jours Dernier message par Raskolnikov
	Exercice dans le livre de Paul Halmos (231 vues) par Raskolnikov	7	il y a huit jours Dernier message par Thierry POMA
	Pas de bon ordre sur $\R$ ? (2564 vues)   (Aller à la page: 1 2) par serge burckel	60	il y a neuf jours Dernier message par christophe c
	Projet $P\not=NP$ (7200 vues)   (Aller à la page: 1 2 3) par serge burckel	111	il y a neuf jours Dernier message par serge burckel
	Un doute sur un exercice de JLT (138 vues) par Athanagor	3	il y a dix jours Dernier message par Foys
	"Il est facile de" 2 (524202 vues)   (Aller à la page: 1 ... 23 24 25) par christophe c	1 232	il y a dix jours Dernier message par christophe c
	Livre sur la théorie des ensembles (115 vues) par Raskolnikov	3	il y a dix jours Dernier message par Raskolnikov
	Dernières mises à jour (328 vues) par Martial	11	il y a onze jours Dernier message par Martial
	Ensemble transitif (486 vues) par Raskolnikov	23	il y a douze jours Dernier message par Raskolnikov
	Existence de Dieu (170 vues) par gugus13		Déplacé
	Ordinaux et cardinaux (608 vues) par christophe c	21	il y a treize jours Dernier message par Thierry POMA
	La logique selon vous (917 vues) par turboLanding	34	la semaine dernière Dernier message par christophe c
	Intuitionnisme et constructibiité (257 vues) par christophe c	8	il y a deux semaines Dernier message par christophe c
	Équivalence logique entre trois énoncés (224 vues) par sasaki93	8	il y a deux semaines Dernier message par christophe c
	Le mystère des ordinaux (387 vues) par chat d'eau	12	il y a deux semaines Dernier message par christophe c
	Preuves hasardeuses (299 vues) par christophe c	8	il y a deux semaines Dernier message par christophe c
	Construction de $\mathbb{R}$ et AC (393 vues) par Homo Topi	21	il y a deux semaines Dernier message par christophe c
	Principes combinatoires (299 vues) par Martial	15	il y a deux semaines Dernier message par Martial
	Produits infinis de signes et choix (99 vues) par Palabra	3	il y a deux semaines Dernier message par Palabra
	Univers... (407 vues) par Thierry POMA	12	il y a deux semaines Dernier message par Thierry POMA
	Références fondements mécanique quantique (1027 vues) par grothenbiete	23	il y a deux semaines Dernier message par Héhéhé
	Conjectures en théorie des topoï (1015 vues) par Pablo_de_retour	18	il y a deux semaines Dernier message par Pablo_de_retour
	Mécanique quantique après prépa (13 vues) par Hilbertius le néophyte		Déplacé
	Choix et Lebesgue (389 vues) par christophe c	12	il y a trois semaines Dernier message par christophe c
	Noeuds (249 vues) par christophe c	7	il y a trois semaines Dernier message par christophe c
	Classiques L1-L2 trop oubliés (188345 vues)   (Aller à la page: 1 ... 14 15 16) par christophe c	798	il y a trois semaines Dernier message par christophe c
	Unification de mes travaux (6026 vues)   (Aller à la page: 1 2) par christophe c	72	il y a trois semaines Dernier message par christophe c
	L'analyse non standard (1393 vues) par Calli	35	il y a trois semaines Dernier message par Calli
	Parcours mixte math fonda/logique (720 vues) par grothenbiete	17	il y a trois semaines Dernier message par grothenbiete
	Plus petit ensemble indénombrable (369 vues) par chat d'eau	8	il y a trois semaines Dernier message par christophe c
	Des souris et des pré-souris (473 vues) par Martial	14	il y a quatre semaines Dernier message par christophe c
	Viré (32810 vues)   (Aller à la page: 1 ... 4 5 6) par christophe c	277	il y a quatre semaines Dernier message par geo
	Lambda-calcul et fonctions récursives (372 vues) par marco	9	il y a quatre semaines Dernier message par marco
	Logique, maths, lois sociétales, MQuantique (331 vues) par christophe c	7	il y a quatre semaines Dernier message par christophe c
	Travaux de Jacob Lurie (655 vues) par ignatus	12	il y a quatre semaines Dernier message par ignatus
	Sous le bout du possible (376 vues) par christophe c	8	il y a quatre semaines Dernier message par Martial
	Périphérie de "comprendre la logique" (16204 vues)   (Aller à la page: 1 ... 4 5 6) par christophe c	298	il y a cinq semaines Dernier message par gebrane
	Un exercice sans background (519 vues) par christophe c	13	il y a cinq semaines Dernier message par christophe c
	Encore un problème de traduction (313 vues) par Martial	6	il y a cinq semaines Dernier message par Martial
	Expression ambiguë : fonction définie sur E (539 vues) par Blanc	13	il y a cinq semaines Dernier message par Martial
	Algèbre et analyse (1248 vues) par ignatus	26	il y a six semaines Dernier message par Maxtimax
	Différence symétrique générale (227 vues) par Yann Le Gac	4	il y a six semaines Dernier message par Maxtimax
	Sidéré : soleil se lève au nord-est. (50 vues) par christophe c		Déplacé
	Ensemble des fonctions partielles (308 vues) par Milamber	5	il y a six semaines Dernier message par Milamber
	AD(N) et Ramsey (3377 vues) par axexe	43	il y a sept semaines Dernier message par christophe c
	"ordinaux sans ordre" ? (273 vues) par chat d'eau	4	il y a sept semaines Dernier message par Martial
	Problème de traduction (1028 vues) par Martial	18	il y a sept semaines Dernier message par Martial
	Ensembles et applications (MPSI) (345 vues) par SumProd	4	il y a sept semaines Dernier message par SumProd
	Comment construire cette famille ? (505 vues) par zazou	8	il y a sept semaines Dernier message par Titi le curieux
	Catégorie syntaxique (612 vues) par ignatus	11	il y a sept semaines Dernier message par ignatus
	Définition d'interprétation (321 vues) par geo	4	il y a sept semaines Dernier message par geo
	"Power set axiom" (1263 vues) par Milamber	22	il y a sept semaines Dernier message par Foys
	Ensemble non vide qui n'aurait pas d'élément (665 vues) par Pachat	10	le mois dernier Dernier message par Thierry POMA
	Catégories sans objet initial ou final ? (468 vues) par Pachat	7	le mois dernier Dernier message par Foys
	Un texte de Paul Cohen sur le "forcing" ! (1044 vues) par umrk	15	le mois dernier Dernier message par Poirot
	Prouver tout ce qui est prouvable ? (455 vues) par chat d'eau	5	le mois dernier Dernier message par christophe c