Fondements et Logique — Les-mathematiques.net

Fondements et Logique

Ce forum n'a pas de description.

Liste de discussions

Discussion
Créé par
Réponses
Lectures
Dernière réponse
Exercice Cori Lascar
RaskolnikovRaskolnikov
2
643
RaskolnikovRaskolnikov
Langage formel
MandaManda
16
1.9K
serge burckelserge burckel
20 000$ offerts à qui résout ce problème
708708
36
4.4K
PoirotPoirot
5 exercices pour OShine 12...78
christophe cchristophe c
353
50.9K
RescassolRescassol
Utilité des Bourbaki ?
Jean-LouisJean-Louis
25
2.8K
Jean-LouisJean-Louis
Définition formelle de sinus et de cosinus
diamatixdiamatix
39
4.8K
HéhéhéHéhéhé
Incomplétude de Gödel
Fabien SabinetFabien Sabinet
28
3K
MartialMartial
Application "to-one"
Code_NameCode_Name
3
620
MartialMartial
Les entiers naïfs ne remplissent pas $\N$
Jean-LouisJean-Louis
14
2K
MartialMartial
Composées de relations
ArthurArthur
1
557
christophe cchristophe c
Théorème de Cantor-Bernstein
20100N20100N
29
4.4K
christophe cchristophe c
Un peu de théorie effective
MartialMartial
10
1.4K
ChaurienChaurien
Un petit jeu de cartes et logique
ColadiColadi
5
887
raoul.Sraoul.S
Achille et la tortue et axiome de l'infini.
Jean-LouisJean-Louis
1
486
FoysFoys
Logique élémentaire
ThalèsThalès
12
1.6K
FoysFoys
Tailles des infinis, ou Cantor et à travers
Khee NokKhee Nok
31
3.2K
Khee NokKhee Nok
La quadrature du cercle
Fermé
KenshiroKenshiro
2
609
ADAD
L'implication 12
Fermé
massimassimomassimassimo
51
7.9K
ADAD
Lorsqu'on prouve (i) => (ii) => (iii) => (i)
milesmiles
10
1.3K
JLTJLT
Enoncé dépendant de deux variables
Mohammed RMohammed R
1
481
christophe cchristophe c
Identité remarquable indécidable
Quentino37Quentino37
23
3.1K
jean lismondejean lismonde
Petite taille dans $\mathbb R^n$
christophe cchristophe c
0
324
christophe cchristophe c
Problème de l'isomorphisme des graphes
serge burckelserge burckel
46
6.6K
serge burckelserge burckel
Tribus
christophe cchristophe c
2
708
christophe cchristophe c
Les sorciers du bus
dfdf
40
5.7K
DomiDomi
Un paradoxe
rosabrosab
10
1.8K
christophe cchristophe c
Méthode de résolution
RaskolnikovRaskolnikov
0
339
RaskolnikovRaskolnikov
Alias vers connecteur implication
Fermé
christophe cchristophe c
0
454
FoysFoys
Calcul le plus dur du monde
Fermé
_OmegaSigmaDelta_OmegaSigmaDelta
0
159
_OmegaSigmaDelta_OmegaSigmaDelta
Exemples d'égalités non symétriques
JP2021JP2021
25
3.5K
FoysFoys
Isomorphisme de foncteurs
Bonux73Bonux73
15
2.2K
Bonux73Bonux73
Pirates, coffre au trésor, nb min de serrures
EnpassantEnpassant
4
997
PetitLutinMalicieuxPetitLutinMalicieux
Remarques logiques sur Cayley Hamilton
christophe cchristophe c
3
948
christophe cchristophe c
Équivalence syntaxique
RaskolnikovRaskolnikov
19
3.3K
christophe cchristophe c
Axiome de l'infini et entiers naturels 123
Homo TopiHomo Topi
142
35K
MartialMartial
Sur une construction de N
fricadellefricadelle
1
690
fricadellefricadelle
Lemme de Zorn
Pablo_de_retourPablo_de_retour
10
1.8K
MaxtimaxMaxtimax
Une simple question sur la définition de Z 12
JP2021JP2021
61
9K
FoysFoys
Quelques bizarreries de $ \mathbb{N} $
Pablo_de_retourPablo_de_retour
9
1.7K
MartialMartial
Preuves hasardeuses
christophe cchristophe c
7
3.1K
grothenbietegrothenbiete
Success message!