Symbole de déduction $\vdash$

samok
samok
dans Histoire des Mathématiques
Bonjour,
j'aimerais situer dans le temps l'introduction du symbole $\vdash$ en logique formelle. Cela me semble récent (moins de 100 ans).
S

Réponses

  • nicolas.patrois
    nicolas.patrois
    Il me semble que ça vient de l’idéographie de Frege mais le trait horizontal signifiait l’affirmation d’une proposition, le trait vertical l’affirmation de sa véracité.
    Ensuite ça a été réutilisé par Russell et Whitehead dans les Principia mathematica.
    Algebraic symbols are used when you do not know what you are talking about.
            -- Schnoebelen, Philippe
  • samok
    samok
    Tu as des livres en V.O sieur Nicolas ?

    S
  • nicolas.patrois
    nicolas.patrois
    Pas les Principia mais j’ai (en cartons) presque tout Frege en français.
    Sinon, regarde dans le livre de Cajori.
    Algebraic symbols are used when you do not know what you are talking about.
            -- Schnoebelen, Philippe
  • samok
    samok
    Merci, je viens de consulter le livre de Cajori (que j'avais connu grâce à toi), il n'en parle pas.

    S
  • nicolas.patrois
    nicolas.patrois
    Sinon, Frege est disponible à la BNF (gallica).
    Algebraic symbols are used when you do not know what you are talking about.
            -- Schnoebelen, Philippe
  • skilveg
    skilveg
    @Samok : Cajori en parle, dans la partie "Logique mathématique", notations de Frege puis de Whitehead et Russell. C'est dans le deuxième volume, paragraphes 687 et 695. (Et peut-être aussi ailleurs !)

    Résumé : exactement ce que dit Nicolas plus haut.
  • samok
    samok
    Merci skilveg,

    je vais de ce pas commander le volume 2.

    S
  • nicolas.patrois
    nicolas.patrois
    Il est inclus dans le gros volume noir.
    Algebraic symbols are used when you do not know what you are talking about.
            -- Schnoebelen, Philippe
Connectez-vous ou Inscrivez-vous pour répondre.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

Connexion S'inscrire

Catégories

In this Discussion

Qui est en ligne 5

AmadouLirone93 +3 Invités