Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
294 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Fondements et Logique

Ce forum n'a pas de description. 
Sujet Messages Dernier message

Comprendre la logique des mathématiques (75212 vues)   (Aller à la page: 1 ... 10 11 12)

par OShine
592 il y a 50 minutes
Dernier message par Alexique

Preuve bizarroïde à améliorer (312 vues)

par christophe c
22 il y a vingt heures
Dernier message par christophe c

"Il est facile de" 2 (626861 vues)   (Aller à la page: 1 ... 24 25 26)

par christophe c
1 298 hier, 01:27
Dernier message par christophe c

Un théorème de Maxtimax que j'isole (279 vues)

par christophe c
20 hier, 11:16
Dernier message par Martial

Viré (60521 vues)   (Aller à la page: 1 ... 5 6 7)

par christophe c
306 il y a deux jours
Dernier message par christophe c

Cardinaux mondains again (167 vues)

par Martial
9 il y a quatre jours
Dernier message par Martial

Réunion Intersection quelconque d'une famille (105 vues) Pièces jointes

par Snobi
4 il y a six jours
Dernier message par Snobi

Classiques L1-L2 trop oubliés (244085 vues)   (Aller à la page: 1 ... 15 16 17)

par christophe c
809 il y a huit jours
Dernier message par christophe c

Règles et axiomes des maths (352 vues)

par christophe c
8 il y a huit jours
Dernier message par christophe c

Forme normale disjonctive simplifiée (165 vues)

par Raskolnikov
17 il y a neuf jours
Dernier message par PetitLutinMalicieux

Lacunes mathématiques face à TQ (226 vues)

par christophe c
5 il y a neuf jours
Dernier message par christophe c

Famille = ensemble ? (990 vues)   (Aller à la page: 1 2)

par Julia Paule
78 il y a neuf jours
Dernier message par christophe c

L'univers est "indécidable" (672 vues)

par grothenbiete
28 il y a onze jours
Dernier message par christophe c

Exo pour distraire Martial (122 vues)

par christophe c
3 il y a onze jours
Dernier message par christophe c

Axiome du choix et sections des surjections (1735 vues)   (Aller à la page: 1 2)

par barbubabytoman
75 il y a deux semaines
Dernier message par christophe c

Nom pour la "croissance réciproque" (147 vues)

par barbubabytoman
6 il y a deux semaines
Dernier message par christophe c

Ensemble inductif (691 vues)

par Julia Paule
32 il y a deux semaines
Dernier message par Julia Paule
Déplacé

Petite inclusion ensembliste (5 vues)

par Code_Name
  Déplacé

Théorème de lecture unique (125 vues) Pièces jointes

par Raskolnikov
4 il y a deux semaines
Dernier message par Raskolnikov

Lambda-calcul et point fixe (311 vues)

par jingenbl
12 il y a deux semaines
Dernier message par christophe c

Souvenir de prépa .... (158 vues)

par umrk
4 il y a deux semaines
Dernier message par Maxtimax

Notation "pour tout réel dans un intervalle" (180 vues)

par Turandot
8 il y a deux semaines
Dernier message par Turandot

Les rois et les sujets (1202 vues)

par kosh75
35 il y a deux semaines
Dernier message par gerard0

Démonstration formelle en logique (18726 vues)

par SylvainK
30 il y a deux semaines
Dernier message par raoul.S

Énigme : "théorème" (1095 vues)

par tého
27 il y a deux semaines
Dernier message par Martial

Arbre de positions (364 vues)

par Martial
14 il y a trois semaines
Dernier message par Martial

Formules logiquement équivalentes (160 vues) Pièces jointes

par Raskolnikov
5 il y a trois semaines
Dernier message par Raskolnikov

I0 (590 vues)

par Martial
21 il y a trois semaines
Dernier message par Martial

Conclusion (447 vues)

par Sneg
13 il y a trois semaines
Dernier message par christophe c

Notation d'un ensemble (382 vues) Pièces jointes

par IchigoKurosaki14
10 il y a trois semaines
Dernier message par gerard0

Complexité de l'hypothèse du continu (460 vues)

par Martial
17 il y a trois semaines
Dernier message par christophe c

Opération complète (168 vues) Pièces jointes

par serge burckel
2 il y a quatre semaines
Dernier message par christophe c

Les axiomes rank-into-rank (219 vues)

par Martial
4 il y a quatre semaines
Dernier message par Martial

Énigmes légères grands cardinaux (392 vues)

par christophe c
10 il y a quatre semaines
Dernier message par christophe c

I have a dream (761 vues)

par Pablo_de_retour
14 il y a quatre semaines
Dernier message par Pablo_de_retour

Un scoop que je partage (8230 vues)

par christophe c
24 il y a quatre semaines
Dernier message par christophe c

L'axiome I3 (644 vues)

par Martial
14 il y a quatre semaines
Dernier message par Martial

Question d'un ignare (1986 vues)

par umrk
40 il y a cinq semaines
Dernier message par Martial

Test de logique (1975 vues) Pièces jointes

par Flora
44 il y a cinq semaines
Dernier message par Lucas-

Longueur d'une formule (173 vues)

par Raskolnikov
4 il y a cinq semaines
Dernier message par Poirot

Inconsistance (120 vues)

par Martial
2 il y a cinq semaines
Dernier message par Martial

Le forcing a des applications pratiques ! (270 vues)

par umrk
4 il y a cinq semaines
Dernier message par christophe c

Le livre de Yuri Manin (107 vues)

par ignatus
1 il y a cinq semaines
Dernier message par ignatus

I3 vs hugeness (737 vues)

par Martial
20 il y a cinq semaines
Dernier message par Martial

Un peu de hugeness (93 vues)

par Martial
1 il y a cinq semaines
Dernier message par Martial

Résultat déjà connu ? (154 vues)

par superpower
2 il y a cinq semaines
Dernier message par Martial

Famille orthogonale de vecteurs (298 vues)

par mehdi
7 il y a cinq semaines
Dernier message par Georges Abitbol

AD(N) et Ramsey (10943 vues) Pièces jointes   (Aller à la page: 1 2)

par axexe
76 il y a cinq semaines
Dernier message par axexe

Conférence de Woodin (535 vues)

par Poirot
9 il y a six semaines
Dernier message par axexe

Cardinaux Vopenka (95 vues)

par Martial
1 il y a six semaines
Dernier message par Martial

Cardinaux extensibles (638 vues)

par Martial
17 il y a six semaines
Dernier message par Rescassol

Table de vérité de l'implication (1026 vues)

par Cantor-Bernstein
17 il y a six semaines
Dernier message par christophe c

Un problème de traduction (233 vues)

par Martial
5 il y a six semaines
Dernier message par Martial

Affirmation fausse ou non évaluable (459 vues)

par mlg1978
9 il y a six semaines
Dernier message par Foys

Indécidabilité et négligeabilité (563 vues)

par Pablo_de_retour
11 il y a six semaines
Dernier message par christophe c

Supercompact vs HGC (1451 vues)

par Martial
33 il y a six semaines
Dernier message par Martial

Négation et valeur de vérité (313 vues) Pièces jointes

par Educ
6 il y a six semaines
Dernier message par GG

Une énigme (975 vues)

par tého
23 il y a sept semaines
Dernier message par Dom

Infinité de nombres premiers dans Peano (14171 vues)   (Aller à la page: 1 2)

par Calli
98 il y a sept semaines
Dernier message par Martial

Aide pour le jeu "logigramme" (373 vues) Pièces jointes

par SinusSlide
6 il y a sept semaines
Dernier message par PetitLutinMalicieux

Reinhardt (326 vues)

par Martial
5 il y a sept semaines
Dernier message par Martial

Un exemple de couple d'ensembles (235 vues)

par topopot
3 il y a sept semaines
Dernier message par topopot

Équivalence ? (1296 vues)

par babsgueye
19 il y a sept semaines
Dernier message par babsgueye

Hypothèse du continu ? (1740 vues)

par umrk
35 le mois dernier
Dernier message par axexe

Liste des forums - Statistiques du forum

Total
Discussions: 146 994, Messages: 1 473 203, Utilisateurs: 27 831.
Notre dernier utilisateur inscrit DonMarchesini.


Ce forum
Discussions: 2 465, Messages: 49 525.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page