1. 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
    • Réponses: 17
    • Affichages: 738
    18/03/2022, 11h48
  3. Intégrammes

    Olivierlamy, 15/03/2022, 18h50, ‎
    • Réponses: 2
    • Affichages: 430
    17/03/2022, 09h04
  4. Petite question de vocabulaire sur les predicats

    passion math, 04/02/2022, 13h31, ‎
    • Réponses: 4
    • Affichages: 1 169
    06/02/2022, 16h10
  5. propositions prédicats ?

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

    ilelogique, 28/01/2022, 07h57, ‎
    • Réponses: 7
    • Affichages: 692
    30/01/2022, 00h35
    • Réponses: 9
    • Affichages: 1 120
    11/01/2022, 09h10
    • Réponses: 75
    • Affichages: 3 794
    28/12/2021, 19h14
  7. Différence entre épistémique et doxastique

    Matmat, 14/12/2021, 14h01, ‎
    • Réponses: 7
    • Affichages: 1 220
    15/12/2021, 15h30
    • Réponses: 24
    • Affichages: 2 422
    03/12/2021, 16h36
  8. police logique

    ilelogique, 17/11/2021, 08h25, ‎
    • Réponses: 10
    • Affichages: 1 857
    22/11/2021, 23h00
    • Réponses: 3
    • Affichages: 1 665
    10/11/2021, 07h24
  9. Hilbert, Gödel, Turing, P=NP et calculabilité

    ilelogique, 24/09/2021, 20h25, ‎
    • Réponses: 2
    • Affichages: 3 505
    28/09/2021, 13h48
  10. Classes et prédicats unaires.

    Anonyme007, 22/09/2021, 18h16, ‎
    • Réponses: 28
    • Affichages: 1 363
    23/09/2021, 15h01
  11. à propos de P=NP

    ilelogique, 20/08/2021, 08h58, ‎
    • Réponses: 57
    • Affichages: 3 874
    25/08/2021, 07h28
    • Réponses: 31
    • Affichages: 3 081
    26/07/2021, 13h03
  12. Multiplication implicite de la métamathématique

    AdrienMaths, 10/07/2021, 21h49, ‎
    • Réponses: 2
    • Affichages: 1 381
    11/07/2021, 22h36
  13. 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
    • Réponses: 4
    • Affichages: 1 294
    02/07/2021, 09h09
  14. Exercice Logique

    Steinbeck, 25/06/2021, 08h13, ‎
    • Réponses: 3
    • Affichages: 1 401
    27/06/2021, 12h53
    • Réponses: 25
    • Affichages: 1 505
    24/06/2021, 15h44
  15. Arithmétique de Peano du premier ordre

    Médiat, 31/05/2021, 11h22, ‎
    • Réponses: 152
    • Affichages: 3 770
    07/06/2021, 12h50
    • Réponses: 243
    • Affichages: 5 014
    31/05/2021, 10h28
  16. 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
  17. Nécessaire et Possible

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

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

    BIG136, 30/03/2021, 08h03, ‎
    • Réponses: 5
    • Affichages: 1 399
    30/03/2021, 09h52
  20. 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
  21. Déplacé : Décès d'Ansset

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

    MrX1, 22/02/2021, 00h59, ‎
    • Réponses: 2
    • Affichages: 1 873
    22/02/2021, 19h42
  23. L'assemblage de l'ensemble vide selon Bourbaki

    nerub, 09/02/2021, 01h01, ‎
    • Réponses: 37
    • Affichages: 2 992
    12/02/2021, 08h04
  24. Le langage de base

    invite84127968, 23/01/2020, 06h38, ‎
    • Réponses: 17
    • Affichages: 4 760
    10/12/2020, 19h05
  25. La négation ¬p

    mathieu785, 20/10/2020, 16h15, ‎
    • Réponses: 11
    • Affichages: 2 558
    28/11/2020, 19h13
  26. Arrow Paradoxe algorithmique, problème de l'arrêt

    vincent2303, 28/11/2020, 01h40, ‎
    • Réponses: 11
    • Affichages: 1 976
    28/11/2020, 16h46
    • Réponses: 71
    • Affichages: 3 447
    27/11/2020, 15h52
  27. Déplacé : Comment définir la longueur d'une ligne..?

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

    ornithology, 13/10/2020, 17h03, ‎
    • Réponses: 2
    • Affichages: 2 000
    14/10/2020, 08h26
  29. Théorie des ensembles: approche

    Liet Kynes, 17/02/2020, 07h44, ‎
    • Réponses: 155
    • Affichages: 7 510
    12/10/2020, 18h41
  30. Hiérarchie cumulative de von Neumann

    Liet Kynes, 03/10/2020, 11h33, ‎
    • Réponses: 59
    • Affichages: 3 104
    10/10/2020, 10h30
    • Réponses: 24
    • Affichages: 2 306
    01/10/2020, 16h29
  31. Axiome des parties

    Médiat, 09/09/2020, 22h20, ‎
    • Réponses: 81
    • Affichages: 3 712
    30/09/2020, 10h47
  32. 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
  33. La logique appliquée au chat de Schroedinger

    Leradicator, 24/07/2020, 16h31, ‎
    • Réponses: 16
    • Affichages: 2 603
    02/08/2020, 15h54
  34. Sondage Sondage : La Logique est-elle ? :

    Merlin95, 16/07/2020, 01h04, ‎
    • Réponses: 1
    • Affichages: 2 169
    16/07/2020, 06h31
  35. Sciences & Avenir : Infini

    Médiat, 07/07/2020, 10h23, ‎
    • Réponses: 7
    • Affichages: 2 328
    07/07/2020, 13h36
  36. Et et ou (ou, ou ou et)

    Médiat, 23/06/2020, 12h07, ‎
    • Réponses: 150
    • Affichages: 5 919
    03/07/2020, 20h38
  37. Petite récréation 2

    Médiat, 18/06/2020, 10h06, ‎
    • Réponses: 22
    • Affichages: 2 502
    24/06/2020, 09h46
  38. Petite récréation.

    Médiat, 02/05/2020, 13h09, ‎
    • Réponses: 86
    • Affichages: 4 673
    15/05/2020, 07h48
  39. Nouvelle classification des entiers naturels

    jyboulay, 06/05/2020, 16h15, ‎
    • Réponses: 1
    • Affichages: 2 669
    06/05/2020, 16h24
  40. p=t

    ilelogique, 28/04/2020, 18h03, ‎
    • Réponses: 17
    • Affichages: 2 529
    04/05/2020, 07h00
    • Réponses: 27
    • Affichages: 3 285
    03/05/2020, 19h03
  41. Wink Modèle logique des prédicats

    CurryDoux, 28/04/2020, 14h46, ‎
    • Réponses: 13
    • Affichages: 2 324
    29/04/2020, 18h33
  42. Logique des prédicats

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

    CurryDoux, 28/04/2020, 11h13, ‎
    • Réponses: 0
    • Affichages: 2 117
    28/04/2020, 11h13
  44. La logique de la logique

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

    Shatonly, 09/04/2020, 23h04, ‎
    • Réponses: 16
    • Affichages: 2 981
    12/04/2020, 13h20
    • Réponses: 1
    • Affichages: 2 581
    23/03/2020, 14h51
  46. Plongement entre deux ensembles

    Phil1313, 08/03/2020, 20h16, ‎
    • Réponses: 13
    • Affichages: 2 671
    11/03/2020, 19h42
  47. Lois de De Morgan

    Deno49, 05/03/2020, 17h33, ‎
    • Réponses: 3
    • Affichages: 2 602
    06/03/2020, 07h13
  48. La division par zero est possible ! (explication)

    Lien27, 02/03/2020, 15h21, ‎
    • Réponses: 5
    • Affichages: 2 712
    02/03/2020, 15h53
  49. Est-ce que mon raisonnement est valide ???

    Lien27, 28/02/2020, 10h25, ‎
    • Réponses: 15
    • Affichages: 2 719
    28/02/2020, 17h49
  50. P=NP sondage

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

    Liet Kynes, 26/02/2020, 16h58, ‎
    • Réponses: 7
    • Affichages: 3 002
    27/02/2020, 18h51
  52. Aide pour trouver une formule ou logique

    Naninana, 27/02/2020, 12h35, ‎
    • Réponses: 1
    • Affichages: 2 321
    27/02/2020, 16h14
  53. Les cardinaux négatifs

    amineyasmine, 22/02/2020, 14h59, ‎
    • Réponses: 31
    • Affichages: 3 207
    27/02/2020, 16h11
    • Réponses: 67
    • Affichages: 24 098
    24/02/2020, 21h01
  54. cardinal d'un sous-ensemble de N

    amineyasmine, 18/02/2020, 20h29, ‎
    • Réponses: 5
    • Affichages: 2 512
    19/02/2020, 19h41
  55. GODEL et l’indénombrable

    iharmed, 26/01/2020, 21h39, ‎
    • Réponses: 4
    • Affichages: 2 502
    27/01/2020, 06h38
  56. 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