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 introduc
The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It
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 pr