Truth in mathematics : [... lectures given at a conference Truth in Mathematics, which was held in Mussomeli, Sicily, Italy, from 13 to 20 September 1995 : dedicated to the memory of R.O. Gandy, 22 September 1919-20 November 1995

1. Truth And The Foundations Of Mathematics. An Introduction / H.g. Dales And G. Oliveri -- 2. Truth And Objectivity From A Verificationist Point Of View / Dag Prawitz -- 3. Constructive Truth In Practice / Douglas S. Bridges -- 4. On Founding The Theory Of Algorithms / Yiannis N. Moschovakis -- 5. Truth And Knowability: On The Principles C And K Of Michael Dummett / Per Martin-lof -- 6. Logical Completeness, Truth, And Proofs / Gabriele Lolli -- 7. Mathematics As Language / Edward G. Effros -- 8. Truth, Rigour, And Common Sense / Yu. I. Manin -- 9. How To Be A Naturalist About Mathematics / Penelope Maddy -- 10. The Mathematician As A Formalist / H.g. Dales -- 11. A Credo Of Sorts / V.f.r. Jones. Edited By H.g. Dales And G. Oliveri. Includes Bibliographical References (p. 353-370) And Index. The nature of truth in mathematics has exercised the minds of thinkers from at least the time of the ancient Greeks. The great advances in mathematics and philosophy in the twentieth century and in particular the work by Gdel and the development of the notion of independence in mathematics have led to new and complex views on this question. Collecting the work of a number of outstanding mathematicians and philosophers, including Yurii Manin, Vaughan Jones, and Per Martin-Lf, this volume provides an overview of the forefront of current thinking and a valuable introduction for researchers in the area.