w matematyce przyczyniły się niewątpliwie (i dalej się przyczyniają) do precyzowania podstaw rozmaitych działów matematyki. Wyniki tych badań są też wykorzystywane w &lt;foreign lang="eng"&gt;computer science&lt;/&gt;. Należy je więc uznać za pożyteczne. Nie można jednak pominąć faktu, że prowadzą one do pewnego zubożenia matematyki klasycznej.&lt;/&gt;<br><br>&lt;div1&gt;3. &lt;tit1&gt;FORMALIZM&lt;/&gt;<br>Twórcą formalizmu był matematyk niemiecki David Hilbert (1862­1943), który swe poglądy na filozofię matematyki wyłożył przede wszystkim w artykułach publikowanych w latach 1917­1931. Inni przedstawiciele tego kierunku, rozwijający myśl Hilberta, to Paul Bernays (1888­1977), Wilhelm Ackermann (1896­1962), Gerhard Gentzen (1909­1945), John von Neumann (1903­1957) oraz Haskell B. Curry (1900­1982