PDA

Voir la version complète : Logique



Page : 1

  1. Enigmes de logique sur l'Île des Purs et des Pires
  2. Démontrer qu’on ne peut pas démontrer
  3. Le langage de base
  4. GODEL et l’indénombrable
  5. Théorie des ensembles: approche
  6. cardinal d'un sous-ensemble de N
  7. Les cardinaux négatifs
  8. Predicat unaire
  9. Aide pour trouver une formule ou logique
  10. P=NP sondage
  11. Est-ce que mon raisonnement est valide ???
  12. La division par zero est possible ! (explication)
  13. Lois de De Morgan
  14. Plongement entre deux ensembles
  15. J'ai trouvé une autre façon pour la division par zéro
  16. Est-ce qu'une proposition peut donner des conditions sur ce qui l'implique ?
  17. Inverse de rien
  18. La logique de la logique
  19. Logique extensionnelle
  20. Logique des prédicats
  21. Modèle logique des prédicats
  22. p=t
  23. Petite récréation.
  24. Nouvelle classification des entiers naturels
  25. Petite récréation 2
  26. Et et ou (ou, ou ou et)
  27. Sciences & Avenir : Infini
  28. La Logique est-elle ? :
  29. La logique appliquée au chat de Schroedinger
  30. sémantique générale et approche non-aristotelicienne
  31. Axiome des parties
  32. Quelle est la valeur logique de la notion mathématique d'"ensemble" ?
  33. Hiérarchie cumulative de von Neumann
  34. L'hotel infini est accueillant
  35. Et s'il y avait 2 fois plus d'entiers que d'entiers pairs ?
  36. La négation ¬p
  37. Paradoxe algorithmique, problème de l'arrêt
  38. L'assemblage de l'ensemble vide selon Bourbaki
  39. Logique
  40. Quel est le contraire de "Etre ou ne pas être" ?
  41. Equivalence
  42. Logique intuitioniste
  43. Nécessaire et Possible
  44. Les mathématiques peuvent-elles exister sans les nombres ?
  45. Exposition par zéro ou par le néant ?
  46. Les algorithmes permettent-ils de fabriquer automatiquement des théorèmes ?
  47. Arithmétique de Peano du premier ordre
  48. Un énoncé indécidable dans l'arithmétique de Peano mais démontrable dans une autre théorie ?
  49. Quelles sont les théories capables de démontrer les théorèmes de base de l'arithmétique ?
  50. Exercice Logique
  51. raisonnement: l' induction 'logique' ... et sa validité logique ?
  52. Peut on modéliser n'importe quoi par une fonction ?
  53. Multiplication implicite de la métamathématique
  54. Comment montrer qu'une assertion est fausse ou vraie
  55. à propos de P=NP
  56. Classes et prédicats unaires.
  57. Hilbert, Gödel, Turing, P=NP et calculabilité
  58. Résolution du paradoxe de l’interrogation surprise
  59. police logique
  60. Différence entre épistémique et doxastique
  61. Questions relatives à la définition des sciences formelles
  62. Np
  63. propositions prédicats ?
  64. Petite question de vocabulaire sur les predicats
  65. Intégrammes
  66. A quelles conditions deux énoncés sont-ils cohérents ?
  67. démonstration de logique classique (trivial ?)
  68. Théorie des champs ordonnés
  69. "Mais" est-il une conjonction dans le cas présent ?
  70. les "non-ensembles"