Fondements et Logique

Ce forum n'a pas de description.

Discussion	Créé par	Réponses	Lectures	Dernière réponse
Axiome de Lusin again	Jean--Louis May 2022	18	266	Foys May 2022
Les variables, encore elles	Foys May 2022	0	81	Foys May 2022
Question futile sur équations du 2nd et 3ème degré.	Jean--Louis May 2022	12	249	Jean--Louis May 2022
Arithmétique de Presburger ?	umrk May 2022	12	292	Foys May 2022
Question sur les enchaînements logique par équivalence	[Utilisateur supprimé] December 2021	49	453	[Utilisateur supprimé] May 2022
Livre "logique fondements et applications".	Jean-Louis May 2022	4	252	Jean-Louis May 2022
o-minimalité	sasaki93 May 2022	11	192	sasaki93 May 2022
Logique et métalogique	Sherwyn April 2022	2	102	Médiat_Suprème April 2022
La théorie de Morse-Kelley	Martial April 2022	4	183	Martial April 2022
Démontrer une égalité	dre April 2022	3	117	dre April 2022
Sur l'ensemble vide (topo-logique)	tého February 2021	33	5.3K	[Utilisateur supprimé] March 2022
Fonctions réciproques définies sur des ensembles infinis ...	Julia Paule February 2022	24	367	Julia Paule March 2022
Définitions précises	evariste21 March 2022	26	268	evariste21 March 2022
Remplacement	[Utilisateur supprimé] February 2022	19	355	Foys March 2022
Que vaut $E^0$ ? 1 2	PierreCap January 2022	67	703	[Utilisateur supprimé] March 2022
Substitution simultanée	[Utilisateur supprimé] February 2022	4	137	[Utilisateur supprimé] March 2022
Inventeurs ou découvreurs	topalg February 2022	31	432	jean lismonde February 2022
Une question de notation stupide ...	FlashZwift February 2022	15	286	[Utilisateur supprimé] February 2022
Indécidable et vrai	AlainLyon February 2022	25	323	Martial February 2022
Proposition et négation	gebismarko January 2022	8	289	gebismarko January 2022
Intersection de sous-classes selon NBG	Palabra January 2022	14	166	Thierry Poma January 2022
Théorème de Cantor - Bernstein	PierreCap January 2022	8	233	PierreCap January 2022
"Il est facile de 2" 1 2...27 28	christophe c October 2014	1.4K	834.4K	Foys January 2022
Axiomatisation de R	Endomorphisme January 2022	26	340	Médiat_Suprème January 2022
Consistance et intuitionnisme	GG December 2021	6	134	christophe c December 2021
Théorème du libre arbitre (pour Georges A)	christophe c December 2021	2	175	christophe c December 2021
Qu'est-ce que l'analyse non-standard ?	AlainLyon November 2021	33	1.4K	Jean--Louis December 2021
Un théorème de Zermelo	Martial December 2021	19	262	Georges Abitbol December 2021
Écriture correcte ?	Endomorphisme December 2021	8	157	GaBuZoMeu December 2021
Question naïve : pair ou impair ?	umrk December 2021	20	280	Dom December 2021
Récurrence forte sans initialisation ? 1 2	FB November 2021	63	1.2K	Martial December 2021
Paradoxe de Banach Tarski again	Jean--Louis December 2021	10	237	Boécien December 2021
Syntaxe et arité des fonctions récursives primitives	sasaki93 November 2021	0	83	sasaki93 November 2021
I0 (encore lui)	Martial November 2021	9	387	Martial November 2021
Implication en logique classique	marco November 2021	5	191	marco November 2021
Relations d'équivalence	alin151616 November 2021	3	108	Thierry Poma November 2021
Test	Martial November 2021	46	361	marsup November 2021
Encadrement et irrationnalité d'un nombre	fatiboud October 2021	16	1.3K	Joaopa November 2021
Table de vérité 1 2 3	RIKI August 2021	115	4.5K	Dom November 2021
Prouver que 2 + 2 = 5	marc 1 October 2021	17	3.3K	Dom November 2021