Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Метаматематика элементарной математики
Автор: Энгелер Э.
Аннотация:
Книга швейцарского математика вышла в серии учебников для высшей школы издательства «Шпрингер». Она рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. В ней коротко описываются проблемы обоснования теории вещественных чисел, аксиоматика геометрии, понятие алгоритма. В частности, многих читателей заинтересуют обсуждение проблем геометрических построений ограниченными средствами, а также изложение разрешающего алгоритма для элементарной алгебры и геометрии.
Для читателей, интересующихся основаниями математики.