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

Forum: Logique

Appelée aussi Métamathématique

Intitulé / Auteur Réponses / Affichages Dernier message

  1. Les théories du négligeable.

    Jmlesfrites, 24/03/2024, 19h05, ‎
    • Réponses: 9
    • Affichages: 1 084
    28/03/2024, 18h09

  2. Conseil étude de la logique

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

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

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

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

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

  5. Négation d'une proposition

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

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

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

  7. l'ensemble des cardinaux des ensembles infinis

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

  8. un axiome forcé

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

  9. Multivers ensembliste

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

  10. Infinis et dénombrement

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

  11. tiers exclu

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

  12. Un ensemble que je ne comprend pas

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

  13. Ensemble N......

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

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

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

  15. Dénomination .

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

  16. Table de vérité

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

  17. vrai et démontrable

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

  18. 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: 1 556
    09/05/2023, 13h19

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

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

  20. Relation R d'équivalence

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

  21. Problème d'induction structurelle

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

  22. Syracuse formule impaire/impaire

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

  23. La logique

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

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

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

  25. Question comme ça...

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

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

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

  27. 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: 1 674
    24/12/2022, 18h40

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

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

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

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

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

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

  31. quel est le principe logique transgressé ?

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

  32. les "non-ensembles"

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

  33. Théorie des champs ordonnés

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

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

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

  35. Intégrammes

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

  36. Petite question de vocabulaire sur les predicats

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

  37. propositions prédicats ?

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

  38. Np

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

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

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

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

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

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

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

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

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

  43. police logique

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

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

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

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

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

  46. Classes et prédicats unaires.

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

  47. à propos de P=NP

    ilelogique, 20/08/2021, 08h58, ‎
    • Réponses: 57
    • Affichages: 7 995
    25/08/2021, 07h28

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

    Mameu, 20/07/2021, 19h28, ‎
    • Réponses: 31
    • Affichages: 9 462
    26/07/2021, 13h03

  49. Multiplication implicite de la métamathématique

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

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

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

  51. 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: 3 497
    02/07/2021, 09h09

  52. Exercice Logique

    Steinbeck, 25/06/2021, 08h13, ‎
    • Réponses: 3
    • Affichages: 3 508
    27/06/2021, 12h53

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

    andretou, 22/06/2021, 14h44, ‎
    • Réponses: 25
    • Affichages: 3 605
    24/06/2021, 15h44

  54. Arithmétique de Peano du premier ordre

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

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

    andretou, 18/05/2021, 21h20, ‎
    • Réponses: 243
    • Affichages: 9 581
    31/05/2021, 10h28

  56. Exclamation Exposition par zéro ou par le néant ?

    OmegaSigmaDelta, 15/04/2021, 16h36, ‎
    • Réponses: 51
    • Affichages: 5 340
    16/04/2021, 14h44

  57. Nécessaire et Possible

    BIG136, 08/04/2021, 08h04, ‎
    • Réponses: 21
    • Affichages: 3 721
    10/04/2021, 21h45

  58. Logique intuitioniste

    Merlin95, 03/04/2021, 00h21, ‎
    • Réponses: 15
    • Affichages: 4 014
    03/04/2021, 21h14

  59. Equivalence

    BIG136, 30/03/2021, 08h03, ‎
    • Réponses: 5
    • Affichages: 3 374
    30/03/2021, 09h52

  60. Quel est le contraire de "Etre ou ne pas être" ?

    andretou, 16/03/2021, 10h23, ‎
    • Réponses: 15
    • Affichages: 4 393
    21/03/2021, 15h36

  61. Déplacé : Décès d'Ansset

    L’équipe du forum, 04/03/2021, 22h27, ‎
    •  
    •  

  62. Logique

    MrX1, 22/02/2021, 00h59, ‎
    • Réponses: 2
    • Affichages: 3 913
    22/02/2021, 19h42

  63. L'assemblage de l'ensemble vide selon Bourbaki

    nerub, 09/02/2021, 01h01, ‎
    • Réponses: 37
    • Affichages: 6 938
    12/02/2021, 08h04

  64. Le langage de base

    invite84127968, 23/01/2020, 06h38, ‎
    • Réponses: 17
    • Affichages: 6 901
    10/12/2020, 19h05

  65. La négation ¬p

    mathieu785, 20/10/2020, 16h15, ‎
    • Réponses: 11
    • Affichages: 4 778
    28/11/2020, 19h13

  66. Arrow Paradoxe algorithmique, problème de l'arrêt

    vincent2303, 28/11/2020, 01h40, ‎
    • Réponses: 11
    • Affichages: 4 124
    28/11/2020, 16h46

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

    andretou, 15/10/2020, 14h56, ‎
    • Réponses: 71
    • Affichages: 6 719
    27/11/2020, 15h52

  68. Déplacé : Comment définir la longueur d'une ligne..?

    alamatasod, 01/11/2020, 06h36, ‎
    •  
    •  

  69. L'hotel infini est accueillant

    ornithology, 13/10/2020, 17h03, ‎
    • Réponses: 2
    • Affichages: 4 113
    14/10/2020, 08h26

  70. Théorie des ensembles: approche

    Liet Kynes, 17/02/2020, 07h44, ‎
    • Réponses: 155
    • Affichages: 12 496
    12/10/2020, 18h41

  71. Hiérarchie cumulative de von Neumann

    Liet Kynes, 03/10/2020, 11h33, ‎
    • Réponses: 59
    • Affichages: 6 468
    10/10/2020, 10h30

  72. Question Quelle est la valeur logique de la notion mathématique d'"ensemble" ?

    aygline, 28/09/2020, 10h30, ‎
    • Réponses: 24
    • Affichages: 4 631
    01/10/2020, 16h29

  73. Axiome des parties

    Médiat, 09/09/2020, 22h20, ‎
    • Réponses: 81
    • Affichages: 6 845
    30/09/2020, 10h47

  74. sémantique générale et approche non-aristotelicienne

    Christian Arnaud, 28/07/2020, 10h52, ‎
    • Réponses: 54
    • Affichages: 9 100
    05/08/2020, 10h20

  75. La logique appliquée au chat de Schroedinger

    Leradicator, 24/07/2020, 16h31, ‎
    • Réponses: 16
    • Affichages: 4 855
    02/08/2020, 15h54

Informations et options du forum

Modérateurs de ce forum