Fondements et Logique

Ce forum n'a pas de description.

Discussion	Créé par	Réponses	Lectures	Dernière réponse
AC, ACD, AC dénombrable	Utilisateur anonyme April 2011	16	2.2K	christophe c April 2011
preuves de consistance relative	Archimondain March 2011	27	7.6K	christophe c March 2011
lemme de Zorn	Archimondain June 2010	5	3.9K	christophe c March 2011
Problème #18 de Smale	Fractalus March 2011	3	2.1K	christophe c March 2011
Démonstration automatique en Géométrie	projetmbc March 2011	0	460	projetmbc March 2011
Atomes	Utilisateur anonyme February 2011	5	2.1K	christophe c March 2011
Logique	cheq January 2011	4	1.6K	christophe c March 2011
Preuve "simple" de Card N<Card R	projetmbc December 2010	9	5.9K	christophe c March 2011
Théorie exponentielle décidable	FrançoisD February 2011	2	1.2K	christophe c March 2011
Axiomatique du calcul propositionnel	Martial February 2011	1	1.7K	christophe c February 2011
Proposition vraie.	Jean-Louis January 2011	17	8.4K	samok February 2011
équations	Caprissun February 2011	3	1.2K	Caprissun February 2011
Logique floue	dzidzi January 2011	0	514	AitJoseph February 2011
logique élémentaire	joany February 2011	9	4K	gerard0 February 2011
clôture transitive et fondation	Archimondain February 2011	2	1K	GG February 2011
ETAC Saunders Mac Lane	jean-baptiste January 2011	1	758	jobherzt February 2011
Relations binaires	Utilisateur anonyme February 2011	7	1.3K	Bruno February 2011
Après la devinette d'Einstein, à Boolos	samok June 2010	9	5.9K	abdou93 February 2011
Lecture en logique mathématique	dzidzi January 2011	0	572	Liautard January 2011
Logique et conjectures Fermé	Bizartizen January 2011	4	1.4K	Eric Chopin January 2011
Suites de Goodstein nième épisode	Martial November 2010	11	5.4K	Martial January 2011
Ordinaux... relatifs ?	TigerFou January 2011	2	1.3K	TigerFou January 2011
Fondements Mathématiques	flo7 June 2009	8	5.1K	mastermind January 2011
probas ou croyance ?	LemDeZorn January 2011	3	1.4K	LemDeZorn January 2011
Des réseaux à la fois logiques et sémantiques	JYT January 2011	0	277	JYT January 2011
A la recherche de la relation perdue	Utilisateur anonyme January 2011	2	1.7K	Utilisateur anonyme January 2011
Ensembles fortement non définissables	Martial January 2011	0	1.1K	christophe c January 2011
Schéma de réflexion	Martial January 2011	3	2.8K	ccnc January 2011
Plongements élémentaires	Martial December 2010	3	1.7K	christophe c January 2011
Incomplétude ou incohérence ?	Jamel Ghanouchi January 2011	1	1K	Jamel Ghanouchi January 2011
grands cardinaux	Martial0 December 2002	29	10.6K	christophe c January 2011
Question de théorie des ensembles	Débutant January 2011	5	2.3K	Débutant January 2011
Valeur de vérité d'un ensemble de ...	romy59 January 2011	0	374	romy59 January 2011
la formule est-elle un théorème	romy59 January 2011	16	4.3K	GG January 2011
Implication logique et ordre dense.	Utilisateur anonyme December 2010	1	672	Utilisateur anonyme January 2011
Signature d'une algèbre universelle Fermé	Claude 1 January 2011	0	824	Claude 1 January 2011
Logique intuitionniste	backtobasics0 April 2009	7	8.2K	trinity_X_18 December 2010
infinité de chiffres avant ET après la virgule	[Utilisateur supprimé] December 2010	1	1.2K	jean lismonde December 2010
Pourquoi "exactement" ?	bs December 2010	33	15.4K	gerard0 December 2010
Indécidabilité de l'arithmétique	[Utilisateur supprimé] December 2010	7	1.8K	[Utilisateur supprimé] December 2010