Daugiau nei 60 metų anksčiau, tačiau Austrijos matematikas Kurt Gödel pasidengti teoriją, kad teigia, visiškai priešingai. Gödel pirmasis neužbaigtumas teorema susijęs aksiomas, loginis matematinis pareiškimus, kad mes manome, kad būtų tiesa, bet negali būti įrodytas su matematinius įrodymus. Paprastas pavyzdys, tai būtų lygybės (X = X) aksioma. Manome, kad tai būtų tiesa pareiškimas, bet mes negalime iš tikrųjų atsarginę jo kopiją su matematinius įrodymus. Gödel teorema teigia, kad bet koks tinkamas axiomatizable teorija yra neišsamūs arba nenuosekli.
Tai reiškia, pasak teorinis fizikas ir matematikas Freeman Dyson, yra tai, kad matematika yra neišsemiamas. Nesvarbu, kiek problemų mes sprendžiame, mes neišvengiamai susiduria su daugiau neišsprendžiamų problemų per esamas taisykles [Šaltinis: Feferman]. Tai taip pat atrodo, kad paneigti potencialą visko teoriją, bet ji vis dar neišstumia skaičių pasaulį arba žmogaus išradimas ar žmogaus atradimas.
Nepaisant to, matematika gali stovėti kaip žmonijos didžiausias išradimas. Jis komponuoja gyvybiškai svarbios mūsų nervų architektūros ir toliau suteikti mums už psichikos ribų mes gimę su net kaip mes sunku suvokti savo ribas.
Tyrinėkite kitame puslapyje nuorodas sužinoti dar daugiau apie . matematika
Paleisti vaizdo supratimas: matematikos ir gamtos
