Ako Math Works

yhlásenie, že budeme predpokladať, že je pravda, ale nie je možné dokázať pomocou matematického dôkazu. Jednoduchý príklad tohto by bol axióma rovnosti (X = X). Predpokladáme, že sa to byť pravdivé tvrdenie, ale nemôžeme vlastne zálohovať pomocou matematického dôkazu. Gödel teorém hovorí, že akákoľvek adekvátne axiomatizable teória je neúplný alebo nekonzistentné.

Z toho vyplýva, podľa teoretickým fyzikom a matematik Freeman Dyson, je, že matematika je nevyčerpateľná. Bez ohľadu na to, koľko problémy riešime, budeme nevyhnutne stretávame viac neriešiteľné problémy v rámci existujúcich pravidiel [zdroj: Feferman]. To by tiež zrejme vylučovalo potenciál teória všetkého, ale to ešte nie je degradujú svet čísel buď ľudskému vynálezu alebo ľudské objavu.

Bez ohľadu na to, matematika mohol postaviť ako ľudstvo najväčší vynález. To komponuje dôležitú časť našej nervovej architektúry a naďalej sa nám posilniť mimo mentálne obmedzenia sme sa narodili s, aj keď sme sa snažia pochopiť svoje medze.

Preskúmať väzby na ďalšej stránke sa dozvedieť ešte viac o . matematika
Launch Video Pochopenie: Matematika a príroda