Informatické kolokvium 3.3. Kurt Gödel as a Destruction & Revival Theme
Informatické kolokvium 3.3. 2019, 14:00 posluchárna D2
prof. RNDr. Jiří Zlatuška, CSc., FI MU
Kurt Gödel as a Destruction & Revival Theme
Abstrakt: Kurt Gödel's results can be viewed as a destruction of Formal
Mathematics as a discipline dealing with mathematical truths, and at the same
time as laying a foundation of subsequent revival of the field in the form of
Informatics as a discipline dealing with the nature of computational side of the
world (complementing the physical and consciousness sides dealt with in other
branches of scientific disciplines). This talk is a slight extension of the talk
given at the opening of the "Tribute to Kurt Gödel 2020" international
conference which took place in Brno in January 2020.