Foredraget vil dr?fte betydningen av et ber?mt resultat i matematiske logikk--nemlig G?dels ufullstendighetsteorem--for forholdet mellom menneske og maskin. Hvem er smartest, menneske eller maskin? Det er naturlig ? tro at, i alle fall n?r det gjelder matematikk, vil maskiner etterhvert bli langt smartere enn oss mennesker. Men matematikkens grunnprinsipper m? selvf?lgelig programmeres inn i maskinen. G?dels ber?mte resultat sier at uansett hvilke grunnprinsipper vi programmerer inn i maskinen, s? vil det v?re matematiske sannheter som maskinen ikke kan bevise. Men siden vi kan bevise dette resultatet, vet vi at disse matematiske sannhetene faktisk er sanne. F?lgelig vet vi noe som maskinen ikke kan vite! S? kanskje vi er smartere enn maskinen likevel? Selv om noen stiller seg bak denne konklusjonen, er dette sv?rt kontroversielt og reiser uansett viktige filosofiske sp?rsm?l om forholdet mellom menneskelig tenkning og maskiners "resonnering".
Forberedelser
Koellner, innledning og del I og IV, dvs. sider 337--49 og 355--60 (PDF)
Valgfri ekstra-tekst hvis man har lyst:
https://plato.stanford.edu/entries/goedel-incompleteness/, §§1 - 1.2, 2 - 2.5, 6.3-6.4