Основи на математиката: Разлика помеѓу преработките
[проверена преработка] | [проверена преработка] |
Избришана содржина Додадена содржина
с Робот: Автоматизирана замена на текст (-== Видете исто така == +== Поврзано ==) |
с Робот: Автоматизирана замена на текст (-философ +филозоф) |
||
Ред 1:
'''Основи на математиката''' е израз кој понекогаш се употребува во некои полиња на самата [[математика]], имено за [[математичка логика|математичката логика]], [[аксиоматска теорија на множествата|аксиоматската теорија на множествата]], [[доказна теорија|доказната теорија]], [[теорија на моделите|теоријата на моделите]] и [[теорија на рекурзијата|теоријата на рекурзијата]].
Меѓутоа потрагата по основите на математиката е централно прашање на [[
На која фундаментална основа можат [[Тврдење|математичките искази]] да се сметаат за [[вистина|точни]]?
Основачката
Според ова гледиште, законите на природата и законите на математиката се со сличен статус, и ефективноста на случаите е неразумна.
Тукa основата не ја сочинуваат нашите аксиоми, туку вистинскиот свет на математичките предмети.
Така, очигледното прашање е: како да пристапиме кон овој свет? (вид. Anglin 1991, стр. 218)
Основачката
Практично сите математички [[теорема|теореми]] денес можат да се формулираат како теореми на теоријата на множествата.
Според ова, вистинитоста на некој математички исказ, не е ништо повеќе од тврдење дека исказот може да се изведе од [[Аксиоматска теорија на множествата#Аксиоми за теоријата на множествата|аксиомите за теоријата на множествата]] користејќи ги правилата на формалната логика (вид. Anglin 1991 стр. 218).
Ред 20:
[[Геделова теорема за непотполноста|Геделовата втора теорема за непотполноста]] воспоставува дека формалните системи на аритметиката не можат да содржат валиден доказ за нивната сопствена [[доказ за доследност|доследност]].
Основачката
На пример, како последица од ова, обликот на доказот познат како [[редукција до апсурд]] е осомничен (вид. Anglin 1991 стр. 218).
Некои современи [[теорија|теории]] во
Некои теории се задржуваат на [[математичка практика|математичката практика]], и се стремат да ја опишат и анализираат фактичката работа на математичарите како [[општествена група]].
Други се обидуваат да создадат [[когнитивистика на математиката]], задржувајќи се на човековото сфаќање како извор на издржаноста на математиката при нејзината примена во вистинскиот свет.
|