1. Annonce:
    Discussions Covid-19
    L’équipe du forum
    04/04/2020
    Affichages:
    247 886
Ouvrir une nouvelle discussion
Affichage des discussions 1 à 70 sur 70

Forum: Logique

Appelée aussi Métamathématique

Intitulé / Auteur Réponses / Affichages Dernier message

  1. Théorie des champs ordonnés

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

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

    christianautodidacte, 27/03/2022, 22h40, ‎
    • Réponses: 7
    • Affichages: 1 127
    11/05/2022, 11h07

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

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

  4. Intégrammes

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

  5. Petite question de vocabulaire sur les predicats

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

  6. propositions prédicats ?

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

  7. Np

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

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

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

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

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

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

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

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

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

  12. police logique

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

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

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

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

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

  15. Classes et prédicats unaires.

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

  16. à propos de P=NP

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

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

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

  18. Multiplication implicite de la métamathématique

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

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

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

  20. 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: 1 294
    02/07/2021, 09h09

  21. Exercice Logique

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

  22. 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: 1 505
    24/06/2021, 15h44

  23. Arithmétique de Peano du premier ordre

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

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

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

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

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

  26. Nécessaire et Possible

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

  27. Logique intuitioniste

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

  28. Equivalence

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

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

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

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

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

  31. Logique

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

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

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

  33. Le langage de base

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

  34. La négation ¬p

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

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

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

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

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

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

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

  38. L'hotel infini est accueillant

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

  39. Théorie des ensembles: approche

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

  40. Hiérarchie cumulative de von Neumann

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

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

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

  42. Axiome des parties

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

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

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

  44. La logique appliquée au chat de Schroedinger

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

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

    Merlin95, 16/07/2020, 01h04, ‎
    • Réponses: 1
    • Affichages: 2 169
    16/07/2020, 06h31

  46. Sciences & Avenir : Infini

    Médiat, 07/07/2020, 10h23, ‎
    • Réponses: 7
    • Affichages: 2 328
    07/07/2020, 13h36

  47. Et et ou (ou, ou ou et)

    Médiat, 23/06/2020, 12h07, ‎
    • Réponses: 150
    • Affichages: 5 919
    03/07/2020, 20h38

  48. Petite récréation 2

    Médiat, 18/06/2020, 10h06, ‎
    • Réponses: 22
    • Affichages: 2 502
    24/06/2020, 09h46

  49. Petite récréation.

    Médiat, 02/05/2020, 13h09, ‎
    • Réponses: 86
    • Affichages: 4 673
    15/05/2020, 07h48

  50. Nouvelle classification des entiers naturels

    jyboulay, 06/05/2020, 16h15, ‎
    • Réponses: 1
    • Affichages: 2 669
    06/05/2020, 16h24

  51. p=t

    ilelogique, 28/04/2020, 18h03, ‎
    • Réponses: 17
    • Affichages: 2 529
    04/05/2020, 07h00

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

    Lien27, 28/03/2020, 23h35, ‎
    • Réponses: 27
    • Affichages: 3 285
    03/05/2020, 19h03

  53. Wink Modèle logique des prédicats

    CurryDoux, 28/04/2020, 14h46, ‎
    • Réponses: 13
    • Affichages: 2 324
    29/04/2020, 18h33

  54. Logique des prédicats

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

  55. Lightbulb Logique extensionnelle

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

  56. La logique de la logique

    amineyasmine, 17/04/2020, 22h58, ‎
    • Réponses: 10
    • Affichages: 2 633
    19/04/2020, 08h54

  57. Inverse de rien

    Shatonly, 09/04/2020, 23h04, ‎
    • Réponses: 16
    • Affichages: 2 981
    12/04/2020, 13h20

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

    Lien27, 23/03/2020, 14h41, ‎
    • Réponses: 1
    • Affichages: 2 581
    23/03/2020, 14h51

  59. Plongement entre deux ensembles

    Phil1313, 08/03/2020, 20h16, ‎
    • Réponses: 13
    • Affichages: 2 671
    11/03/2020, 19h42

  60. Lois de De Morgan

    Deno49, 05/03/2020, 17h33, ‎
    • Réponses: 3
    • Affichages: 2 602
    06/03/2020, 07h13

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

    Lien27, 02/03/2020, 15h21, ‎
    • Réponses: 5
    • Affichages: 2 712
    02/03/2020, 15h53

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

    Lien27, 28/02/2020, 10h25, ‎
    • Réponses: 15
    • Affichages: 2 719
    28/02/2020, 17h49

  63. P=NP sondage

    amineyasmine, 27/02/2020, 19h15, ‎
    • Réponses: 24
    • Affichages: 2 871
    28/02/2020, 10h13

  64. Predicat unaire

    Liet Kynes, 26/02/2020, 16h58, ‎
    • Réponses: 7
    • Affichages: 3 002
    27/02/2020, 18h51

  65. Aide pour trouver une formule ou logique

    Naninana, 27/02/2020, 12h35, ‎
    • Réponses: 1
    • Affichages: 2 321
    27/02/2020, 16h14

  66. Les cardinaux négatifs

    amineyasmine, 22/02/2020, 14h59, ‎
    • Réponses: 31
    • Affichages: 3 207
    27/02/2020, 16h11

  67. Enigmes de logique sur l'Île des Purs et des Pires

    shokin, 09/02/2005, 17h03, ‎
    pires, purs, lile, logique, enigmes
    • Réponses: 67
    • Affichages: 24 098
    24/02/2020, 21h01

  68. cardinal d'un sous-ensemble de N

    amineyasmine, 18/02/2020, 20h29, ‎
    • Réponses: 5
    • Affichages: 2 512
    19/02/2020, 19h41

  69. GODEL et l’indénombrable

    iharmed, 26/01/2020, 21h39, ‎
    • Réponses: 4
    • Affichages: 2 502
    27/01/2020, 06h38

  70. Démontrer qu’on ne peut pas démontrer

    iharmed, 20/01/2020, 19h59, ‎
    • Réponses: 37
    • Affichages: 4 023
    25/01/2020, 21h39

Informations et options du forum

Modérateurs de ce forum