Symbole de déduction $\vdash$
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
j'aimerais situer dans le temps l'introduction du symbole $\vdash$ en logique formelle. Cela me semble récent (moins de 100 ans).
S
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Ensuite ça a été réutilisé par Russell et Whitehead dans les Principia mathematica.
-- Schnoebelen, Philippe
S
Sinon, regarde dans le livre de Cajori.
-- Schnoebelen, Philippe
S
-- Schnoebelen, Philippe
Résumé : exactement ce que dit Nicolas plus haut.
je vais de ce pas commander le volume 2.
S
-- Schnoebelen, Philippe