Lurte på om du kunne utdype dette litt: "Gödels teorem går nå under navnet Gödels ufullstendighetssetning. Dette teoremet forteller oss at den menneskelige forståelsen av matematikk ikke kan gjenskapes i dataprogram, rett og slett fordi datamaskinens kunnskap er begrenset til et sett aksiomer." Hvorfor kan ikke vi være begrenset til et sett aksiomer? Ev. er ikke det litt drøyt å påstå at bevisstheten og formelle systemer kan sammenlignes så direkte?
