Kurt Gödel : The Princeton lectures on intuitionism / Maria Hämeen-Anttila, Jan von Plato, editors.
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Godel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics...
Full description
Saved in: