МаксТегмарк математикалықәлемгипотезасы (немесе математика) платонизмнен гөрі барлық математикалық объектілер ғана емес, басқа ештеңе де жоқ деп тұжырымдайды. Тегмарк жалғыз постулаты: Математикалық бар барлық құрылымдар физикалық тұрғыдан да бар. Яғни, «сол əлемдерде өзін- өзі танитын құрылымдарды қамтуға жеткілікті күрделі субъективті түрде өзін физикалық« нақты »əлемде бар ретінде қабылдайтын болады» деген мағынада.
Логика математика логикаға жеңілдетілетін, сондықтан логиканың бір бөлігінен басқа ештеңе жоқ деген тезис. Логиктер математиканы білуге болады деп санайды априори, бірақ біздің математика туралы біліміміз жалпы логика туралы білімдеріміздің бір бөлігі ғана, демек, солай аналитикалық, арнайы математикалық интуиция факультетін қажет етпейді. Бұл көріністе, логика математиканың дұрыс негізі болып табылады жəне барлық математикалық тұжырымдар қажет логикалықшындықтар.
РудольфКарнап (1931) логикалық тезисті екі бөлімде ұсынады:
Ұғымдардыматематиканы логикалық ұғымдардан анық анықтамалар арқылы алуға болады.
Теоремалардыматематиканы логикалық аксиомалардан таза логикалық дедукция арқылы алуға болады.
Математикасалалары Геометрия — математиканың кеңістіктік пішіндер (формалар) мен қатынастарды, сондай-ақ, оларға ұқсас басқа да пішіндер мен қатынастарды зерттейтін саласы. Ғылым ретінде Ежелгі Грекияда математиканың бір бөлігі болып қалыптасқан, оның алғашқы аксиомалары Эвклидтың «Бастама» кітабында сипатталған.
Арифме́тика — математиканың, қарапайым сандар түрлерін (натурал сандар, бүтін сандар, рационал сандар) жəне оларға қолданатын қарапайым арифметикалық операцияларды (қосу, алу, көбейту, бөлу) зерттейтін саласы.
Планиметрия — екі өлшемді фигураларды, яки жазықтықта жатқан фигураларды, олардың қасиеттерін зерттейтін геометрия бөлімі.
Математикалық эксперимент
Қазіргі заманғы əлемдегі бірқалыпты емес құбылыстар мен процестерді тану ғылыми зерртеудің «классикалық емес» əдістерін кең ойластыруды жəне тəсілдердің жаңа парадигмаларын меңгеруді талап етеді. Абстракциялардың концептуалдық жүйесін сондай-ақ бұл əлемнің күнделілігіне жəне сапалық жаңаруына сай таным тəсілдерін қалыптастыру математикадағы революциялар мен компьютерлік революцияны жүргізудің негізінде мүмкін болады. Қазіргі уақытта ой еңбегін қол еңбегімен қисындастыру сапалы жаңа күуге жетті жəне ол математикалықэксперименттің(МЭ) көмегімен қоғамның ғылыми жəне техникалық жұмыстарында іске асырылуда.
Философиялық ойланудың тағы бір деңгейі эксперименттің математикалық теориясының (ЭМТ) дамуымен байланысты. Бұл кездейсоқ объектілер əлемнің күрделілігін «түсіндіру» жəне сапалық жаңалығымен, оларды тану тəсілімен байланысты жалпы ғылыми сипаттағы жаңа методологиялық теорияға тəн. Бұны зерттеу философтардың, математиктердің, кибернетиктердің, инженерлердің, технологтардың, конструкторлардың жəне көптеген басқа мамандардың бірлескен еңбегімен жүргізіледі.
Математикалық эксперимент жүргізу адам мен электрондық есеп машинасының (ЭЕМ) бірлесіп зерттелетін нысанның математикалық моделін жасау мен пайдалануға негізделеді. Оның құрамдас бөліктері болып есептеу немесе машиналық эксперимент, аналитикалық есептеу, көп жақты модельдеу (өңдеу) саналады.