Книга: Д. Гильберт, П. Бернайс «Основания математики. Логические исчисления и формализация арифметики»
Серия: "Математическая логика и основания математики" Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта И. Бернайса пользуется большой популярностью среди специалистов. Издательство: "Главная редакция физико-математической литературы издательства "Наука"" (1979) Формат: 60x90/16, 560 стр.
|
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Основания математики. Теория доказательств | Перевод с немецкого — Наука, (формат: 60x90/16, 656 стр.) Математическая логика и основания математики Подробнее... | бумажная книга |
См. также в других словарях:
ГИЛЬБЕРТ — (Hubert) Давид (род. 23 янв. 1862, Кенигсберг – ум. 14 февр. 1943, Гёттинген) – нем. математик и логик, профессор в Гёттингене с 1895 по 1936. Создал основополагающие работы по аксиоматике геометрии, арифметики и физики, в которых пытался… … Философская энциклопедия
Бернайс, Пауль — Пауль Исаак Бернайс нем. Paul Isaac Bernays … Википедия
Гильберт, Давид — В Википедии есть статьи о других людях с такой фамилией, см. Гильберт. Давид Гильберт David Hilbert … Википедия
ГИЛЬБЕРТ — (Hubert) Давид (1862 1943) германский математик, логик, философ, руководитель одного из основных центров мировой математической науки первой трети 20 в. Геттингенской математической школы, исследования которого оказали определяющее влияние на… … История Философии: Энциклопедия
Гильберт Давид — Программа Гильберта и теоремы Гёделя Фреге, Пеано и Рассел, подобно Платону, верили в объективность мира математических соотношений, открываемых, а не изобретаемых учеными. Давид Гильберт, основатель формалистической школы, говорил, что… … Западная философия от истоков до наших дней
ГИЛЬБЕРТ Давид (1862 - 1943) — германский математик, логик, философ, руководитель одного из основных центров мировой математической науки первой трети 20 в. Геттингенской математической школы, исследования которого оказали определяющее влияние на развитие математических наук.… … История Философии: Энциклопедия