

Gödel's incompleteness theorem and quantum thermodynamic limits
pp. 287-298
in: Evandro Agazzi, György Darvas (eds), Philosophy of mathematics today, Berlin, Springer, 1997Abstract
The history of classical geometry shows how basic observations and intuitions about simple objects in Euclidean space can be progressively encapsulated by purely mathematical systems in the framework of formal axiomatic theories.