Matematička logika
Kao neposredno suprostavljenu koncepciju formalizmu treba svakako navesti intuicionizam. Zaˇcetnik te filozofije matematike je Brouwer [19] . Za intuicioniste je egzistencija nekog matematiˇckog objekta ekvivalentna s poznavanjem metode kojom se...