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
227 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

Forme normale disjonctive simplifiée (1385 vues)

par Raskolnikov
17 il y a trois mois
Dernier message par PetitLutinMalicieux

Lacunes mathématiques face à TQ (698 vues)

par christophe c
5 il y a trois mois
Dernier message par christophe c

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

par Julia Paule
78 il y a trois mois
Dernier message par christophe c

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

par grothenbiete
28 il y a trois mois
Dernier message par christophe c

Exo pour distraire Martial (451 vues)

par christophe c
3 il y a trois mois
Dernier message par christophe c

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

par barbubabytoman
75 il y a trois mois
Dernier message par christophe c

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

par barbubabytoman
6 il y a trois mois
Dernier message par christophe c

Ensemble inductif (2455 vues)

par Julia Paule
32 il y a trois mois
Dernier message par Julia Paule
Déplacé

Petite inclusion ensembliste (5 vues)

par Code_Name
  Déplacé

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

par Raskolnikov
4 il y a trois mois
Dernier message par Raskolnikov

Lambda-calcul et point fixe (1015 vues)

par jingenbl
12 il y a trois mois
Dernier message par christophe c

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

par umrk
4 il y a trois mois
Dernier message par Maxtimax

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

par Turandot
8 il y a trois mois
Dernier message par Turandot

Les rois et les sujets (3448 vues)

par kosh75
35 il y a trois mois
Dernier message par gerard0

Démonstration formelle en logique (21051 vues)

par SylvainK
30 il y a quatre mois
Dernier message par raoul.S

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

par tého
27 il y a quatre mois
Dernier message par Martial

Arbre de positions (1177 vues)

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

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

par Raskolnikov
5 il y a quatre mois
Dernier message par Raskolnikov

I0 (1749 vues)

par Martial
21 il y a quatre mois
Dernier message par Martial

Conclusion (1234 vues)

par Sneg
13 il y a quatre mois
Dernier message par christophe c

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

par IchigoKurosaki14
10 il y a quatre mois
Dernier message par gerard0

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

par Martial
17 il y a quatre mois
Dernier message par christophe c

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

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

Les axiomes rank-into-rank (526 vues)

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

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

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

I have a dream (1707 vues)

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

Un scoop que je partage (9783 vues)

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

L'axiome I3 (1408 vues)

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

Question d'un ignare (4334 vues)

par umrk
40 il y a quatre mois
Dernier message par Martial

Test de logique (4582 vues) Pièces jointes

par Flora
44 il y a quatre mois
Dernier message par Lucas-

Longueur d'une formule (429 vues)

par Raskolnikov
4 il y a quatre mois
Dernier message par Poirot

Inconsistance (300 vues)

par Martial
2 il y a quatre mois
Dernier message par Martial

Le forcing a des applications pratiques ! (547 vues)

par umrk
4 il y a quatre mois
Dernier message par christophe c

Le livre de Yuri Manin (230 vues)

par ignatus
1 il y a quatre mois
Dernier message par ignatus

I3 vs hugeness (1753 vues)

par Martial
20 il y a quatre mois
Dernier message par Martial

Un peu de hugeness (222 vues)

par Martial
1 il y a quatre mois
Dernier message par Martial

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

par superpower
2 il y a quatre mois
Dernier message par Martial

Famille orthogonale de vecteurs (695 vues)

par mehdi
7 il y a quatre mois
Dernier message par Georges Abitbol

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

par axexe
76 il y a quatre mois
Dernier message par axexe

Conférence de Woodin (1029 vues)

par Poirot
9 il y a quatre mois
Dernier message par axexe

Cardinaux Vopenka (224 vues)

par Martial
1 il y a quatre mois
Dernier message par Martial

Cardinaux extensibles (1622 vues)

par Martial
17 il y a quatre mois
Dernier message par Rescassol

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

par Cantor-Bernstein
17 il y a quatre mois
Dernier message par christophe c

Un problème de traduction (562 vues)

par Martial
5 il y a quatre mois
Dernier message par Martial

Affirmation fausse ou non évaluable (952 vues)

par mlg1978
9 il y a quatre mois
Dernier message par Foys

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

par Pablo_de_retour
11 il y a quatre mois
Dernier message par christophe c

Supercompact vs HGC (3364 vues)

par Martial
33 il y a quatre mois
Dernier message par Martial

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

par Educ
6 il y a quatre mois
Dernier message par GG

Une énigme (2062 vues)

par tého
23 il y a cinq mois
Dernier message par Dom

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

par Calli
98 il y a cinq mois
Dernier message par Martial

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

par SinusSlide
6 il y a cinq mois
Dernier message par PetitLutinMalicieux

Reinhardt (646 vues)

par Martial
5 il y a cinq mois
Dernier message par Martial

Un exemple de couple d'ensembles (449 vues)

par topopot
3 il y a cinq mois
Dernier message par topopot

Équivalence ? (2158 vues)

par babsgueye
19 il y a cinq mois
Dernier message par babsgueye

Hypothèse du continu ? (3545 vues)

par umrk
35 il y a cinq mois
Dernier message par axexe

Univers et grands cardinaux (1915 vues)

par petit-o
21 il y a cinq mois
Dernier message par Thierry Poma

Une histoire sur l'$\infty$ (2709 vues) Pièces jointes

par Cantor-Bernstein
24 il y a cinq mois
Dernier message par Ludwig

Propriété, proposition, théorème et assertion (522 vues)

par topopot
4 il y a cinq mois
Dernier message par topopot

Définition d'un couple (2448 vues)

par marco
23 il y a cinq mois
Dernier message par marco

Mesurable vs fortement compact (382 vues)

par Martial
3 il y a cinq mois
Dernier message par Martial

Le livre "Set Theory" de Thomas Jech (2243 vues)

par Thierry Poma
21 il y a cinq mois
Dernier message par christophe c

Forme linéaire (663 vues)

par zephir
5 il y a cinq mois
Dernier message par christophe c

Shelah vs Woodin (2341 vues)

par Martial
27 il y a cinq mois
Dernier message par Martial

Caractérisation des ordinaux limites (1174 vues)

par Raskolnikov
11 il y a cinq mois
Dernier message par Thierry Poma

Liste des forums - Statistiques du forum

Total
Discussions: 149 228, Messages: 1 506 987, Utilisateurs: 27 661.
Notre dernier utilisateur inscrit ibra.


Ce forum
Discussions: 2 516, Messages: 51 075.

 

 
©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