Gödels sætning er en af det 20. århundredes mest berømte matematiske sætninger. Den er kendt langt ud over de professionelle matematikeres kreds og indgår i mange diskussioner om logik og erkendelse. Gödels sætning siger i sin mest markante formulering, at ''Der findes sande sætninger, der ikke kan bevises''. I denne formulering har sætningen en umiddelbar appel, som har givet anledning til mange fortolkninger af dens indhold. Gödels sætning fortolkes ofte derhen, at den endegyldigt beviser en begrænsning i mulighederne for erkendelse af sandhed gennem logiske argumenter. I en endnu mere radikal fortolkning siges Gödels sætning at vise grænserne for den rationelle tankegangs rækkevidde -- altså en grænse for hvor meget vi kan vide om verden. I foredraget vil Gödels sætning blive præsenteret og dens filosofiske/idéhistoriske/erkendelsesmæssige konsekvenser vil blive diskuteret.
Ph.D.,
Associate Professor,
DTU
Forsker i logik og kunstig intelligens. Har for nylig modtaget H.C. Ørsted-medaljen i sølv, en af de fineste priser i dansk forskning. http://www.imm.dtu.dk/~tobo/
FOREDRAG • UNF Lyngby
Onsdag d. 23. Oktober 2019
kl. 18.00- 20.00
Alle er velkomne, men denne aktivitet er mest for: