Метаматематика элементарной математики (Энгелер Э.)
автор: Энгелер Э. категория: Наука и образование
Книга швейцарского математика вышла в серии учебников для высшей школы издательства *Шпрннгер*. Она рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. В ней коротко описываются проблемы обоснования теории вещественных чисел. аксиоматика геометрии, понятие алгоритма. В частности, многих читателей заинтересуют обсуждение проблем геометрических построений ограниченными средствами, а также изложение разрешающего алгоритма для элементарной алгебры и геометрии.
Для читателей, интересующихся основаниями математики.
Издатель: Мир
Год издания: 1987
Страниц: 128
log-in.ru
комментариев нет