Forum : Logique
  1. Annonce:
    Modération du forum
    L’équipe du forum
    25/01/2020
    Affichages:
    759 332
Ouvrir une nouvelle discussion
Page 1 sur 2 1 DernièreDernière
Affichage des discussions 1 à 75 sur 124

Forum: Logique

Appelée aussi Métamathématique

Intitulé / Auteur Réponses / Affichages Dernier message

  1. inégalité (mathématique).

    Jmlesfrites, 26/07/2026, 06h20, ‎
    • Réponses: 21
    • Affichages: 668
    31/07/2026, 15h52

  2. Programme de numérologie / tarot avancé / fonction des lettres et chiffre

    mikalapach, 02/05/2026, 07h23, ‎
    • Réponses: 1
    • Affichages: 819
    02/05/2026, 07h55

  3. l'infini en logiques mathématiques

    Jmlesfrites, 24/04/2025, 20h49, ‎
    • Réponses: 103
    • Affichages: 4 947
    23/02/2026, 17h49

  4. Vrai ou faux.

    Jmlesfrites, 21/01/2026, 23h27, ‎
    • Réponses: 66
    • Affichages: 2 137
    04/02/2026, 05h59

  5. Théorie de la limite non atteinte

    Alexrdnt, 10/01/2026, 10h37, ‎
    • Réponses: 1
    • Affichages: 785
    10/01/2026, 22h39

  6. Post Un peu d'histoire: construction de l'implication logique.

    B045, 04/11/2025, 09h59, ‎
    • Réponses: 10
    • Affichages: 1 474
    29/11/2025, 14h14

  7. Entier naturel et nombre premier.

    Jmlesfrites, 02/11/2025, 23h48, ‎
    • Réponses: 8
    • Affichages: 1 091
    10/11/2025, 16h38

  8. Et s'il y avait 2 fois plus d'entiers que d'entiers pairs ?

    andretou, 15/10/2020, 14h56, ‎
    • Réponses: 79
    • Affichages: 11 122
    01/10/2025, 12h46

  9. Entre 1 et 2

    Jmlesfrites, 23/08/2025, 18h16, ‎
    • Réponses: 10
    • Affichages: 1 810
    18/09/2025, 10h19

  10. Conjecture la récursivité dans les nombres univers ou comment ces nombres reboot.

    GaelC, 03/06/2025, 22h31, ‎
    • Réponses: 24
    • Affichages: 1 500
    10/07/2025, 16h09

  11. La paradoxe du Barbier

    Jmlesfrites, 29/07/2024, 11h30, ‎
    • Réponses: 11
    • Affichages: 3 244
    10/07/2025, 11h33

  12. Les théorèmes révolutionnaires de Godel.

    Anonyme007, 09/05/2025, 18h54, ‎
    • Réponses: 19
    • Affichages: 1 596
    14/05/2025, 15h18

  13. Banach et Tarski : est ce que les sphères filles sont identiques à la sphère mère ?

    Kiraxel, 02/02/2025, 10h07, ‎
    • Réponses: 98
    • Affichages: 3 942
    20/02/2025, 21h17

  14. Sous-ensembles .

    Jmlesfrites, 18/12/2024, 04h00, ‎
    • Réponses: 16
    • Affichages: 2 413
    13/01/2025, 17h06

  15. Une logique inconnue ?

    Enerlibr, 09/01/2025, 11h46, ‎
    • Réponses: 2
    • Affichages: 2 136
    09/01/2025, 16h06

  16. Achille et la tortue

    kaderben, 27/10/2024, 16h14, ‎
    • Réponses: 10
    • Affichages: 2 661
    05/11/2024, 07h02

  17. à propos de P=NP

    ilelogique, 20/08/2021, 08h58, ‎
    • Réponses: 59
    • Affichages: 12 216
    04/11/2024, 17h53

  18. Zero

    maracanar, 04/11/2024, 15h46, ‎
    • Réponses: 3
    • Affichages: 2 126
    04/11/2024, 17h16

  19. Le théorème de Cantor

    amineyasmine, 22/09/2024, 23h28, ‎
    • Réponses: 11
    • Affichages: 2 624
    24/09/2024, 22h23

  20. l'intersection de tous les ensembles

    amineyasmine, 27/07/2024, 23h59, ‎
    • Réponses: 6
    • Affichages: 2 210
    29/07/2024, 06h40

  21. 1+1=3 , je comprends pas.

    Jmlesfrites, 12/06/2024, 21h37, ‎
    • Réponses: 51
    • Affichages: 6 395
    28/07/2024, 12h57

  22. L’ensemble vide et vide quantique

    amineyasmine, 06/07/2024, 23h28, ‎
    • Réponses: 1
    • Affichages: 2 088
    07/07/2024, 07h38

  23. Conseils pour débutants/ témoignages.

    DidierGustin, 27/04/2024, 15h10, ‎
    • Réponses: 7
    • Affichages: 3 361
    30/06/2024, 22h20

  24. Les théories du négligeable.

    Jmlesfrites, 24/03/2024, 19h05, ‎
    • Réponses: 31
    • Affichages: 5 222
    26/06/2024, 07h20

  25. Sur quoi se base la logique exactement

    visiteur3465, 19/05/2024, 11h02, ‎
    • Réponses: 6
    • Affichages: 2 706
    19/05/2024, 16h16

  26. Question Problème Logique de Comptage.

    0riGin, 29/04/2024, 02h54, ‎
    • Réponses: 30
    • Affichages: 3 400
    30/04/2024, 11h06

  27. Conseil étude de la logique

    ThM55, 17/02/2024, 17h29, ‎
    • Réponses: 4
    • Affichages: 3 759
    23/02/2024, 11h01

  28. Définition de la logique et de la logique formelle

    sebastien2023, 06/01/2024, 13h53, ‎
    • Réponses: 36
    • Affichages: 5 221
    25/01/2024, 06h34

  29. Théorie des modèles et nombres complexes.

    Anonyme007, 17/05/2023, 18h40, ‎
    • Réponses: 53
    • Affichages: 7 096
    14/01/2024, 17h49

  30. Négation d'une proposition

    Abdellah7, 07/12/2023, 12h45, ‎
    • Réponses: 10
    • Affichages: 4 599
    18/12/2023, 19h38

  31. Définition des nombres réels par 3 constantes

    AdrienMaths, 11/12/2023, 08h52, ‎
    • Réponses: 3
    • Affichages: 3 236
    11/12/2023, 13h10

  32. l'ensemble des cardinaux des ensembles infinis

    amineyasmine, 05/09/2023, 21h58, ‎
    • Réponses: 29
    • Affichages: 4 498
    01/12/2023, 06h49

  33. un axiome forcé

    amineyasmine, 31/08/2023, 22h55, ‎
    • Réponses: 40
    • Affichages: 6 177
    06/11/2023, 22h59

  34. Multivers ensembliste

    Liet Kynes, 02/10/2023, 06h48, ‎
    • Réponses: 38
    • Affichages: 5 674
    29/10/2023, 15h35

  35. Infinis et dénombrement

    Liet Kynes, 12/10/2023, 17h51, ‎
    • Réponses: 47
    • Affichages: 4 923
    20/10/2023, 22h08

  36. tiers exclu

    ilelogique, 19/09/2023, 17h59, ‎
    • Réponses: 16
    • Affichages: 4 179
    24/09/2023, 19h31

  37. Un ensemble que je ne comprend pas

    amineyasmine, 09/09/2023, 23h31, ‎
    • Réponses: 45
    • Affichages: 5 912
    18/09/2023, 07h42

  38. Ensemble N......

    Duffman, 26/08/2023, 00h51, ‎
    • Réponses: 16
    • Affichages: 3 893
    27/08/2023, 19h38

  39. Question Déduction naturelle vs Calcul des séquents

    sunyata, 24/07/2023, 18h30, ‎
    • Réponses: 1
    • Affichages: 4 348
    25/07/2023, 21h55

  40. Dénomination .

    Duffman, 10/07/2023, 04h48, ‎
    • Réponses: 95
    • Affichages: 10 420
    23/07/2023, 21h52

  41. Table de vérité

    BIG136, 05/07/2023, 07h24, ‎
    • Réponses: 4
    • Affichages: 4 187
    05/07/2023, 13h06

  42. vrai et démontrable

    ilelogique, 03/04/2023, 18h22, ‎
    • Réponses: 50
    • Affichages: 7 339
    29/06/2023, 17h50

  43. Question Logique basique LPO, Méthode de résolution de Robinson (avec principe de réfutation)

    MisterM123, 09/05/2023, 11h46, ‎
    • Réponses: 1
    • Affichages: 4 678
    09/05/2023, 13h19

  44. famille libre / liée, de vecteurs et consistance / inconsistance d'une théorie.

    Anonyme007, 15/04/2023, 03h52, ‎
    • Réponses: 24
    • Affichages: 4 896
    26/04/2023, 22h45

  45. Relation R d'équivalence

    BIG136, 21/03/2023, 18h39, ‎
    • Réponses: 3
    • Affichages: 4 277
    22/03/2023, 06h34

  46. Problème d'induction structurelle

    CotteB, 03/03/2023, 15h16, ‎
    • Réponses: 9
    • Affichages: 4 625
    09/03/2023, 17h12

  47. Syracuse formule impaire/impaire

    Liet Kynes, 02/03/2023, 18h26, ‎
    • Réponses: 2
    • Affichages: 4 036
    02/03/2023, 19h17

  48. La logique

    Medaiich, 10/01/2023, 14h45, ‎
    • Réponses: 1
    • Affichages: 4 650
    10/01/2023, 15h28

  49. "Mais" est-il une conjonction dans le cas présent ?

    Sapiens1007, 27/05/2022, 04h51, ‎
    • Réponses: 13
    • Affichages: 5 970
    10/01/2023, 11h20

  50. Question comme ça...

    Lt Columbo, 12/08/2022, 04h27, ‎
    • Réponses: 27
    • Affichages: 5 977
    09/01/2023, 12h43

  51. Un peu de logique booléenne...

    5t3ph, 30/12/2022, 23h37, ‎
    • Réponses: 4
    • Affichages: 4 377
    01/01/2023, 13h52

  52. Inférence bayésienne du taux de probabilité d'abiogénese sur un corps à haut IST

    michaelbrrcs, 24/12/2022, 14h15, ‎
    • Réponses: 2
    • Affichages: 4 360
    24/12/2022, 18h40

  53. Métathéorème, théorème d’ordre 1 ou d’ordre supérieur ?

    Tomlindo, 14/11/2022, 19h45, ‎
    • Réponses: 1
    • Affichages: 4 593
    09/12/2022, 13h13

  54. démonstration de logique classique (trivial ?)

    christianautodidacte, 27/03/2022, 22h40, ‎
    • Réponses: 8
    • Affichages: 6 321
    27/09/2022, 23h49

  55. Quels sont les principes qui régissent les règles de formation ?

    Alain2021, 25/08/2022, 05h43, ‎
    • Réponses: 15
    • Affichages: 5 262
    02/09/2022, 17h13

  56. quel est le principe logique transgressé ?

    Alain2021, 15/08/2022, 15h26, ‎
    • Réponses: 14
    • Affichages: 5 047
    16/08/2022, 19h08

  57. les "non-ensembles"

    MissJenny, 17/06/2022, 09h57, ‎
    • Réponses: 23
    • Affichages: 5 730
    22/06/2022, 12h17

  58. Théorie des champs ordonnés

    Nini42, 09/05/2022, 18h18, ‎
    • Réponses: 8
    • Affichages: 5 331
    16/05/2022, 15h55

  59. A quelles conditions deux énoncés sont-ils cohérents ?

    Alain2021, 16/03/2022, 10h30, ‎
    • Réponses: 17
    • Affichages: 6 333
    18/03/2022, 11h48

  60. Intégrammes

    Olivierlamy, 15/03/2022, 18h50, ‎
    • Réponses: 2
    • Affichages: 5 669
    17/03/2022, 09h04

  61. Petite question de vocabulaire sur les predicats

    passion math, 04/02/2022, 13h31, ‎
    • Réponses: 4
    • Affichages: 5 821
    06/02/2022, 16h10

  62. propositions prédicats ?

    ilelogique, 01/02/2022, 10h02, ‎
    • Réponses: 20
    • Affichages: 5 696
    02/02/2022, 06h35

  63. Np

    ilelogique, 28/01/2022, 07h57, ‎
    • Réponses: 7
    • Affichages: 5 660
    30/01/2022, 00h35

  64. Questions relatives à la définition des sciences formelles

    Alain2021, 06/01/2022, 14h41, ‎
    • Réponses: 9
    • Affichages: 6 851
    11/01/2022, 09h10

  65. Les mathématiques peuvent-elles exister sans les nombres ?

    andretou, 11/04/2021, 12h54, ‎
    • Réponses: 75
    • Affichages: 11 618
    28/12/2021, 19h14

  66. Différence entre épistémique et doxastique

    Matmat, 14/12/2021, 14h01, ‎
    • Réponses: 7
    • Affichages: 6 654
    15/12/2021, 15h30

  67. raisonnement: l' induction 'logique' ... et sa validité logique ?

    Bounoume, 02/07/2021, 23h15, ‎
    • Réponses: 24
    • Affichages: 7 498
    03/12/2021, 16h36

  68. police logique

    ilelogique, 17/11/2021, 08h25, ‎
    • Réponses: 10
    • Affichages: 6 644
    22/11/2021, 23h00

  69. Résolution du paradoxe de l’interrogation surprise

    Desi14, 07/11/2021, 14h11, ‎
    • Réponses: 3
    • Affichages: 6 376
    10/11/2021, 07h24

  70. Hilbert, Gödel, Turing, P=NP et calculabilité

    ilelogique, 24/09/2021, 20h25, ‎
    • Réponses: 2
    • Affichages: 8 229
    28/09/2021, 13h48

  71. Classes et prédicats unaires.

    Anonyme007, 22/09/2021, 18h16, ‎
    • Réponses: 28
    • Affichages: 6 340
    23/09/2021, 15h01

  72. Comment montrer qu'une assertion est fausse ou vraie

    invite4f96f434, 20/07/2021, 19h28, ‎
    • Réponses: 31
    • Affichages: 14 562
    26/07/2021, 13h03

  73. Multiplication implicite de la métamathématique

    AdrienMaths, 10/07/2021, 21h49, ‎
    • Réponses: 2
    • Affichages: 6 432
    11/07/2021, 22h36

  74. Peut on modéliser n'importe quoi par une fonction ?

    Newtonien, 07/07/2021, 21h16, ‎
    • Réponses: 11
    • Affichages: 5 966
    09/07/2021, 22h33

  75. Un énoncé indécidable dans l'arithmétique de Peano mais démontrable dans une autre théorie ?

    andretou, 21/06/2021, 13h26, ‎
    • Réponses: 4
    • Affichages: 5 847
    02/07/2021, 09h09

Informations et options du forum

Modérateurs de ce forum