Fondements et Logique

Ce forum n'a pas de description.

Discussion	Créé par	Réponses	Lectures	Dernière réponse
Opérations sur les réels.	Jean-Louis 28 May	30	313	GaBuZoMeu 31 May
Transformer un couple en un couple d'ensembles disjoints	Congru 29 Mar	21	421	Congru 21 May
Morse-Kelley vs modèles standard	Martial 19 May	11	193	Martial 21 May
Paradoxes.	Jean-Louis 12 May	25	445	JLapin 14 May
Valeur de vérité associée à une théorie	Congru 12 May	2	142	Congru 12 May
Problème de la capture (variable capture)	Congru 6 May	8	259	Congru 11 May
Question de débutant sur l'implication	Lirone93 10 Apr	39	804	Lirone93 10 May
Preuve et alpha-équivalence	Congru 2 May	14	265	Congru 10 May
Relation d'ordre strict	Amadou 1 May	28	446	Amadou 8 May
Existence d'une suite strictement croissante majorée dans un ensemble ordonné filtrant ?	amafhh 6 May	1	66	Foys 6 May
Question à propos de la composition d'applications	Velvet 3 May	3	96	Velvet 4 May
Difference de notation entre $:=$ et $=$	Amadou 29 Apr	33	661	lourrran 1 May
L’argument diagonal selon Wikipédia 1 2...6 7	Sneg April 2023	319	5.3K	AlainLyon 24 Apr
Preuves syntaxiques du théorème de Herbrand et de la déskolémisation (sans égalité).	Foys 22 Apr	9	214	Foys 23 Apr
Arithmétique ordinale alternative?	Titi le curieux 22 Apr	3	164	Heuristique 23 Apr
Quand a-t-on utilisé pour la première fois la notation $\delta_{\varepsilon}$ ?	Cyrano 22 Apr	27	390	Foys 22 Apr
Conjecture ordinaux	EtNonLesShills 10 Apr	9	309	EtNonLesShills 13 Apr
Mes parents et moi	Sneg 6 Apr	7	377	Sneg 8 Apr
Aide sur un TD 1 2	Amadou 2 Apr	53	853	Amadou 7 Apr
Raisonnement par l'absurde et contraposée	Lao December 2023	48	1.5K	Lirone93 6 Apr
RÉSOLU - Implication vraie ou fausse	shinitchi 5 Apr	23	349	shinitchi 6 Apr
Ensemble vide	Alexis6 4 Apr	7	375	Alexis6 5 Apr
Égalité de paires	Alexis6 3 Apr	4	134	Alexis6 3 Apr
Relation d'ordre sur $\N$	GG 1 Apr	20	402	GG 3 Apr
Ensemble des parties	Alexis6 2 Apr	18	321	Congru 2 Apr
La place du langage dans la preuve	Congru 18 Feb	16	610	Congru 2 Apr
Problème dans la démonstrations du théorème de complétude	Congru 29 Mar	13	346	Congru 1 Apr
Sur les groupes fondés sur les entiers dont tous les éléments sont d'ordre fini Fermé	AlainLyon 29 Mar	3	203	i.zitoussi 29 Mar
Des suédois	Sneg 26 Mar	7	252	Piteux_gore 27 Mar
Contre-exemple difficile à trouver	EtNonLesShills 26 Mar	3	250	raoul.S 26 Mar
Utilisation de l'implication dans la définition de l'inclusion	SiouxP 6 Mar	22	478	Amadou 25 Mar
Complétude ou incomplétude ?	Neknek 19 Mar	18	387	Neknek 24 Mar
Sur le désintérêt moderne concernant la logique bayésienne	Bibix 20 Mar	7	354	Georges Abitbol 21 Mar
Rudiments de logique (L1)	Amadou 17 Mar	21	496	Zermel0 20 Mar
Comment bien rédiger 1 2 3	Amadou 21 Feb	124	2K	JLapin 10 Mar
Égalité et inclusion d'ensembles	Amadou 5 Mar	8	212	Dom 5 Mar
Apprentissage de la syntaxe	Amadou 4 Mar	40	580	Amadou 5 Mar
Compréhension des termes utilisés	Amadou 3 Mar	13	250	Amadou 3 Mar
Dans quel modèle ? Fermé	samok 25 Feb	10	238	AD 25 Feb
Élément logique - équivalence	Lilouain 9 Feb	4	189	gebrane 10 Feb