Pregled bibliografske jedinice broj: 1193288
O izvorima i temeljima formalizacije
O izvorima i temeljima formalizacije // Radovi Znanstvenog centra "Berislav Žarnić" / Bašić Hanžek, Gabriela ; Hanžek, Ljudevit ; Škarica, Dario (ur.).
Split: Filozofski fakultet Sveučilišta u Splitu, 2022. str. 13-28
CROSBI ID: 1193288 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
O izvorima i temeljima formalizacije
(On the origins and foundations of formalization)
Autori
Kovač, Srećko
Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni
Knjiga
Radovi Znanstvenog centra "Berislav Žarnić"
Urednik/ci
Bašić Hanžek, Gabriela ; Hanžek, Ljudevit ; Škarica, Dario
Izdavač
Filozofski fakultet Sveučilišta u Splitu
Grad
Split
Godina
2022
Raspon stranica
13-28
ISBN
978-953-352-081-0
Ključne riječi
formalizam, Aristotel, Turingov stroj, dokažljivost, oblici života
(formalism, Aristotle, Turing machine, provability, forms of life)
Sažetak
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".
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
Napomena
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).
