Les-mathematiques.net :: Fondements et Logique

Ce forum est en lecture seule. Rendez-vous sur le nouveau forum!

Pensez à lire la Charte avant de poster !

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


Fondements et Logique

Ce forum n'a pas de description. 
Subject Posts Last Post

Table de vérité (3907 views) Attachments   (Pages: 1 2 3)

by RIKI
113 11/10/2021 05:04PM
Last Post by raoul.S

I0 (encore lui) (286 views)

by Martial
9 11/10/2021 10:48AM
Last Post by Martial

My book (380 views)

by Martial
11 11/07/2021 09:08AM
Last Post by Martial

Prouver que 2 + 2 = 5 (813 views)

by marc 1
19 11/06/2021 11:00PM
Last Post by Dom

Qu'est ce que l'analyse non-standard? (388 views)

by AlainLyon
7 11/06/2021 10:07PM
Last Post by christophe c

Cardinaux m-géants et ultrafiltres (Dehornoy) (246 views)

by FrançoisD
12 11/05/2021 09:40AM
Last Post by Martial

Mise à jour chap 25 (703 views)

by Martial
10 11/05/2021 09:38AM
Last Post by Martial

Logique linéaire (833 views)

by serge burckel
22 11/03/2021 04:05PM
Last Post by marco

Théorie catégories, propriétés universelles (4129 views)   (Pages: 1 2 3)

by Julia Paule
89 10/31/2021 11:29PM
Last Post by flipflop

Modus ponens et implication (221 views)

by geo
3 10/29/2021 01:08PM
Last Post by geo

Logique et relativité (37639 views)   (Pages: 1 2 3 4)

by christophe c
145 10/27/2021 11:56PM
Last Post by raoul.S

Colimites préservées par les isom. naturels (221 views)

by Maru
3 10/26/2021 12:35AM
Last Post by Maru

Modèles et catégories de modèles (91 views)

by ignatus
1 10/25/2021 12:51PM
Last Post by ignatus
This topic has been moved.

Exercice de logique (76 views)

by simohamed
  This topic has been moved.

Formalisme de la théorie des types (589 views)

by Chat-maths
8 10/20/2021 12:08AM
Last Post by Alesha

Cardinaux high-jump (637 views)

by Martial
10 10/17/2021 09:31AM
Last Post by Martial

Pour que P il faut que Q (551 views)

by Nivlem
7 10/12/2021 05:53PM
Last Post by PetitLutinMalicieux

Produit vide (5190 views)   (Pages: 1 2 3)

by Homo Topi
92 10/11/2021 06:58PM
Last Post by GaBuZoMeu
This topic has been moved.

Faut-il presser le bouton qui détruit tout ? (65 views)

by grothenbiete
  This topic has been moved.

Vers l’infini et au-delà (22776 views)   (Pages: 1 ... 7 8 9)

by Sneg
347 10/10/2021 01:31PM
Last Post by gerard0

Démonstration triviale (1629 views)

by Pavel Gorofsky
22 10/08/2021 06:08PM
Last Post by Martial

Idéaux $\omega_2$ saturés (327 views)

by Martial
5 10/08/2021 06:04PM
Last Post by Martial

Encadrement et irationnalité d'un nombre (1077 views) Attachments

by fatiboud
16 10/05/2021 09:05PM
Last Post by Georges Abitbol

Théorie des catégories pour ingénieurs ? (1357 views)

by Wazzi
20 10/05/2021 08:46AM
Last Post by physicius

Vidéos de cours sur les catégories (394 views)

by ignatus
4 10/03/2021 12:03PM
Last Post by ignatus

Conséquences de AD (1232 views)

by Martial
17 10/03/2021 11:18AM
Last Post by Martial

Deux hypothèses (1572 views)

by Sneg
25 10/01/2021 06:21PM
Last Post by PetitLutinMalicieux

Ensembles dans la théorie des ensembles (1323 views)

by Julia Paule
22 10/01/2021 04:59PM
Last Post by Julia Paule

Application qui transporte une loi (906 views)

by Julia Paule
15 09/30/2021 03:11PM
Last Post by Julia Paule

Récurrence généralisée (974 views)

by mehdi
15 09/30/2021 12:59PM
Last Post by Palabra

Schéma de consistance axiomes théorie ens. (897 views)

by AlainLyon
12 09/28/2021 08:43AM
Last Post by Rescassol

Résolution du paradoxe de l’interrogation(V2) (897 views)

by Desi14
11 09/25/2021 06:40PM
Last Post by Desi14

"Il est facile de" 2 (833807 views)   (Pages: 1 ... 33 34 35)

by christophe c
1,380 09/25/2021 04:21PM
Last Post by christophe c

Différence de définition (2285 views)

by Endomorphisme
35 09/24/2021 08:09PM
Last Post by Médiat

Produit vide d'espaces vectoriels (656 views)

by topopot
10 09/24/2021 12:27PM
Last Post by Thierry Poma
This topic has been moved.

Axiomes de la notion d'ensemble. (9 views)

by Pablo_de_retour
  This topic has been moved.

Livre de J.F. Pabion (2700 views)

by Jean-Louis
13 09/20/2021 06:40PM
Last Post by Jean-Louis

Recherche d'un exemple intéressant (597 views)

by Piotr
7 09/20/2021 01:27PM
Last Post by Piotr
This topic has been moved.

Sur les structures locales (0 views)

by Thierry Poma
  This topic has been moved.
This topic has been moved.

Démonstrations qui ne se terminent pas. (75 views)

by Pablo_de_retour
  This topic has been moved.

Écriture d'un couple d'applications (706 views)

by Julia Paule
10 09/17/2021 11:47AM
Last Post by Julia Paule

Inconsistance de ZF, avis des spécialistes ? (2159 views)

by Georges Abitbol
22 09/17/2021 11:03AM
Last Post by Martial

Petite justification ensembliste (1881 views)

by topopot
29 09/17/2021 03:41AM
Last Post by GG

Zéro-dièze (614 views)

by Martial
7 09/14/2021 10:05AM
Last Post by Martial

Variables d'après la logique combinatoire (1482 views)

by Foys
19 09/11/2021 11:06AM
Last Post by Foys

Des cours à distance... (764 views)

by Thierry Poma
8 09/09/2021 11:03PM
Last Post by Martial

Abréviation w.r.t. (395 views)

by Martial
4 09/09/2021 08:55AM
Last Post by Martial

Question sur les catégories (4064 views) Attachments   (Pages: 1 2)

by topopot
51 09/09/2021 08:04AM
Last Post by Julia Paule

Majorant d'une limite inductive (547 views)

by mehdi
7 09/08/2021 09:32AM
Last Post by mehdi

Hiérarchie des ordinaux ? (2696 views)   (Pages: 1 2)

by Homo Topi
43 09/07/2021 06:14PM
Last Post by Poirot

Théories des ensembles (1312 views)

by Jean-Louis
18 09/07/2021 05:17PM
Last Post by Milamber

Vidéo et présentation de "Toposes online" (496 views)

by umrk
3 09/06/2021 09:07PM
Last Post by Dreamer

Définition d'une application/fonction (441 views)

by Ignotus
5 09/06/2021 01:50PM
Last Post by Thierry Poma

Théorème d'Ehrenfeucht-Mostowski (679 views)

by Martial
10 09/06/2021 12:18PM
Last Post by Martial

Mot "type" dans la théorie des ensembles (2844 views)   (Pages: 1 2)

by Julia Paule
44 09/06/2021 08:37AM
Last Post by Julia Paule

Qu'est-ce qu'une démonstration ? (438 views)

by Foys
3 09/05/2021 03:52PM
Last Post by Dreamer

Langage ensembliste de base avec définitions. (2847 views)

by Foys
25 09/05/2021 01:07PM
Last Post by Thierry Poma

Vision platonicienne des mathématiques ? (21711 views)   (Pages: 1 ... 4 5 6)

by umrk
212 09/03/2021 08:03PM
Last Post by umrk

Bon ordre sur $\R$ (4045 views)   (Pages: 1 2)

by Jean-Louis
55 09/02/2021 02:27PM
Last Post by Poirot

Chap 25 (193 views)

by Martial
1 09/01/2021 07:05PM
Last Post by Martial

Applications entre ensembles (1577 views)

by Julia Paule
19 09/01/2021 11:22AM
Last Post by jared94

Logique et arithmétique (392 views)

by xax
5 08/30/2021 11:00PM
Last Post by xax

Axiome du choix (380 views)

by Pablo_de_retour
3 08/30/2021 02:22PM
Last Post by Pablo_de_retour

Petite question sur la théorie des ensembles (3853 views)   (Pages: 1 2)

by Julia Paule
60 08/29/2021 02:34PM
Last Post by raoul.S

Success message!