Sujet		Messages	Dernier message
	Géométrisation de la logique. (6245 vues)   (Aller à la page: 1 2) par Pablo_de_retour	52	il y a une heure Dernier message par Pablo_de_retour
	Axiome de martin et pseudo-intersection (17 vues) par Martial	1	il y a deux heures Dernier message par Martial
	Calcul quantique (696 vues) par serge burckel	29	il y a deux heures Dernier message par serge burckel
	Classiques L1-L2 trop oubliés (116496 vues)   (Aller à la page: 1 ... 11 12 13) par christophe c	620	il y a trois heures Dernier message par christophe c
	Algèbre de Heyting et topoï (17589 vues)   (Aller à la page: 1 2 3) par Pablo_de_retour	134	il y a sept heures Dernier message par Pablo_de_retour
	Quasi-intersection infinie (328 vues) par Martial	21	il y a neuf heures Dernier message par Martial
	"Cardinal characteristics of the continuum" (129 vues) par Martial	7	hier, 05:13 Dernier message par Martial
	"Il est facile de" 2 (434498 vues)   (Aller à la page: 1 ... 21 22 23) par christophe c	1 122	hier, 02:35 Dernier message par christophe c
	$NP$-complétude de cut-max (125 vues) par Celmar2Ceaumar	4	il y a quatre jours Dernier message par serge burckel
	Axiome de Martin (236 vues) par Martial	12	il y a cinq jours Dernier message par Martial
	Collaboratif axiomes enfantins (2163 vues)   (Aller à la page: 1 2) par christophe c	68	il y a six jours Dernier message par christophe c
	Ordinaux, cardinaux, hypothèse du continu... (1705 vues)   (Aller à la page: 1 2) par Homo Topi	65	il y a six jours Dernier message par Martial
	Déduction formelle (485 vues) par poli12	32	il y a six jours Dernier message par christophe c
	Accessibilité et induction (109 vues) par Foys	3	il y a sept jours Dernier message par Foys
	Nouveau livre de théorie des ensembles (1704 vues) par Martial	30	il y a neuf jours Dernier message par Martial
	Zermelo (84 vues) par Martial	5	il y a neuf jours Dernier message par Martial
	Interprétation physique (410 vues) par serge burckel	19	la semaine dernière Dernier message par christophe c
	faux=>vrai (132209 vues)   (Aller à la page: 1 2 3 4) par hamid	178	il y a deux semaines Dernier message par Foys
	Recherche d'une structure algébrique (323 vues) par serge burckel	12	il y a deux semaines Dernier message par christophe c
	Des questions de mondanité (553 vues) par Martial	24	il y a deux semaines Dernier message par Martial
	Formalisme linguistique stérile ou nécessaire (400 vues) par Cantor-Bernstein	15	il y a deux semaines Dernier message par Foys
	Objets mathématiques (921 vues) par mehdi	10	il y a deux semaines Dernier message par Maxtimax
	Le paradoxe de la faucheuse (807 vues) par Cyrano	27	il y a deux semaines Dernier message par Bintje
	Origine des axiomes (873 vues) par TakeoJordan	41	il y a deux semaines Dernier message par Smith
	Réalisabilité de l'axiome de Peirce (268 vues) par Georges Abitbol	10	il y a deux semaines Dernier message par christophe c
	Linéarisation de la logique (612 vues) par serge burckel	21	il y a deux semaines Dernier message par serge burckel
	Définition de la science (182 vues) par christophe c	4	il y a deux semaines Dernier message par christophe c
	Éviter le déterminant (619 vues) par christophe c	20	il y a deux semaines Dernier message par christophe c
	Théorème d' Emmy Noether (20759 vues)   (Aller à la page: 1 2) par christophe c	99	il y a trois semaines Dernier message par christophe c
	Axiome du choix (723 vues) par Aguelord	23	il y a trois semaines Dernier message par christophe c
	La (non)réforme des maths modernes (1508 vues) par christophe c	35	il y a trois semaines Dernier message par AD
	Signification de l'hypothèse du continu ? (3237 vues)   (Aller à la page: 1 2) par Socrade	53	il y a quatre semaines Dernier message par Martial
	P versus NP (5280 vues)   (Aller à la page: 1 2) par serge burckel	84	il y a quatre semaines Dernier message par christophe c
	Preuve : définition par récurrence (2054 vues) par David16	19	il y a quatre semaines Dernier message par christophe c
	Système de Zermelo (481 vues) par Martial	7	il y a cinq semaines Dernier message par Martial
	Fautes de logique (707 vues) par gebrane	8	il y a six semaines Dernier message par christophe c
	Équivalence de théorèmes (2106 vues) par pougnioule	9	il y a sept semaines Dernier message par Archimondain
	Fautes logiques d'un intervenant (5640 vues)   (Aller à la page: 1 2) par christophe c	74	il y a sept semaines Dernier message par JLT
	Raisonnement par l'absurde (RPA) (13933 vues)   (Aller à la page: 1 2 3 4 5) par christophe c	206	il y a sept semaines Dernier message par christophe c
	Exercice de programmation (93 vues) par Cyril2571		Déplacé
	Paradoxe de Russell (1568 vues) par Marcel1213	23	le mois dernier Dernier message par gerard0
	Topos de faisceaux (4599 vues)   (Aller à la page: 1 2) par christophe c	72	il y a deux mois Dernier message par christophe c
	Questions sur intuitionnisme. (3266 vues)   (Aller à la page: 1 2) par Jean-Louis	51	il y a deux mois Dernier message par christophe c
	Logique dans les topos (9182 vues)   (Aller à la page: 1 2) par ignatus	95	il y a deux mois Dernier message par ignatus
	Les applications et les ensembles (502 vues) par l3rab	5	il y a deux mois Dernier message par GaBuZoMeu
	P implique antitruc (745 vues) par Martial	9	il y a deux mois Dernier message par Dom
	Une curiosité naïve : Russell linéaire ? (896 vues) par Maxtimax	11	il y a deux mois Dernier message par christophe c
	Axiomes gamma-ACD (633 vues) par Martial	7	il y a deux mois Dernier message par christophe c
	Catégories et types (14937 vues)   (Aller à la page: 1 2 3 4) par ignatus	178	il y a deux mois Dernier message par GG
	Non finie-axiomatisabilité (2722 vues) par Martial	37	il y a deux mois Dernier message par Martial
	Agacement formalisation de machine abstraite (954 vues) par grothenbiete	8	il y a deux mois Dernier message par grothenbiete
	Dualité de Lawvere. (1625 vues) par Pablo_de_retour	19	il y a deux mois Dernier message par Maxtimax
	Formation accélérée, vrais fondements pour GG (1989 vues) par christophe c	24	il y a deux mois Dernier message par GG
	HoTT (Homotopy Type Theory) (2290 vues) par FrançoisD	3	il y a deux mois Dernier message par christophe c
	Raisonnement direct (642 vues) par Massi	7	il y a deux mois Dernier message par christophe c
	Table de vérité de l'implication (1892 vues) par totem	24	il y a deux mois Dernier message par Dom
	Permutations au hasard (2075 vues) par christophe c	20	il y a deux mois Dernier message par Martial
	Raisonnement par récurrence (1203 vues) par Rita09	13	il y a deux mois Dernier message par Smith
	Plus petit ensemble infini (1706 vues) par jaccuzzi	18	il y a deux mois Dernier message par jaccuzzi
	Demande : théorie des modèles pour les nuls (2448 vues) par Homo Topi	27	il y a trois mois Dernier message par raoul.S
	Parties d'un ensemble non dénombrable (1212 vues) par Blueberry	12	il y a trois mois Dernier message par Maxtimax
	Équivalences vraies ou fausses ? (3527 vues) par Cantor-Bernstein	35	il y a trois mois Dernier message par brian
	Image de l'intersection de deux parties (1972 vues) par rafykfan	22	il y a trois mois Dernier message par rafykfan
	Énoncés équivalents (1230 vues) par Homo Topi	14	il y a trois mois Dernier message par christophe c