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

Forum: Logique

Appelée aussi Métamathématique

Intitulé / Auteur Réponses / Affichages Dernier message

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

    B045, 04/11/2025, 10h59, ‎
    • Réponses: 10
    • Affichages: 608
    29/11/2025, 15h14

  2. Entier naturel et nombre premier.

    Jmlesfrites, 03/11/2025, 00h48, ‎
    • Réponses: 8
    • Affichages: 491
    10/11/2025, 17h38

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

    andretou, 15/10/2020, 15h56, ‎
    • Réponses: 79
    • Affichages: 9 909
    01/10/2025, 13h46

  4. Entre 1 et 2

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

  5. l'infini en logiques mathématiques

    Jmlesfrites, 24/04/2025, 21h49, ‎
    • Réponses: 52
    • Affichages: 2 591
    03/08/2025, 08h42

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

    GaelC, 03/06/2025, 23h31, ‎
    • Réponses: 24
    • Affichages: 901
    10/07/2025, 17h09

  7. La paradoxe du Barbier

    Jmlesfrites, 29/07/2024, 12h30, ‎
    • Réponses: 11
    • Affichages: 2 623
    10/07/2025, 12h33

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

    Anonyme007, 09/05/2025, 19h54, ‎
    • Réponses: 19
    • Affichages: 999
    14/05/2025, 16h18

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

    Kiraxel, 02/02/2025, 11h07, ‎
    • Réponses: 98
    • Affichages: 2 855
    20/02/2025, 22h17

  10. Sous-ensembles .

    Jmlesfrites, 18/12/2024, 05h00, ‎
    • Réponses: 16
    • Affichages: 1 860
    13/01/2025, 18h06

  11. Une logique inconnue ?

    Enerlibr, 09/01/2025, 12h46, ‎
    • Réponses: 2
    • Affichages: 1 588
    09/01/2025, 17h06

  12. Achille et la tortue

    kaderben, 27/10/2024, 17h14, ‎
    • Réponses: 10
    • Affichages: 1 966
    05/11/2024, 08h02

  13. à propos de P=NP

    ilelogique, 20/08/2021, 09h58, ‎
    • Réponses: 59
    • Affichages: 11 276
    04/11/2024, 18h53

  14. Zero

    maracanar, 04/11/2024, 16h46, ‎
    • Réponses: 3
    • Affichages: 1 564
    04/11/2024, 18h16

  15. Le théorème de Cantor

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

  16. l'intersection de tous les ensembles

    amineyasmine, 28/07/2024, 00h59, ‎
    • Réponses: 6
    • Affichages: 1 676
    29/07/2024, 07h40

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

    Jmlesfrites, 12/06/2024, 22h37, ‎
    • Réponses: 51
    • Affichages: 5 097
    28/07/2024, 13h57

  18. L’ensemble vide et vide quantique

    amineyasmine, 07/07/2024, 00h28, ‎
    • Réponses: 1
    • Affichages: 1 557
    07/07/2024, 08h38

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

    DidierGustin, 27/04/2024, 16h10, ‎
    • Réponses: 7
    • Affichages: 2 831
    30/06/2024, 23h20

  20. Les théories du négligeable.

    Jmlesfrites, 24/03/2024, 20h05, ‎
    • Réponses: 31
    • Affichages: 4 526
    26/06/2024, 08h20

  21. Sur quoi se base la logique exactement

    visiteur3465, 19/05/2024, 12h02, ‎
    • Réponses: 6
    • Affichages: 2 165
    19/05/2024, 17h16

  22. Question Problème Logique de Comptage.

    0riGin, 29/04/2024, 03h54, ‎
    • Réponses: 30
    • Affichages: 2 751
    30/04/2024, 12h06

  23. Conseil étude de la logique

    ThM55, 17/02/2024, 18h29, ‎
    • Réponses: 4
    • Affichages: 3 146
    23/02/2024, 12h01

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

    sebastien2023, 06/01/2024, 14h53, ‎
    • Réponses: 36
    • Affichages: 4 406
    25/01/2024, 07h34

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

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

  26. Négation d'une proposition

    Abdellah7, 07/12/2023, 13h45, ‎
    • Réponses: 10
    • Affichages: 4 020
    18/12/2023, 20h38

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

    AdrienMaths, 11/12/2023, 09h52, ‎
    • Réponses: 3
    • Affichages: 2 678
    11/12/2023, 14h10

  28. l'ensemble des cardinaux des ensembles infinis

    amineyasmine, 05/09/2023, 22h58, ‎
    • Réponses: 29
    • Affichages: 3 936
    01/12/2023, 07h49

  29. un axiome forcé

    amineyasmine, 31/08/2023, 23h55, ‎
    • Réponses: 40
    • Affichages: 5 508
    06/11/2023, 23h59

  30. Multivers ensembliste

    Liet Kynes, 02/10/2023, 07h48, ‎
    • Réponses: 38
    • Affichages: 4 932
    29/10/2023, 16h35

  31. Infinis et dénombrement

    Liet Kynes, 12/10/2023, 18h51, ‎
    • Réponses: 47
    • Affichages: 4 128
    20/10/2023, 23h08

  32. tiers exclu

    ilelogique, 19/09/2023, 18h59, ‎
    • Réponses: 16
    • Affichages: 3 591
    24/09/2023, 20h31

  33. Un ensemble que je ne comprend pas

    amineyasmine, 10/09/2023, 00h31, ‎
    • Réponses: 45
    • Affichages: 5 239
    18/09/2023, 08h42

  34. Ensemble N......

    Duffman, 26/08/2023, 01h51, ‎
    • Réponses: 16
    • Affichages: 3 351
    27/08/2023, 20h38

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

    sunyata, 24/07/2023, 19h30, ‎
    • Réponses: 1
    • Affichages: 3 787
    25/07/2023, 22h55

  36. Dénomination .

    Duffman, 10/07/2023, 05h48, ‎
    • Réponses: 95
    • Affichages: 9 508
    23/07/2023, 22h52

  37. Table de vérité

    BIG136, 05/07/2023, 08h24, ‎
    • Réponses: 4
    • Affichages: 3 573
    05/07/2023, 14h06

  38. vrai et démontrable

    ilelogique, 03/04/2023, 19h22, ‎
    • Réponses: 50
    • Affichages: 6 495
    29/06/2023, 18h50

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

    MisterM123, 09/05/2023, 12h46, ‎
    • Réponses: 1
    • Affichages: 4 042
    09/05/2023, 14h19

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

    Anonyme007, 15/04/2023, 04h52, ‎
    • Réponses: 24
    • Affichages: 4 284
    26/04/2023, 23h45

  41. Relation R d'équivalence

    BIG136, 21/03/2023, 19h39, ‎
    • Réponses: 3
    • Affichages: 3 661
    22/03/2023, 07h34

  42. Problème d'induction structurelle

    CotteB, 03/03/2023, 16h16, ‎
    • Réponses: 9
    • Affichages: 3 983
    09/03/2023, 18h12

  43. Syracuse formule impaire/impaire

    Liet Kynes, 02/03/2023, 19h26, ‎
    • Réponses: 2
    • Affichages: 3 397
    02/03/2023, 20h17

  44. La logique

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

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

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

  46. Question comme ça...

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

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

    5t3ph, 31/12/2022, 00h37, ‎
    • Réponses: 4
    • Affichages: 3 752
    01/01/2023, 14h52

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

    michaelbrrcs, 24/12/2022, 15h15, ‎
    • Réponses: 2
    • Affichages: 3 721
    24/12/2022, 19h40

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

    Tomlindo, 14/11/2022, 20h45, ‎
    • Réponses: 1
    • Affichages: 3 941
    09/12/2022, 14h13

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

    christianautodidacte, 27/03/2022, 23h40, ‎
    • Réponses: 8
    • Affichages: 5 670
    28/09/2022, 00h49

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

    Alain2021, 25/08/2022, 06h43, ‎
    • Réponses: 15
    • Affichages: 4 594
    02/09/2022, 18h13

  52. quel est le principe logique transgressé ?

    Alain2021, 15/08/2022, 16h26, ‎
    • Réponses: 14
    • Affichages: 4 393
    16/08/2022, 20h08

  53. les "non-ensembles"

    MissJenny, 17/06/2022, 10h57, ‎
    • Réponses: 23
    • Affichages: 5 078
    22/06/2022, 13h17

  54. Théorie des champs ordonnés

    Nini42, 09/05/2022, 19h18, ‎
    • Réponses: 8
    • Affichages: 4 686
    16/05/2022, 16h55

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

    Alain2021, 16/03/2022, 11h30, ‎
    • Réponses: 17
    • Affichages: 5 671
    18/03/2022, 12h48

  56. Intégrammes

    Olivierlamy, 15/03/2022, 19h50, ‎
    • Réponses: 2
    • Affichages: 4 975
    17/03/2022, 10h04

  57. Petite question de vocabulaire sur les predicats

    passion math, 04/02/2022, 14h31, ‎
    • Réponses: 4
    • Affichages: 5 207
    06/02/2022, 17h10

  58. propositions prédicats ?

    ilelogique, 01/02/2022, 11h02, ‎
    • Réponses: 20
    • Affichages: 5 066
    02/02/2022, 07h35

  59. Np

    ilelogique, 28/01/2022, 08h57, ‎
    • Réponses: 7
    • Affichages: 4 947
    30/01/2022, 01h35

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

    Alain2021, 06/01/2022, 15h41, ‎
    • Réponses: 9
    • Affichages: 6 126
    11/01/2022, 10h10

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

    andretou, 11/04/2021, 13h54, ‎
    • Réponses: 75
    • Affichages: 10 634
    28/12/2021, 20h14

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

    Matmat, 14/12/2021, 15h01, ‎
    • Réponses: 7
    • Affichages: 5 954
    15/12/2021, 16h30

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

    Bounoume, 03/07/2021, 00h15, ‎
    • Réponses: 24
    • Affichages: 6 838
    03/12/2021, 17h36

  64. police logique

    ilelogique, 17/11/2021, 09h25, ‎
    • Réponses: 10
    • Affichages: 5 986
    23/11/2021, 00h00

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

    Desi14, 07/11/2021, 15h11, ‎
    • Réponses: 3
    • Affichages: 5 762
    10/11/2021, 08h24

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

    ilelogique, 24/09/2021, 21h25, ‎
    • Réponses: 2
    • Affichages: 7 600
    28/09/2021, 14h48

  67. Classes et prédicats unaires.

    Anonyme007, 22/09/2021, 19h16, ‎
    • Réponses: 28
    • Affichages: 5 638
    23/09/2021, 16h01

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

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

  69. Multiplication implicite de la métamathématique

    AdrienMaths, 10/07/2021, 22h49, ‎
    • Réponses: 2
    • Affichages: 5 690
    11/07/2021, 23h36

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

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

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

    andretou, 21/06/2021, 14h26, ‎
    • Réponses: 4
    • Affichages: 5 192
    02/07/2021, 10h09

  72. Exercice Logique

    invitec330fabf, 25/06/2021, 09h13, ‎
    • Réponses: 3
    • Affichages: 5 193
    27/06/2021, 13h53

  73. Quelles sont les théories capables de démontrer les théorèmes de base de l'arithmétique ?

    andretou, 22/06/2021, 15h44, ‎
    • Réponses: 25
    • Affichages: 5 278
    24/06/2021, 16h44

  74. Arithmétique de Peano du premier ordre

    Médiat, 31/05/2021, 12h22, ‎
    • Réponses: 152
    • Affichages: 11 114
    07/06/2021, 13h50

  75. Les algorithmes permettent-ils de fabriquer automatiquement des théorèmes ?

    andretou, 18/05/2021, 22h20, ‎
    • Réponses: 243
    • Affichages: 14 130
    31/05/2021, 11h28

Informations et options du forum

Modérateurs de ce forum