"korrutamistehted" - 1 õppematerjal

Loogika aine ja ajalugu

kogu maailma olek ja võimalik käitumine. Kui teoreetiliselt võiks niisugune kirjeldus olla ehk isegi võimalik, siis praktiliselt on seda võimatu konstrueerida, kasutamisest rääkimata: kirjeldus oleks lootusetult suur. 1.6.3 Täisarvudega tegelev matemaatika Võtame kolmandaks näitevaldkonnaks harilike täisarvudega tegeleva matemaatika. Nimetame sellist sorti matemaatikat ``aritmeetikaks''. Aritmeetika valdkonnas defineeritakse liitmis- ja korrutamistehted ning hakatakse seejärel teoreeme tõestama. Lihtsaimad teoreemid on harilikud arvutusülesanded nagu · ``kas 2*15 = 25?'' · ``kas (3+4)*7 = 85?'' keerulisemad aga pärivad arvude ja tehete üldiste omaduste järele, nagu · ``kas iga arvu x ja arvu y jaoks kehtib x+y = y+x?'' · ``kas algarve on lõpmatu hulk?'' · Fermat nn. suur teoreem, mida keegi pole veel tõestada suutnud: ``iga kahest suurema täisarvu x-i jaoks kehtib