Hvernig Math Works

ödels setningin varðar frumforsendur, rökrétt stærðfræði yfirlýsingar sem við gerum ráð fyrir að vera satt en er ekki hægt að sannað með stærðfræði sönnun. Einfalt dæmi um þetta væri Axiom jafnrétti (X = X). Við gerum ráð fyrir að þetta sé satt yfirlýsingu, en við getum í raun ekki að taka það upp með stærðfræði sönnun. Setning Gödels segir að allar fullnægjandi axiomatizable kenning er ófullnægjandi eða ósamræmi.

The vísbendingu, samkvæmt fræðilega eðlisfræðingur og stærðfræðingur Freeman Dyson, er að stærðfræði er ótæmandi. Sama hversu mörg vandamál við að leysa, við munum óhjákvæmilega lenda meira unsolvable vandamál innan núverandi reglum [Heimild: Feferman]. Þetta myndi einnig virðist útiloka möguleika á kenningu um allt, en það er ekki enn relegate heiminn af tölum annaðhvort manna uppfinningu eða manna uppgötvun.

Óháð, stærðfræði gæti staðið sem mest uppfinningu mannkynsins. Það semur ómissandi hluti af tauga arkitektúr okkar og heldur áfram að styrkja okkur út andlega marka við fæddumst með, jafnvel eins og við reynum að fathom takmörk hennar.

Helstu tengla á næstu síðu til að læra meira um . stærðfræði
Sjósetja Video Skilningur: Stærðfræði og Nature