Computability and Constructibility
Carl J. Posy · Computability · 2013
This chapter contains sections titled: 5.1 Constructive Mathematics, 5.2 Hilbert and Brouwer: Constructivism in the Foundations of Mathematics, 5.3 Kant, The Father of Modern Constructivism, 5.4 Closing the Loop, Notes, References