Давид Хилберт: Разлика помеѓу преработките
| [проверена преработка] | [проверена преработка] |
Избришана содржина Додадена содржина
с додадена Категорија:Германски математичари користејќи го HotCat |
Нема опис на уредувањето |
||
Ред 3:
Хилберт во 1888 година објавил една важна Јорданова теорема на системите од повискиот ред, за во 1899 година да ги објави своите основи во геометријата (Grundlagen der Geometrie) во кои таа тема конечно, ја ставил на строга [[Хилбертови аксиоми|аксиоматска основа]].
Тој исто така покажал дека геометријата е исто толку конзистентна како и аритметиката на реални броеви. Во 1900 година, Хилберт издвоил дел од 23-те проблеми како предизвик за математичарите од 20 век; решенија или некој вид на подобрување бил направен за околу три четвртини од нив.
Подоцна, Хилберт се посветил на работата на теоретската физика и основите на математиката. Тој го развил математичкиот формализам кој го довел до делот на Основите на математиката (Grundlagen der Mathematik, 1934-1939), заедно со Пол Бернајс. Другите работи на Хилберт го вклучуваат неговиот доказ за проблемот со Варинг, т.е. претпоставката поставена од Варинг 1770, а првото целосно решение било пронајдено од Хилберт 1909, тогаш развојот на т.н. Хилбертовиот простор<ref>{{cite web | url = http://www.britannica.com/eb/article-9040439/David-Hilbert | title = David Hilbert | publisher = Encyclopædia Britannica | year = 2007 | accessdate = 2007-09-08 }}</ref> и придонес кон проучување на интегрални равенки и алгебарска теорија на броеви.
== Биографија на Давид Хилберт ==
Ред 89:
Во 1931 година, неговата теорема на некомплетност покажала дека одличниот план на Хилберт не бил возможен уште од самиот почеток. Следните достигнувања на теоријата на докази, како минимум, ја појаснуваат конзистентноста што се однесува на теориите со кои се зафатени математичарите заедно.
Со својата работа, Хилберт започнал со логичен пристап за појаснување на проблемот. Потребата за разбирање на работата на Гедел на крајот води кон развој на рекурзивната теорија и математичката логика како посебна дисциплина во 1930-тите.
== Наводи ==
{{наводи}}
[[Категорија:Германски математичари]]
| |||