Fondements et Logique

Ce forum n'a pas de description.

Discussion	Créé par	Réponses	Lectures	Dernière réponse
Décider de l'indécidabilité	marco July 2009	19	12.1K	marco July 2009
Qu'est-ce que C (ou R ou K[X]...) ?	detourre April 2009	10	4.5K	jean lismonde June 2009
Définition - Equation	Lt-Dan May 2009	8	3.2K	jobherzt June 2009
pb de compréhension de l'implication logique	joany June 2009	20	10.5K	christophe c June 2009
Essai sur les fondements Fermé	jean-yves tallet0 June 2009	3	1.5K	jean-yves tallet0 June 2009
codage de théorèmes	Raphayel0 June 2009	15	7.9K	raphayel June 2009
Système de Hilbert-Ackermann	Jules20 November 2008	1	3.9K	christophe c May 2009
Lemme de Zorn et ensemble vide	edouardo May 2009	11	3.3K	edouardo May 2009
logique booléenne	Shawqi September 2008	5	17.4K	nicolas.patrois May 2009
Modèles, dérivabilité et formules	Bruno_1 May 2009	15	6.5K	Médiat May 2009
Inductif	cyclique May 2009	17	6.1K	cyclique May 2009
mathématiser l'étude de tout	christophe c May 2009	26	8.9K	jean-yves tallet0 May 2009
Erratum	jean-yves tallet0 May 2009	0	783	jean-yves tallet0 May 2009
Essence, puissance, existence formalisées mathématiquement 1 2 3 4 Fermé	Utilisateur anonyme May 2009	165	65.7K	Bruno May 2009
logique combinatoire remixée	christophe c May 2009	11	3.9K	christophe c May 2009
Récursivité et complexité	TigerFou May 2009	3	2.3K	christophe c May 2009
Nouvelle informatique.	jean-yves tallet0 March 2009	24	8.3K	christophe c May 2009
logique linéaire, affine, autre	christophe c May 2009	17	7.2K	christophe c May 2009
Interlimitations fondamentales entre causes et ontologies ? Fermé	jean-yves tallet0 April 2009	35	9.9K	Bruno May 2009
Topologies et théorie des modèles	Arthas May 2006	35	16K	Utilisateur anonyme May 2009
Vos avis sur "Super Topic" Fermé	Utilisateur anonyme April 2009	29	15.3K	AD May 2009
Non-contradiction versus consistance	TigerFou April 2009	19	6.7K	TigerFou April 2009
Super Topic Fermé	Utilisateur anonyme April 2009	48	28.8K	Bruno April 2009
Ensembles et formules fortement minimaux	Neddy Seagoon April 2009	0	905	Neddy Seagoon April 2009
Axiomes de fondement de l'analyse	Jean-Claude April 2009	6	5.2K	christophe c April 2009
Découverte par ordinateur, réalisme et antiréalisme	bs April 2009	29	12.1K	GG April 2009
statut des variables	davidal April 2009	0	1.2K	jean lismonde April 2009
Nouvelles fondations	EmmanuelCh April 2009	35	10.7K	Le barbu rasé April 2009
Raisonnement logique sur des phrases	blastmanu April 2009	0	3.7K	deufeufeu April 2009
Algèbre de Heyting	jesse1 March 2009	1	2.6K	AD March 2009
valeur absolue	mulele March 2009	3	1.4K	GG March 2009
c'est quoi aleph_2-saturation	piiiiiiiiiiiiiii March 2009	6	3.7K	christophe c March 2009
Quelles limites aux calculs "matériels " ?	jean-yves tallet0 March 2009	5	1.7K	jean-yves tallet0 March 2009
Assertions indémontrables	Reï-Vi-Lhô April 2005	24	14.4K	christophe c March 2009
qu'est-ce qu'un ensemble ?	Miaou0 February 2009	12	16.7K	christophe c March 2009
Axiomes de Péano	Utilisateur anonyme March 2009	3	1.4K	Utilisateur anonyme March 2009
lemme de Zorn	fz February 2009	3	3.4K	christophe c March 2009
Comment comprendre le talletien ? Fermé	Utilisateur anonyme March 2009	0	769	Utilisateur anonyme March 2009
algèbre et théorie de la démonstration	piiiiiiiiiiii February 2009	5	3.3K	christophe c March 2009
questions sur le théorème d'incomplétude	point February 2009	8	5.3K	christophe c March 2009