Метаматематика элементарной математики
Энгелер Э.
Книга швейцарского математика вышла в серии учебников для высшей школы издательства *Ц1прннгер*. Она рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. В ней коротко описываются проблемы обоснования теории вещественных чисел. аксиоматика геометрии, понятие алгоритма. В частности, многих читателей заинтересуют обсуждение проблем геометрических построений ограниченными средствами, а также изложение разрешающего алгоритма для элементарной алгебры и геометрии.Для читателей, интересующихся основаниями математики.
Կատեգորիաներ:
Տարի:
1987
Հրատարակչություն:
Мир
Լեզու:
russian
Էջեր:
130
Ֆայլ:
DJVU, 2.98 MB
IPFS:
,
russian, 1987