Kurt Gödels gudsbevis

Kurt Gödel, den højagtede matematiker og logiker fra Østrig, blev berømt for sine to Ufuldstændighedssætninger, men Gödels arbejde rækker ud over hans opdagelser indenfor matematiske systemers fuldstændighed. I dag skal vi besigtige Kurt Gödels formelle gudsbevis, trin for trin, for at se om det virker, og for at se om vi bliver klogere og mere kristne undervejs. Ivan Sæverud fortæller om Kurt Gödel.