The volume contains twenty essays devoted to the philosophy of mathematics and the history of logic. They have been divided into four parts: general philosophical problems of mathematics, Hilbert's program vs. the incompleteness...

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's...

"Philosophie der Mathematik" von Roman Murawski bietet eine umfassende Einführung in die philosophischen Grundlagen und Fragestellungen der Mathematik. Das Buch untersucht zentrale Themen wie die Natur mathematischer Objekte, die...