Abstraction, axiomatization and rigor
Pasch and Hilbert
pp. 161-178
Abstrakt
In the late nineteenth century, Pasch made a well known statement concerning the conditions of attaining rigor in geometrical proof. The criterion he offered called not only for the elimination of appeals to geometrical figures, but of appeals to meanings of geometrical terms more generally. Not long after Pasch, Hilbert (and others) proposed an alternative standard of rigor. My aim in this paper is to clarify the relationship between Pasch's and Hilbert's standards of rigor. There are, I believe, fundamental differences between them.
Publication details
Published in:
Hellman Geoffrey, Cook Roy T. (2018) Hilary Putnam on logic and mathematics. Dordrecht, Springer.
Seiten: 161-178
DOI: 10.1007/978-3-319-96274-0_11
Referenz:
Detlefsen Michael (2018) „Abstraction, axiomatization and rigor: Pasch and Hilbert“, In: G. Hellman & R. T. Cook (eds.), Hilary Putnam on logic and mathematics, Dordrecht, Springer, 161–178.