O izvorima i temeljima formalizacije (CROSBI ID 73037)
Prilog u knjizi | izvorni znanstveni rad | domaća recenzija
Podaci o odgovornosti
Kovač, Srećko
hrvatski
O izvorima i temeljima formalizacije
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".
formalizam, Aristotel, Turingov stroj, dokažljivost, oblici života
Veći dio rada prijevod je, s manjim prilagodbama, članka "Remarks on the origin and the foundations of formalisation", Leiden: Brill|Rodopi, 2020 (163- 179).
engleski
On the origins and foundations of formalization
nije evidentirano
formalism, Aristotle, Turing machine, provability, forms of life
nije evidentirano
Podaci o prilogu
13-28.
objavljeno
Podaci o knjizi
Radovi Znanstvenog centra "Berislav Žarnić"
Bašić Hanžek, Gabriela ; Hanžek, Ljudevit ; Škarica, Dario
Split: Filozofski fakultet Sveučilišta u Splitu
2022.
978-953-352-081-0