|
|
andreas.stokke@xxxxxxxxxxxxxx wrote:
>
> Can anyone give me some information about the history of the deduction
> theorem. When was it first introduced?
J. Herbrand. Recherches sur la théorie de la démonstration. PhD Thesis,
University of Paris, 1930 (approved in April 1929).
A. Tarski. Ueber einige fundamentale Begriffe der Metamathematik.
"Comptes Rendus de Séances de la Société des Sciences et des Lettres de
Varsovie, Classe III", 1930, Vol.23, pp. 22--29.
> I'm particularly interested in
> finding out whether it or anything equivalent to it was in the
> Principia?
--
Remove "antispam" and ".invalid" for e-mail address.
Hug a hoodie, pat a paki, snog a wog, jump a jew.
|
|