Repository | Book | Chapter
(1981) Philosophie du langage, logique philosophique / Philosophy of language, philosophical logic, Dordrecht, Springer.
The term proof theory, in German Beweistheorie, was introduced by Hilbert [1] in 1922 as the name of a subject which he had already described in a lecture [2] in 1917 as "an important, new field of research" where "we must make the concept of specific mathematical proof itself object of investigation, just as also the astronomer pays attention to his place of observation, the physicist must care about the theory of his instrument, and the philosopher criticizes reason itself".
Publication details
DOI: 10.1007/978-94-009-8356-4_10
Full citation:
Prawitz, D. (1981)., Philosophical aspects of proof theory, in G. Fløistad & G. H. Von Wright (eds.), Philosophie du langage, logique philosophique / Philosophy of language, philosophical logic, Dordrecht, Springer, pp. 235-277.