- Заглавие: ГИЛЬБЕРТ ДАВИД
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
ГИЛЬБЕРТ ДАВИД [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: ГИЛЬБЕРТ ДАВИД (1862–1943) — выдающийся немецкий математик, основоположник программы формализма в математике. Он вполне правомерно предполагал, что математике предстоит выявить свои собственные основания. Науку о них Г. назвал метаматематикой. По поводу этих оснований он также высказал вполне определенные суждения. Имеется в виду, что, руководствуясь аксиоматическим методом, следует дедуктивно выводить все теоремы. Достаточно доказать непротиворечивость математической системы, не прибегая к содержательным интерпретациям математических понятий. В таком случае любая математическая теория предстает как синтаксическое мероприятие. К тому же Г. полагал, что любое доказательство должно осуществляться за конечное число ходов (требование финитности). В 1931 г. К. Гёдель показал, что программа Г. не может быть реализована
