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

Lambda-calcul, formes normales, types (166 vues)

par marco
15 il y a 59 minutes
Dernier message par marco

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

par OShine
577 il y a deux jours
Dernier message par christophe c

Un exercice sous AD (1114 vues)

par christophe c
21 il y a trois jours
Dernier message par christophe c

Cardinal (229 vues)

par jm14d
20 il y a cinq jours
Dernier message par christophe c

La thèse de Woodin (186 vues)

par Martial
7 il y a cinq jours
Dernier message par Martial

Tarski... (63 vues)

par Thierry POMA
1 il y a six jours
Dernier message par Thierry POMA

Catégories et NBG (81 vues)

par Manda
2 il y a six jours
Dernier message par Maxtimax

Priorité quantificatrice (74 vues)

par Martial
2 il y a six jours
Dernier message par Maxtimax

Correspondance biunivoque (115 vues)

par Raskolnikov
7 il y a sept jours
Dernier message par Raskolnikov

Exercice dans le livre de Paul Halmos (231 vues)

par Raskolnikov
7 il y a huit jours
Dernier message par Thierry POMA

Pas de bon ordre sur $\R$ ? (2564 vues)   (Aller à la page: 1 2)

par serge burckel
60 il y a neuf jours
Dernier message par christophe c

Projet $P\not=NP$ (7200 vues) Pièces jointes   (Aller à la page: 1 2 3)

par serge burckel
111 il y a neuf jours
Dernier message par serge burckel

Un doute sur un exercice de JLT (138 vues)

par Athanagor
3 il y a dix jours
Dernier message par Foys

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

par christophe c
1 232 il y a dix jours
Dernier message par christophe c

Livre sur la théorie des ensembles (115 vues)

par Raskolnikov
3 il y a dix jours
Dernier message par Raskolnikov

Dernières mises à jour (328 vues)

par Martial
11 il y a onze jours
Dernier message par Martial

Ensemble transitif (486 vues)

par Raskolnikov
23 il y a douze jours
Dernier message par Raskolnikov
Déplacé

Existence de Dieu (170 vues)

par gugus13
  Déplacé

Ordinaux et cardinaux (608 vues)

par christophe c
21 il y a treize jours
Dernier message par Thierry POMA

La logique selon vous (917 vues)

par turboLanding
34 la semaine dernière
Dernier message par christophe c

Intuitionnisme et constructibiité (257 vues)

par christophe c
8 il y a deux semaines
Dernier message par christophe c

Équivalence logique entre trois énoncés (224 vues)

par sasaki93
8 il y a deux semaines
Dernier message par christophe c

Le mystère des ordinaux (387 vues)

par chat d'eau
12 il y a deux semaines
Dernier message par christophe c

Preuves hasardeuses (299 vues)

par christophe c
8 il y a deux semaines
Dernier message par christophe c

Construction de $\mathbb{R}$ et AC (393 vues)

par Homo Topi
21 il y a deux semaines
Dernier message par christophe c

Principes combinatoires (299 vues)

par Martial
15 il y a deux semaines
Dernier message par Martial

Produits infinis de signes et choix (99 vues)

par Palabra
3 il y a deux semaines
Dernier message par Palabra

Univers... (407 vues)

par Thierry POMA
12 il y a deux semaines
Dernier message par Thierry POMA

Références fondements mécanique quantique (1027 vues)

par grothenbiete
23 il y a deux semaines
Dernier message par Héhéhé

Conjectures en théorie des topoï (1015 vues)

par Pablo_de_retour
18 il y a deux semaines
Dernier message par Pablo_de_retour
Déplacé

Mécanique quantique après prépa (13 vues)

par Hilbertius le néophyte
  Déplacé

Choix et Lebesgue (389 vues)

par christophe c
12 il y a trois semaines
Dernier message par christophe c

Noeuds (249 vues)

par christophe c
7 il y a trois semaines
Dernier message par christophe c

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

par christophe c
798 il y a trois semaines
Dernier message par christophe c

Unification de mes travaux (6026 vues)   (Aller à la page: 1 2)

par christophe c
72 il y a trois semaines
Dernier message par christophe c

L'analyse non standard (1393 vues)

par Calli
35 il y a trois semaines
Dernier message par Calli

Parcours mixte math fonda/logique (720 vues)

par grothenbiete
17 il y a trois semaines
Dernier message par grothenbiete

Plus petit ensemble indénombrable (369 vues)

par chat d'eau
8 il y a trois semaines
Dernier message par christophe c

Des souris et des pré-souris (473 vues)

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

Viré (32810 vues)   (Aller à la page: 1 ... 4 5 6)

par christophe c
277 il y a quatre semaines
Dernier message par geo

Lambda-calcul et fonctions récursives (372 vues)

par marco
9 il y a quatre semaines
Dernier message par marco

Logique, maths, lois sociétales, MQuantique (331 vues)

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

Travaux de Jacob Lurie (655 vues)

par ignatus
12 il y a quatre semaines
Dernier message par ignatus

Sous le bout du possible (376 vues)

par christophe c
8 il y a quatre semaines
Dernier message par Martial

Périphérie de "comprendre la logique" (16204 vues)   (Aller à la page: 1 ... 4 5 6)

par christophe c
298 il y a cinq semaines
Dernier message par gebrane

Un exercice sans background (519 vues)

par christophe c
13 il y a cinq semaines
Dernier message par christophe c

Encore un problème de traduction (313 vues)

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

Expression ambiguë : fonction définie sur E (539 vues)

par Blanc
13 il y a cinq semaines
Dernier message par Martial

Algèbre et analyse (1248 vues)

par ignatus
26 il y a six semaines
Dernier message par Maxtimax

Différence symétrique générale (227 vues)

par Yann Le Gac
4 il y a six semaines
Dernier message par Maxtimax
Déplacé

Sidéré : soleil se lève au nord-est. (50 vues)

par christophe c
  Déplacé

Ensemble des fonctions partielles (308 vues)

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

AD(N) et Ramsey (3377 vues) Pièces jointes

par axexe
43 il y a sept semaines
Dernier message par christophe c

"ordinaux sans ordre" ? (273 vues)

par chat d'eau
4 il y a sept semaines
Dernier message par Martial

Problème de traduction (1028 vues)

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

Ensembles et applications (MPSI) (345 vues)

par SumProd
4 il y a sept semaines
Dernier message par SumProd

Comment construire cette famille ? (505 vues)

par zazou
8 il y a sept semaines
Dernier message par Titi le curieux

Catégorie syntaxique (612 vues)

par ignatus
11 il y a sept semaines
Dernier message par ignatus

Définition d'interprétation (321 vues)

par geo
4 il y a sept semaines
Dernier message par geo

"Power set axiom" (1263 vues)

par Milamber
22 il y a sept semaines
Dernier message par Foys

Ensemble non vide qui n'aurait pas d'élément (665 vues)

par Pachat
10 le mois dernier
Dernier message par Thierry POMA

Catégories sans objet initial ou final ? (468 vues)

par Pachat
7 le mois dernier
Dernier message par Foys

Un texte de Paul Cohen sur le "forcing" ! (1044 vues) Pièces jointes

par umrk
15 le mois dernier
Dernier message par Poirot

Prouver tout ce qui est prouvable ? (455 vues)

par chat d'eau
5 le mois dernier
Dernier message par christophe c

Liste des forums - Statistiques du forum

Total
Discussions: 143 788, Messages: 1 424 077, Utilisateurs: 26 665.
Notre dernier utilisateur inscrit berinez.


Ce forum
Discussions: 2 326, Messages: 47 231.

 

 
©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