Din cărți

Doi autori au încercat să construiască toată matematica pornind doar de la logica pură, având nevoie de sute de pagini doar pentru a demonstra că 1+1=2.

Matematica fundamentală poate fi derivată din principii logice pure, dar demonstrația este extrem de laborioasă.

Russell și Whitehead voiau să arate că numerele și adunarea nu sunt doar reguli învățate pe de rost, ci pot fi construite riguros din simboluri logice de bază. Munca a fost uriașă și migăloasă, dovada pentru 1+1=2 apărând abia la sute de pagini distanță. Efortul lor a arătat cât de adânci sunt ideile simple.

De ce conteazăCartea a pregătit terenul pentru descoperirile lui Gödel despre limitele oricărui sistem logic.

Logica purăDemonstrațielaborioasăAdevăr matematicsimplu (1+1=2)
Calea de la logică la matematică

Vezi tot fluxul