Problém základů v matematice

problém základů v matematice byl pozdní 19. století a brzy 20. staletý termín pro hledání pro nejjednodušší metamathematics.

Po několika školách filozofie matematiky se setkal s limitacema jeden po jiný v 20. století, předpoklad, že nějaká nadace mohla být úspěšně modelována uvnitř matematiky sám začal být těžko napadán.

Dnes jeden odkazuje více pochybně k založením matematiky se vyhnout vyvolání dojmu, které tam je ' problém ' to může být řešeno ve smyslu pro vědu nebo problém matematiky, s jedinou správnou odpovědí to je kontrolováno describable prostředků v teorii důkazu.

Termín ' problém základů ' jen se vyskytuje v literatuře, která učiní předpoklad to tam je takové provable a jedna nadace. V 70-tých letech, mnoho se dohadovat o převládání kvazi-empirismus v matematice popřel tu domněnku - a snažil se se zaměřit na matematickou praxi a pozdnější poznávací věda matematiky - úplně empirický základ pro proč matematika pracuje, a”Kde matematika přijde z”.