Tomasz Placek Knihy

In 1907, Brouwer's doctoral dissertation sparked modern mathematical intuitionism, challenging prevailing formalist and Platonist views. This led to a long-standing debate, with both camps perceiving intuitionism as a significant threat. The book explores the philosophical implications of this controversy, questioning the role of philosophers in mathematical disputes. It critically analyzes the key arguments for intuitionism presented by Brouwer, Heyting, and Dummett, focusing on their ontological and epistemological foundations to assess the validity of their claims and assumptions.

In this book, the author explores the origins and debates surrounding mathematical intuitionism, initiated by Brouwer in 1907. It examines the philosophical implications of intuitionism, addressing arguments from Brouwer, Heyting, and Dummett. The work emphasizes the need for philosophical intervention in mathematical disputes.