Sujet		Messages	Dernier message
	P versus NP (2453 vues)   (Aller à la page: 1 2) par serge burckel	75	il y a quinze heures Dernier message par serge burckel
	"Il est facile de" 2 (411730 vues)   (Aller à la page: 1 ... 21 22 23) par christophe c	1 109	il y a dix neuf heures Dernier message par christophe c
	Système de Zermelo (209 vues) par Martial	7	il y a trois jours Dernier message par Martial
	Nouveau livre de théorie des ensembles (518 vues) par Martial	13	il y a cinq jours Dernier message par Martial
	Signification de l'hypothèse du continu ? (1428 vues)   (Aller à la page: 1 2) par Socrade	51	il y a six jours Dernier message par christophe c
	Fautes de logique (384 vues) par gebrane	8	il y a huit jours Dernier message par christophe c
	Équivalence de théorèmes (1784 vues) par pougnioule	9	il y a deux semaines Dernier message par Archimondain
	Fautes logiques d'un intervenant (3375 vues)   (Aller à la page: 1 2) par christophe c	74	il y a deux semaines Dernier message par JLT
	Raisonnement par l'absurde (RPA) (7620 vues)   (Aller à la page: 1 2 3 4 5) par christophe c	206	il y a deux semaines Dernier message par christophe c
	Classiques L1-L2 trop oubliés (101839 vues)   (Aller à la page: 1 ... 10 11 12) par christophe c	588	il y a deux semaines Dernier message par Dom
	Exercice de programmation (93 vues) par Cyril2571		Déplacé
	Paradoxe de Russell (863 vues) par Marcel1213	23	il y a trois semaines Dernier message par gerard0
	Topos de faisceaux (2269 vues)   (Aller à la page: 1 2) par christophe c	72	il y a trois semaines Dernier message par christophe c
	Questions sur intuitionnisme. (1705 vues)   (Aller à la page: 1 2) par Jean-Louis	51	il y a trois semaines Dernier message par christophe c
	Logique dans les topos (6134 vues)   (Aller à la page: 1 2) par ignatus	95	il y a quatre semaines Dernier message par ignatus
	Les applications et les ensembles (305 vues) par l3rab	5	il y a quatre semaines Dernier message par GaBuZoMeu
	P implique antitruc (447 vues) par Martial	9	il y a quatre semaines Dernier message par Dom
	Une curiosité naïve : Russell linéaire ? (539 vues) par Maxtimax	11	il y a quatre semaines Dernier message par christophe c
	Axiomes gamma-ACD (395 vues) par Martial	7	il y a cinq semaines Dernier message par christophe c
	Objets mathématiques (531 vues) par mehdi	8	il y a cinq semaines Dernier message par Homo Topi
	Catégories et types (9279 vues)   (Aller à la page: 1 2 3 4) par ignatus	178	il y a cinq semaines Dernier message par GG
	Non finie-axiomatisabilité (1610 vues) par Martial	37	il y a cinq semaines Dernier message par Martial
	Agacement formalisation de machine abstraite (694 vues) par grothenbiete	8	il y a cinq semaines Dernier message par grothenbiete
	Dualité de Lawvere. (1059 vues) par Pablo_de_retour	19	il y a cinq semaines Dernier message par Maxtimax
	Formation accélérée, vrais fondements pour GG (1311 vues) par christophe c	24	il y a cinq semaines Dernier message par GG
	Géométrisation de la logique. (4664 vues)   (Aller à la page: 1 2) par Pablo_de_retour	51	il y a six semaines Dernier message par Pablo_de_retour
	HoTT (Homotopy Type Theory) (2168 vues) par FrançoisD	3	il y a six semaines Dernier message par christophe c
	Raisonnement direct (404 vues) par Massi	7	il y a six semaines Dernier message par christophe c
	Table de vérité de l'implication (1194 vues) par totem	24	il y a six semaines Dernier message par Dom
	Permutations au hasard (1482 vues) par christophe c	20	il y a six semaines Dernier message par Martial
	Raisonnement par récurrence (805 vues) par Rita09	13	il y a sept semaines Dernier message par Smith
	Plus petit ensemble infini (1167 vues) par jaccuzzi	18	il y a sept semaines Dernier message par jaccuzzi
	Demande : théorie des modèles pour les nuls (1680 vues) par Homo Topi	27	le mois dernier Dernier message par raoul.S
	Parties d'un ensemble non dénombrable (837 vues) par Blueberry	12	le mois dernier Dernier message par Maxtimax
	Équivalences vraies ou fausses ? (2491 vues) par Cantor-Bernstein	35	le mois dernier Dernier message par brian
	Image de l'intersection de deux parties (1309 vues) par rafykfan	22	il y a deux mois Dernier message par rafykfan
	Énoncés équivalents (806 vues) par Homo Topi	14	il y a deux mois Dernier message par christophe c
	Algèbre de Boole complétée (225 vues) par superpower	2	il y a deux mois Dernier message par Maxtimax
	Logique bivalente et décidabilité (2064 vues) par Homo Topi	29	il y a deux mois Dernier message par Homo Topi
	Syntaxe et sémantique autour de Z (680 vues) par ignatus	8	il y a deux mois Dernier message par ignatus
	Série formelle, "fonction formelle" (401 vues) par Dom	4	il y a deux mois Dernier message par Dom
	Opérateurs universels de logique de n-valente (219 vues) par Aethernalis	1	il y a deux mois Dernier message par Aethernalis
	Dérivateurs. (944 vues) par Pablo_de_retour	3	il y a deux mois Dernier message par Pablo_de_retour
	Intuitionnisme. (3473 vues) par Jean-Louis	50	il y a deux mois Dernier message par christophe c
	Logique et anneaux (890 vues) par Champ-Pot-Lion	11	il y a deux mois Dernier message par christophe c
	La valeur de vérité des propositions (563 vues) par Educ	7	il y a deux mois Dernier message par christophe c
	Conjonction et Implication (853 vues) par M.Poisson	12	il y a deux mois Dernier message par christophe c
	Modèle transitif dénombrable (985 vues) par Martial	14	il y a deux mois Dernier message par Martial
	Sémantique topologique (2316 vues) par christophe c	29	il y a deux mois Dernier message par christophe c
	Exemples dans la théorie des ensembles (620 vues) par Boole et Bill	6	il y a deux mois Dernier message par Martial
	Fautes de logique dans un manuel de seconde (17236 vues)   (Aller à la page: 1 2 3 4 5) par christophe c	228	il y a deux mois Dernier message par xax
	Définition d’un cardinal (327 vues) par Boole et Bill	3	il y a deux mois Dernier message par Martial
	L'implication et la déduction (903 vues) par pourtos	11	il y a deux mois Dernier message par pourtos
	Ensemble, classe, collection (284 vues) par mehdi	2	il y a deux mois Dernier message par raoul.S
	Nouvelle série de livres (1214 vues) par Etienne21	6	il y a deux mois Dernier message par Etienne21
	Complexité des formules (727 vues) par Martial	9	il y a deux mois Dernier message par Martial
	Infinis existants (591 vues) par Polux1704@	5	il y a deux mois Dernier message par Dom
	(Encore!) Un problème (1437 vues) par Boole et Bill	15	il y a deux mois Dernier message par Calli
	Raisonnement par l'absurde et récurrence (374 vues) par Attien	3	il y a deux mois Dernier message par christophe c
	Défi pour les quinqua (2099 vues) par christophe c	26	il y a deux mois Dernier message par christophe c
	ZFC et redondance (809 vues) par Martial	8	il y a deux mois Dernier message par Maxtimax
	Axiomes de la géométrie, et en général (270 vues) par Boole et Bill	1	il y a deux mois Dernier message par Boole et Bill
	Bon ordre, ensemble totalement ordonné (444 vues) par raphitek	4	il y a deux mois Dernier message par raphitek
	Objet mathématique (1521 vues) par Attien	16	il y a deux mois Dernier message par Martial