1. Annonce:
    Discussions Covid-19
    L’équipe du forum
    05/04/2020
    Affichages:
    335 516
Ouvrir une nouvelle discussion
Page 1 sur 2 1 DernièreDernière
Affichage des discussions 1 à 75 sur 82

Forum: Logique

Appelée aussi Métamathématique

Intitulé / Auteur Réponses / Affichages Dernier message

  1. Relation R d'équivalence

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

  2. Problème d'induction structurelle

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

  3. Syracuse formule impaire/impaire

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

  4. La logique

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

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

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

  6. Question comme ça...

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

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

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

  8. 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: 399
    24/12/2022, 19h40

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

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

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

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

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

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

  12. quel est le principe logique transgressé ?

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

  13. les "non-ensembles"

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

  14. Théorie des champs ordonnés

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

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

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

  16. Intégrammes

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

  17. Petite question de vocabulaire sur les predicats

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

  18. propositions prédicats ?

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

  19. Np

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

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

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

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

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

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

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

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

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

  24. police logique

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

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

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

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

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

  27. Classes et prédicats unaires.

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

  28. à propos de P=NP

    ilelogique, 20/08/2021, 09h58, ‎
    • Réponses: 57
    • Affichages: 5 549
    25/08/2021, 08h28

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

    Mameu, 20/07/2021, 20h28, ‎
    • Réponses: 31
    • Affichages: 5 691
    26/07/2021, 14h03

  30. Multiplication implicite de la métamathématique

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

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

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

  32. 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: 2 187
    02/07/2021, 10h09

  33. Exercice Logique

    Steinbeck, 25/06/2021, 09h13, ‎
    • Réponses: 3
    • Affichages: 2 288
    27/06/2021, 13h53

  34. 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: 2 325
    24/06/2021, 16h44

  35. Arithmétique de Peano du premier ordre

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

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

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

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

    OmegaSigmaDelta, 15/04/2021, 17h36, ‎
    • Réponses: 51
    • Affichages: 3 289
    16/04/2021, 15h44

  38. Nécessaire et Possible

    BIG136, 08/04/2021, 09h04, ‎
    • Réponses: 21
    • Affichages: 2 446
    10/04/2021, 22h45

  39. Logique intuitioniste

    Merlin95, 03/04/2021, 01h21, ‎
    • Réponses: 15
    • Affichages: 2 707
    03/04/2021, 22h14

  40. Equivalence

    BIG136, 30/03/2021, 09h03, ‎
    • Réponses: 5
    • Affichages: 2 161
    30/03/2021, 10h52

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

    andretou, 16/03/2021, 11h23, ‎
    • Réponses: 15
    • Affichages: 3 096
    21/03/2021, 16h36

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

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

  43. Logique

    MrX1, 22/02/2021, 01h59, ‎
    • Réponses: 2
    • Affichages: 2 653
    22/02/2021, 20h42

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

    nerub, 09/02/2021, 02h01, ‎
    • Réponses: 37
    • Affichages: 4 332
    12/02/2021, 09h04

  45. Le langage de base

    invite84127968, 23/01/2020, 07h38, ‎
    • Réponses: 17
    • Affichages: 5 555
    10/12/2020, 20h05

  46. La négation ¬p

    mathieu785, 20/10/2020, 17h15, ‎
    • Réponses: 11
    • Affichages: 3 427
    28/11/2020, 20h13

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

    vincent2303, 28/11/2020, 02h40, ‎
    • Réponses: 11
    • Affichages: 2 791
    28/11/2020, 17h46

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

    andretou, 15/10/2020, 15h56, ‎
    • Réponses: 71
    • Affichages: 4 456
    27/11/2020, 16h52

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

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

  50. L'hotel infini est accueillant

    ornithology, 13/10/2020, 18h03, ‎
    • Réponses: 2
    • Affichages: 2 748
    14/10/2020, 09h26

  51. Théorie des ensembles: approche

    Liet Kynes, 17/02/2020, 08h44, ‎
    • Réponses: 155
    • Affichages: 9 342
    12/10/2020, 19h41

  52. Hiérarchie cumulative de von Neumann

    Liet Kynes, 03/10/2020, 12h33, ‎
    • Réponses: 59
    • Affichages: 4 165
    10/10/2020, 11h30

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

    aygline, 28/09/2020, 11h30, ‎
    • Réponses: 24
    • Affichages: 3 182
    01/10/2020, 17h29

  54. Axiome des parties

    Médiat, 09/09/2020, 23h20, ‎
    • Réponses: 81
    • Affichages: 4 652
    30/09/2020, 11h47

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

    Christian Arnaud, 28/07/2020, 11h52, ‎
    • Réponses: 54
    • Affichages: 6 246
    05/08/2020, 11h20

  56. La logique appliquée au chat de Schroedinger

    Leradicator, 24/07/2020, 17h31, ‎
    • Réponses: 16
    • Affichages: 3 464
    02/08/2020, 16h54

  57. Sondage Sondage : La Logique est-elle ? :

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

  58. Sciences & Avenir : Infini

    Médiat, 07/07/2020, 11h23, ‎
    • Réponses: 7
    • Affichages: 3 106
    07/07/2020, 14h36

  59. Et et ou (ou, ou ou et)

    Médiat, 23/06/2020, 13h07, ‎
    • Réponses: 150
    • Affichages: 7 171
    03/07/2020, 21h38

  60. Petite récréation 2

    Médiat, 18/06/2020, 11h06, ‎
    • Réponses: 22
    • Affichages: 3 263
    24/06/2020, 10h46

  61. Petite récréation.

    Médiat, 02/05/2020, 14h09, ‎
    • Réponses: 86
    • Affichages: 5 609
    15/05/2020, 08h48

  62. Nouvelle classification des entiers naturels

    jyboulay, 06/05/2020, 17h15, ‎
    • Réponses: 1
    • Affichages: 3 504
    06/05/2020, 17h24

  63. p=t

    ilelogique, 28/04/2020, 19h03, ‎
    • Réponses: 17
    • Affichages: 3 265
    04/05/2020, 08h00

  64. Est-ce qu'une proposition peut donner des conditions sur ce qui l'implique ?

    Lien27, 29/03/2020, 00h35, ‎
    • Réponses: 27
    • Affichages: 4 162
    03/05/2020, 20h03

  65. Wink Modèle logique des prédicats

    CurryDoux, 28/04/2020, 15h46, ‎
    • Réponses: 13
    • Affichages: 3 129
    29/04/2020, 19h33

  66. Logique des prédicats

    CurryDoux, 28/04/2020, 15h05, ‎
    • Réponses: 5
    • Affichages: 2 969
    28/04/2020, 16h12

  67. Lightbulb Logique extensionnelle

    CurryDoux, 28/04/2020, 12h13, ‎
    • Réponses: 0
    • Affichages: 2 930
    28/04/2020, 12h13

  68. La logique de la logique

    amineyasmine, 17/04/2020, 23h58, ‎
    • Réponses: 10
    • Affichages: 3 394
    19/04/2020, 09h54

  69. Inverse de rien

    Shatonly, 10/04/2020, 00h04, ‎
    • Réponses: 16
    • Affichages: 3 941
    12/04/2020, 14h20

  70. J'ai trouvé une autre façon pour la division par zéro

    Lien27, 23/03/2020, 15h41, ‎
    • Réponses: 1
    • Affichages: 3 322
    23/03/2020, 15h51

  71. Plongement entre deux ensembles

    Phil1313, 08/03/2020, 21h16, ‎
    • Réponses: 13
    • Affichages: 3 444
    11/03/2020, 20h42

  72. Lois de De Morgan

    Deno49, 05/03/2020, 18h33, ‎
    • Réponses: 3
    • Affichages: 3 476
    06/03/2020, 08h13

  73. La division par zero est possible ! (explication)

    Lien27, 02/03/2020, 16h21, ‎
    • Réponses: 5
    • Affichages: 3 511
    02/03/2020, 16h53

  74. Est-ce que mon raisonnement est valide ???

    Lien27, 28/02/2020, 11h25, ‎
    • Réponses: 15
    • Affichages: 3 589
    28/02/2020, 18h49

  75. P=NP sondage

    amineyasmine, 27/02/2020, 20h15, ‎
    • Réponses: 24
    • Affichages: 3 804
    28/02/2020, 11h13

Informations et options du forum

Modérateurs de ce forum