Fondements et Logique

Ce forum n'a pas de description.

Discussion	Créé par	Réponses	Lectures	Dernière réponse
Théories contradictoires...	Gabenzz 1 Jun	9	149	gerard0 07:15
Définitions des réels à partir des rationnels	Karl_Marx 30 May	49	674	GaBuZoMeu 1 Jun
Comparaison entre ensembles quotients	amafhh 31 May	4	75	Thierry Poma 31 May
ZFC prouve la consistance de Peano	Cyrano 4 May	28	531	Cyrano 31 May
Axiome de fondation	Ch4rstz 27 May	9	151	Martial 30 May
L’argument diagonal selon Wikipédia 1 2...4 5	Sneg 14 Apr	201	2.7K	Médiat_Suprème 27 May
Sur l'implication	tého March 2022	47	590	Dom 26 May
My book 1 2 3 4	Martial November 2021	189	3.5K	Médiat_Suprème 25 May
Langage du premier ordre : de la complétude à l'incomplétude	f_g 3 May	16	262	umrk 22 May
Suite généralisée croissante (net)	amafhh 5 May	7	92	Martial 6 May
La fonction d'Ackermann	Martial 30 Apr	10	195	Thierry Poma 1 May
Écriture formelle	amafhh 30 Apr	7	81	Paul Broussous 30 Apr
Un théorème de Lindström	Martial 25 Apr	2	72	Martial 25 Apr
Équivalences entre plusieurs propositions	Lolo36 23 Apr	4	51	Lolo36 23 Apr
La bonne recette des axiomes de remplacement	la_fonction_vide 23 Apr	0	41	la_fonction_vide 23 Apr
La conséquence logique	samok 16 Apr	12	238	Bibix 20 Apr
Tautologie et table de vérité	Lolo36 15 Apr	9	112	Lolo36 16 Apr
Notions fondamentales	amafhh 28 Mar	7	151	amafhh 28 Mar
$\Bbb N$ peut-il être indénombrable ?	Calli 19 Mar	22	432	Barjovrille 20 Mar
L'île des Purs et des Pires 1 2	Julien_Loertscher 6 Mar	61	843	GaBuZoMeu 10 Mar
Absurdité, absurdité, absurdité	Lolo36 6 Mar	14	230	Lolo36 7 Mar
Trois affirmations 1 2	Sneg 3 Mar	69	516	Sneg 6 Mar
La théorie de Feferman	Martial 5 Mar	6	83	Foys 5 Mar
Que devient cc	gebrane 3 Mar	6	479	zeitnot 4 Mar
Cardinaux inaccessibles	Martial 2 Mar	8	188	Foys 3 Mar
Question de vocabulaire sur les univers	Cyrano 15 Feb	15	225	Cyrano 26 Feb
Pensée pascalienne	Pomme de terre 25 Feb	9	170	Dom 26 Feb
Suite de Goodstein et infini	aspire99 23 Feb	6	108	Médiat_Suprème 24 Feb
Implication	iotala 26 Jan	4	169	Congru 21 Feb
La consistance de ZFA	Martial 18 Feb	10	176	Martial 20 Feb
Unique élément maximal=plus grand élément ?	amafhh 15 Feb	1	75	marco 15 Feb
Négation	Lolo36 3 Feb	42	354	Dom 6 Feb
Perspective multiverse et notation	Martial 4 Feb	2	97	Martial 5 Feb
Diagonale de Cantor	aspire99 1 Feb	20	236	aspire99 2 Feb
Condition entre classes d’équivalence et l’ensemble des parties	LeTFG 20 Jan	5	162	Thierry Poma 22 Jan
Calcul dans un produit tensoriel	[Utilisateur supprimé] 16 Jan	5	168	[Utilisateur supprimé] 16 Jan
Anti-fondation et graphes extensionnels	Martial 12 Jan	15	138	Martial 15 Jan
Référence pour débuter (en logique) ?	LeTFG 11 Jan	8	344	[Utilisateur supprimé] 15 Jan
Fondations de la théorie de l'intégration	Bibix 12 Jan	8	183	raoul.S 12 Jan
Morphismes de groupe	[Utilisateur supprimé] 6 Jan	13	366	Médiat_Suprème 8 Jan

Fondements et Logique

Liste de discussions

Lettre d'information