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

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

par geo
4 il y a dix mois
Dernier message par geo

"Power set axiom" (4644 vues)

par Milamber
22 il y a dix mois
Dernier message par Foys

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

par Pachat
10 il y a dix mois
Dernier message par Thierry Poma

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

par Pachat
7 il y a dix mois
Dernier message par Foys

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

par umrk
15 il y a dix mois
Dernier message par Poirot

Prouver tout ce qui est prouvable ? (1410 vues)

par chat d'eau
5 il y a dix mois
Dernier message par christophe c

Théorie des tresses (3155 vues)

par FrançoisD
13 il y a dix mois
Dernier message par FrançoisD

Théorie et paradigme quantique (11312 vues) Pièces jointes   (Aller à la page: 1 2)

par christophe c
52 il y a dix mois
Dernier message par xax

Fonction borélienne de classe $\xi$ (722 vues)

par Saturne
2 il y a dix mois
Dernier message par Saturne

ZF, ZFC et Peano (5439 vues)

par ciola
27 il y a onze mois
Dernier message par ciola

Paradoxe de Skolem (4277 vues)

par PelucheCanard
20 il y a onze mois
Dernier message par Martial

Raisonnements : règle du jeu (626 vues)

par christophe c
1 il y a onze mois
Dernier message par christophe c

Axiome 3 du Ramis-Dechamps-Odoux (2866 vues)

par abcde
13 il y a onze mois
Dernier message par abcde

Démontrer que $A\cup\emptyset=A$ (9863 vues)

par Ilexiste
47 il y a onze mois
Dernier message par christophe c

Objet final dans Ens (6700 vues)

par Pachat
31 il y a onze mois
Dernier message par Thierry Poma

Une convention (2942 vues)

par elouadih
13 il y a onze mois
Dernier message par christophe c

Logique formelle de la gestion de contraintes (492 vues)

par Romyna
1 il y a onze mois
Dernier message par Romyna

Ordinaux, encore (38334 vues)   (Aller à la page: 1 2 3 4)

par Homo Topi
184 il y a onze mois
Dernier message par christophe c

Que doivent faire les fondements ? (10051 vues)

par Maxtimax
47 il y a onze mois
Dernier message par christophe c

Bijection $\mathbb R=\mathcal P(\mathbb N)$ (15103 vues)

par Pablo_de_retour
42 il y a onze mois
Dernier message par Martial

Langage, logique / Aider un intervenant (13146 vues)   (Aller à la page: 1 2)

par Chaurien
58 il y a onze mois
Dernier message par raoul.S

Produit cartésien (2395 vues)

par nckgtr
11 il y a onze mois
Dernier message par christophe c

Union (notation) (1273 vues)

par Saturne
5 il y a onze mois
Dernier message par christophe c

Target theorem (1157 vues)

par christophe c
4 il y a onze mois
Dernier message par christophe c

Théorème de complétude de Gödel (3891 vues)

par Pablo_de_retour
18 il y a onze mois
Dernier message par christophe c

Théorie de l'unification (9864 vues)

par Pablo_de_retour
46 il y a onze mois
Dernier message par Homo Topi

Les génies (8690 vues)

par christophe c
41 il y a onze mois
Dernier message par christophe c

Relativité + mondes parallèles + $c= \infty$ (15244 vues)   (Aller à la page: 1 2)

par christophe c
71 il y a onze mois
Dernier message par christophe c

Forcing propre again (3301 vues)

par Martial
16 il y a onze mois
Dernier message par christophe c

Relation ou transformation ? (1361 vues)

par hbx360
5 il y a onze mois
Dernier message par hbx360

Idéaux et Banach (1532 vues)

par Martial
7 il y a onze mois
Dernier message par Martial

Hilbert = araignée (1660 vues)

par christophe c
7 il y a onze mois
Dernier message par christophe c

Un ensemble ? (8962 vues)

par gai requin
45 il y a onze mois
Dernier message par christophe c

Superdensité (961 vues)

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

PFA et supercompact (2434 vues)

par Martial
12 il y a onze mois
Dernier message par christophe c

Itérations (1084 vues)

par christophe c
4 il y a onze mois
Dernier message par christophe c

Hiérarchie de Borel (4050 vues)

par Saturne
20 il y a onze mois
Dernier message par christophe c

Logique formelle (4992 vues) Pièces jointes

par CamilleLenguin
23 il y a onze mois
Dernier message par gai requin

Moi grosse lacune: Matiyasevic (15623 vues)   (Aller à la page: 1 2)

par christophe c
74 il y a onze mois
Dernier message par christophe c

Ordinaux indécomposables (802 vues)

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

Une TM qui stoppe ssi ZFC est inconsistant (8778 vues)

par Héhéhé
42 il y a onze mois
Dernier message par christophe c

Raisonnement par l'absurde (8705 vues)

par Homo Topi
43 l’an passé
Dernier message par christophe c

Stationnaires à la Jech (5760 vues)

par Martial
29 l’an passé
Dernier message par christophe c

Un système linéaire pour une variante de SAT (1408 vues) Pièces jointes

par serge burckel
5 l’an passé
Dernier message par christophe c

Logique et relativité (26176 vues)   (Aller à la page: 1 2)

par christophe c
99 l’an passé
Dernier message par christophe c

Introduction à la logique (1408 vues)

par Polka
5 l’an passé
Dernier message par christophe c

Preuve géométrique - équipotence - validité ? (5911 vues) Pièces jointes

par Cantor-Bernstein
28 l’an passé
Dernier message par Cantor-Bernstein

Donner du sens à une formule (1619 vues)

par Pablo_de_retour
6 l’an passé
Dernier message par christophe c

Paradoxe de Banach Tarski (16933 vues)   (Aller à la page: 1 2)

par Jean-Louis
61 l’an passé
Dernier message par Jean-Louis

Lemme de maximalité (2913 vues)

par Martial
14 l’an passé
Dernier message par christophe c

Projet logique nombres premiers (1353 vues)

par christophe c
5 l’an passé
Dernier message par christophe c

Preuves (4176 vues)

par Math912
20 l’an passé
Dernier message par Dom

Surjection de IR sur P(omega1) (897 vues)

par christophe c
3 l’an passé
Dernier message par christophe c

Injections dans les topos (14115 vues)   (Aller à la page: 1 2)

par Alesha
67 l’an passé
Dernier message par christophe c

Construction algébrique de $ \mathbb{R}_1 $. (642 vues)

par Pablo_de_retour
1 l’an passé
Dernier message par Pablo_de_retour

Je voudrais un ordinal (1822 vues)

par Calli
8 l’an passé
Dernier message par raoul.S

Sémantique de Kripke-Joyal. (5216 vues)

par Pablo_de_retour
25 l’an passé
Dernier message par christophe c

Cadeau pour Martial (et Georges) (3988 vues)

par christophe c
19 l’an passé
Dernier message par christophe c

Indécidabilité. (1587 vues)

par Pablo_de_retour
6 l’an passé
Dernier message par christophe c

Conjonction et forcing (4386 vues)

par Martial
21 l’an passé
Dernier message par Martial

Présenter de manière correcte (11413 vues)   (Aller à la page: 1 2)

par Boole et Bill
52 l’an passé
Dernier message par christophe c

Axiome de détermination (2947 vues)

par christophe c
13 l’an passé
Dernier message par christophe c

Un théorème sur les anneaux (987 vues)

par christophe c
3 l’an passé
Dernier message par christophe c

La célébrité des scientifiques (2328 vues)

par christophe c
8 l’an passé
Dernier message par xax

Liste des forums - Statistiques du forum

Total
Discussions: 149 229, Messages: 1 507 001, Utilisateurs: 27 661.
Notre dernier utilisateur inscrit ibra.


Ce forum
Discussions: 2 517, Messages: 51 078.

 

 
©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