Fondements et Logique

Ce forum n'a pas de description.

Discussion	Créé par	Réponses	Lectures	Dernière réponse
Logique + catégories / topos : éclaircissements "vus de loin" pour un non spécialiste	f_g 27 Nov	20	443	f_g 28 Nov
Modélisation des preuves formelles	Congru 15 Nov	6	211	Heuristique 16 Nov
Rédaction de l'hérédité dans une preuve par récurrence	Etienne91 15 Nov	7	203	Etienne91 16 Nov
‘Approximation’ efficiente (?) ou non, dans la table de vérité de l’implication logique	sergequark 7 Nov	23	356	GaBuZoMeu 15 Nov
Un nombre c'est quoi ? 1 2 3	Jean--Louis 27 Oct	116	2.3K	Sato 11 Nov
Modèles de PA	damien09 9 Nov	16	224	Médiat_Suprème 10 Nov
Induction	damien09 25 Oct	19	365	Cyrano 29 Oct
Une question de verres	Sneg 25 Oct	3	140	Sneg 25 Oct
L’argument diagonal selon Wikipédia 1 2...4 5	Sneg 14 Apr	230	3.3K	raoul.S 14 Oct
Comment le formalisme mathématique échappe-t-il au paradoxe du menteur ?	Homo Topi 13 Aug	31	563	Homo Topi 5 Oct
Cette écriture a-t-elle un sens ?	amafhh 1 Oct	26	374	amafhh 5 Oct
Clôture transitive	Congru 3 Oct	13	146	Georges Abitbol 4 Oct
Ultrapuissance et complétude	Martial 28 Sep	24	253	Martial 30 Sep
La place de l'absurde	Congru 29 Sep	3	143	Congru 29 Sep
Sommes et produits vides (alerte marronnier) 1 2 3	Homo Topi 29 Jul	110	1.5K	Congru 16 Aug
Peano et récurrence forte	Cyrano 16 Aug	3	67	Cyrano 16 Aug
Contraposée	Lolo36 12 Aug	10	136	Dom 13 Aug
Achille et la tortue	Jean--Louis 9 Aug	16	222	troisqua 10 Aug
Application $f$	Amadou 8 Aug	13	157	Amadou 8 Aug
Lorsque en "logique"	Mar0wwa 5 Aug	7	154	GaBuZoMeu 8 Aug
Ensemble d’involutions	artjozp 5 Aug	13	243	Martial 7 Aug
Anneau factoriel et axiome du choix	marco 4 Aug	8	219	marco 5 Aug
Paradoxe de l'infini	Jean--Louis 3 Aug	29	413	Médiat_Suprème 4 Aug
Caractériser la droite réelle	William_W 3 Aug	4	105	William_W 3 Aug
My book 1 2...4 5	Martial November 2021	207	4.3K	Martial 30 Jul
Nombre et opérateur 1 2	Mister Da March 2021	59	6.4K	igrec27 27 Jul
Mojito bien mérité pour les modérateurs Fermé	samok 22 Jul	20	485	AD 25 Jul
Extraction diagonale	Chalk 18 Jul	6	147	Chalk 18 Jul
Z n'est pas finiment axiomatisable	Martial 7 Jul	7	202	Martial 17 Jul
Ces suites existent-elles ?	[Utilisateur supprimé] 16 Jul	12	195	[Utilisateur supprimé] 16 Jul
Théorème de Felix Bernstein	Thierry Poma 6 Jul	3	130	Foys 6 Jul
Interrogation surprise	samok 28 Jun	20	474	samok 30 Jun
L'axiome de l'infini ne se déduit pas des autres axiomes de ZF	Cyrano 20 Jun	4	135	Georges Abitbol 20 Jun
Paradoxe de Berry	damien09 12 Jun	4	149	damien09 13 Jun
Théories contradictoires... 1 2	Gabenzz 1 Jun	56	964	Gabenzz 12 Jun
Cori/Lascar - erratum	Thierry Poma 10 Jun	6	123	Thierry Poma 10 Jun
Définition de fonction par induction	Barjovrille 9 Jun	2	94	Barjovrille 10 Jun
Raisonnement par récurrence	Piteux_gore 8 Jun	4	86	Médiat_Suprème 8 Jun
Exemple d'incontournabilité du raisonnement par récurrence ?	jkent 5 Jun	25	366	Foys 7 Jun
Raisonnement par analyse-synthèse et double inclusion	Balta62 4 Jun	2	116	SandwichFromage 5 Jun

Fondements et Logique

Liste de discussions

Lettre d'information