Author
Synopsis
Pokazuje se u kojem se smislu bitne značajke formalizma, kao standarda egzaktnosti, mogu pronaći već u Aristotela. Opisuje se uvjetovanost egzaktnosti i formalizma osjetilnom zornošću i slikovitošću kao i strojni karakter formalizma (Turingov stroj). Opći pojam dokažljivosti vodi razvojnomu, dinamičnomu shvaćanju formalizama, s konačnim izvorištem logičkih predložaka u “formama života”.
Pages
13-28
Belongs to the book
