Naslov
Zaboravljena matematička povijest računarstva
(The forgotten mathematical history of computer science)

Autori
Čulina, Boris ; Čulina, Dragana ; Čančarević, Marijan

Izvornik
Poučak : časopis za metodiku i nastavu matematike (1332-3008) 21 (2020), 83; 56-73

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, stručni

Ključne riječi
dijagonalna metoda ; Hilbertov program ; formalni sustavi ; Gödelovi teoremi, Turingovi strojevi ; univerzalni Turingov stroj ; problem dijagonalnog zaustavljanja ; Church-Turingova teza ; Von Neumannov draft
(diagonal method ; Hilbert program ; formal systems ; Gödel's theorems, Turing machines ; universal Turing machine ; diagonal halting problem ; Church-Turing thesis ; Von Neumann's draft)

Sažetak
U radu je izložena matematička povijest modernog računala o kojoj se izvan matematičke struke malo zna, a koja je vrlo važna za razumijevanje matematičkih i logičkih ideja koje su u osnovi računarstva i nastanka modernog računala (dijagonalna metoda, formalni sustavi, kodiranje, poluizračunljivost i izračunljivost, ekvivalentne formulacije izračunljivosti, univerzalni stroj s uskladištenim programom, neizračunljivost), kao i za razumijevanje važne uloge matematike u računarstvu

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika, Računarstvo

POVEZANOST RADA