Download or read book Formalism and Beyond written by Godehard Link and published by Walter de Gruyter GmbH & Co KG. This book was released on 2014-10-09 with total page 430 pages. Available in PDF, EPUB and Kindle. Book excerpt: The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic conceptual and logical analyses, the volume provides a thorough, up-to-date account of the subject.