Forum : Logique
  1. 05/04/2020
    Affichages:
    411 289
Ouvrir une nouvelle discussion
Page 1 sur 2 1 DernièreDernière
Affichage des discussions 1 à 75 sur 100

Forum: Logique

Appelée aussi Métamathématique

Intitulé / Auteur Réponses / Affichages Dernier message
  1. Conseil étude de la logique

    ThM55, 17/02/2024, 18h29, ‎
    • Réponses: 4
    • Affichages: 978
    23/02/2024, 12h01
  2. Définition de la logique et de la logique formelle

    sebastien2023, 06/01/2024, 14h53, ‎
    • Réponses: 36
    • Affichages: 1 834
    25/01/2024, 07h34
  3. Théorie des modèles et nombres complexes.

    Anonyme007, 17/05/2023, 19h40, ‎
    • Réponses: 53
    • Affichages: 3 594
    14/01/2024, 18h49
  4. Négation d'une proposition

    Abdellah7, 07/12/2023, 13h45, ‎
    • Réponses: 10
    • Affichages: 1 140
    18/12/2023, 20h38
  5. Définition des nombres réels par 3 constantes

    AdrienMaths, 11/12/2023, 09h52, ‎
    • Réponses: 3
    • Affichages: 770
    11/12/2023, 14h10
  6. l'ensemble des cardinaux des ensembles infinis

    amineyasmine, 05/09/2023, 22h58, ‎
    • Réponses: 29
    • Affichages: 1 718
    01/12/2023, 07h49
  7. un axiome forcé

    amineyasmine, 31/08/2023, 23h55, ‎
    • Réponses: 40
    • Affichages: 2 412
    06/11/2023, 23h59
  8. Multivers ensembliste

    Liet Kynes, 02/10/2023, 07h48, ‎
    • Réponses: 38
    • Affichages: 2 182
    29/10/2023, 16h35
  9. Infinis et dénombrement

    Liet Kynes, 12/10/2023, 18h51, ‎
    • Réponses: 47
    • Affichages: 1 606
    20/10/2023, 23h08
  10. tiers exclu

    ilelogique, 19/09/2023, 18h59, ‎
    • Réponses: 16
    • Affichages: 1 576
    24/09/2023, 20h31
  11. Un ensemble que je ne comprend pas

    amineyasmine, 10/09/2023, 00h31, ‎
    • Réponses: 45
    • Affichages: 2 876
    18/09/2023, 08h42
  12. Ensemble N......

    Duffman, 26/08/2023, 01h51, ‎
    • Réponses: 16
    • Affichages: 1 366
    27/08/2023, 20h38
  13. Question Déduction naturelle vs Calcul des séquents

    sunyata, 24/07/2023, 19h30, ‎
    • Réponses: 1
    • Affichages: 1 227
    25/07/2023, 22h55
  14. Dénomination .

    Duffman, 10/07/2023, 05h48, ‎
    • Réponses: 95
    • Affichages: 5 233
    23/07/2023, 22h52
  15. Table de vérité

    BIG136, 05/07/2023, 08h24, ‎
    • Réponses: 4
    • Affichages: 1 327
    05/07/2023, 14h06
  16. vrai et démontrable

    ilelogique, 03/04/2023, 19h22, ‎
    • Réponses: 50
    • Affichages: 3 562
    29/06/2023, 18h50
    • Réponses: 1
    • Affichages: 1 424
    09/05/2023, 14h19
    • Réponses: 24
    • Affichages: 1 942
    26/04/2023, 23h45
  17. Relation R d'équivalence

    BIG136, 21/03/2023, 19h39, ‎
    • Réponses: 3
    • Affichages: 1 531
    22/03/2023, 07h34
  18. Problème d'induction structurelle

    CotteB, 03/03/2023, 16h16, ‎
    • Réponses: 9
    • Affichages: 1 853
    09/03/2023, 18h12
  19. Syracuse formule impaire/impaire

    Liet Kynes, 02/03/2023, 19h26, ‎
    • Réponses: 2
    • Affichages: 1 569
    02/03/2023, 20h17
  20. La logique

    Medaiich, 10/01/2023, 15h45, ‎
    • Réponses: 1
    • Affichages: 2 191
    10/01/2023, 16h28
  21. "Mais" est-il une conjonction dans le cas présent ?

    Sapiens1007, 27/05/2022, 05h51, ‎
    • Réponses: 13
    • Affichages: 3 010
    10/01/2023, 12h20
  22. Question comme ça...

    Lt Columbo, 12/08/2022, 05h27, ‎
    • Réponses: 27
    • Affichages: 3 392
    09/01/2023, 13h43
  23. Un peu de logique booléenne...

    5t3ph, 31/12/2022, 00h37, ‎
    • Réponses: 4
    • Affichages: 1 981
    01/01/2023, 14h52
    • Réponses: 2
    • Affichages: 1 535
    24/12/2022, 19h40
    • Réponses: 1
    • Affichages: 1 817
    09/12/2022, 14h13
  24. démonstration de logique classique (trivial ?)

    christianautodidacte, 27/03/2022, 23h40, ‎
    • Réponses: 8
    • Affichages: 3 658
    28/09/2022, 00h49
    • Réponses: 15
    • Affichages: 2 407
    02/09/2022, 18h13
  25. quel est le principe logique transgressé ?

    Alain2021, 15/08/2022, 16h26, ‎
    • Réponses: 14
    • Affichages: 2 115
    16/08/2022, 20h08
  26. les "non-ensembles"

    MissJenny, 17/06/2022, 10h57, ‎
    • Réponses: 23
    • Affichages: 2 981
    22/06/2022, 13h17
  27. Théorie des champs ordonnés

    Nini42, 09/05/2022, 19h18, ‎
    • Réponses: 8
    • Affichages: 2 646
    16/05/2022, 16h55
    • Réponses: 17
    • Affichages: 2 948
    18/03/2022, 12h48
  28. Intégrammes

    Olivierlamy, 15/03/2022, 19h50, ‎
    • Réponses: 2
    • Affichages: 2 754
    17/03/2022, 10h04
  29. Petite question de vocabulaire sur les predicats

    passion math, 04/02/2022, 14h31, ‎
    • Réponses: 4
    • Affichages: 3 197
    06/02/2022, 17h10
  30. propositions prédicats ?

    ilelogique, 01/02/2022, 11h02, ‎
    • Réponses: 20
    • Affichages: 2 890
    02/02/2022, 07h35
  31. Np

    ilelogique, 28/01/2022, 08h57, ‎
    • Réponses: 7
    • Affichages: 2 754
    30/01/2022, 01h35
    • Réponses: 9
    • Affichages: 3 792
    11/01/2022, 10h10
    • Réponses: 75
    • Affichages: 7 407
    28/12/2021, 20h14
  32. Différence entre épistémique et doxastique

    Matmat, 14/12/2021, 15h01, ‎
    • Réponses: 7
    • Affichages: 3 484
    15/12/2021, 16h30
    • Réponses: 24
    • Affichages: 4 506
    03/12/2021, 17h36
  33. police logique

    ilelogique, 17/11/2021, 09h25, ‎
    • Réponses: 10
    • Affichages: 3 794
    23/11/2021, 00h00
    • Réponses: 3
    • Affichages: 3 652
    10/11/2021, 08h24
  34. Hilbert, Gödel, Turing, P=NP et calculabilité

    ilelogique, 24/09/2021, 21h25, ‎
    • Réponses: 2
    • Affichages: 5 459
    28/09/2021, 14h48
  35. Classes et prédicats unaires.

    Anonyme007, 22/09/2021, 19h16, ‎
    • Réponses: 28
    • Affichages: 3 344
    23/09/2021, 16h01
  36. à propos de P=NP

    ilelogique, 20/08/2021, 09h58, ‎
    • Réponses: 57
    • Affichages: 7 839
    25/08/2021, 08h28
    • Réponses: 31
    • Affichages: 9 227
    26/07/2021, 14h03
  37. Multiplication implicite de la métamathématique

    AdrienMaths, 10/07/2021, 22h49, ‎
    • Réponses: 2
    • Affichages: 3 330
    11/07/2021, 23h36
  38. Peut on modéliser n'importe quoi par une fonction ?

    Newtonien, 07/07/2021, 22h16, ‎
    • Réponses: 11
    • Affichages: 3 458
    09/07/2021, 23h33
    • Réponses: 4
    • Affichages: 3 357
    02/07/2021, 10h09
  39. Exercice Logique

    Steinbeck, 25/06/2021, 09h13, ‎
    • Réponses: 3
    • Affichages: 3 389
    27/06/2021, 13h53
    • Réponses: 25
    • Affichages: 3 482
    24/06/2021, 16h44
  40. Arithmétique de Peano du premier ordre

    Médiat, 31/05/2021, 12h22, ‎
    • Réponses: 152
    • Affichages: 7 681
    07/06/2021, 13h50
    • Réponses: 243
    • Affichages: 9 295
    31/05/2021, 11h28
  41. Exclamation Exposition par zéro ou par le néant ?

    OmegaSigmaDelta, 15/04/2021, 17h36, ‎
    • Réponses: 51
    • Affichages: 5 172
    16/04/2021, 15h44
  42. Nécessaire et Possible

    BIG136, 08/04/2021, 09h04, ‎
    • Réponses: 21
    • Affichages: 3 581
    10/04/2021, 22h45
  43. Logique intuitioniste

    Merlin95, 03/04/2021, 01h21, ‎
    • Réponses: 15
    • Affichages: 3 869
    03/04/2021, 22h14
  44. Equivalence

    BIG136, 30/03/2021, 09h03, ‎
    • Réponses: 5
    • Affichages: 3 229
    30/03/2021, 10h52
  45. Quel est le contraire de "Etre ou ne pas être" ?

    andretou, 16/03/2021, 11h23, ‎
    • Réponses: 15
    • Affichages: 4 240
    21/03/2021, 16h36
  46. Déplacé : Décès d'Ansset

    L’équipe du forum, 04/03/2021, 23h27, ‎
    •  
    •  
  47. Logique

    MrX1, 22/02/2021, 01h59, ‎
    • Réponses: 2
    • Affichages: 3 768
    22/02/2021, 20h42
  48. L'assemblage de l'ensemble vide selon Bourbaki

    nerub, 09/02/2021, 02h01, ‎
    • Réponses: 37
    • Affichages: 6 738
    12/02/2021, 09h04
  49. Le langage de base

    invite84127968, 23/01/2020, 07h38, ‎
    • Réponses: 17
    • Affichages: 6 761
    10/12/2020, 20h05
  50. La négation ¬p

    mathieu785, 20/10/2020, 17h15, ‎
    • Réponses: 11
    • Affichages: 4 631
    28/11/2020, 20h13
  51. Arrow Paradoxe algorithmique, problème de l'arrêt

    vincent2303, 28/11/2020, 02h40, ‎
    • Réponses: 11
    • Affichages: 3 963
    28/11/2020, 17h46
    • Réponses: 71
    • Affichages: 6 545
    27/11/2020, 16h52
  52. Déplacé : Comment définir la longueur d'une ligne..?

    alamatasod, 01/11/2020, 07h36, ‎
    •  
    •  
  53. L'hotel infini est accueillant

    ornithology, 13/10/2020, 18h03, ‎
    • Réponses: 2
    • Affichages: 3 964
    14/10/2020, 09h26
  54. Théorie des ensembles: approche

    Liet Kynes, 17/02/2020, 08h44, ‎
    • Réponses: 155
    • Affichages: 12 252
    12/10/2020, 19h41
  55. Hiérarchie cumulative de von Neumann

    Liet Kynes, 03/10/2020, 12h33, ‎
    • Réponses: 59
    • Affichages: 6 293
    10/10/2020, 11h30
    • Réponses: 24
    • Affichages: 4 476
    01/10/2020, 17h29
  56. Axiome des parties

    Médiat, 09/09/2020, 23h20, ‎
    • Réponses: 81
    • Affichages: 6 671
    30/09/2020, 11h47
  57. sémantique générale et approche non-aristotelicienne

    Christian Arnaud, 28/07/2020, 11h52, ‎
    • Réponses: 54
    • Affichages: 8 872
    05/08/2020, 11h20
  58. La logique appliquée au chat de Schroedinger

    Leradicator, 24/07/2020, 17h31, ‎
    • Réponses: 16
    • Affichages: 4 713
    02/08/2020, 16h54
  59. Sondage Sondage : La Logique est-elle ? :

    Merlin95, 16/07/2020, 02h04, ‎
    • Réponses: 1
    • Affichages: 4 043
    16/07/2020, 07h31

Informations et options du forum

Modérateurs de ce forum