Метаматематика элементарной математики
Энгелер Э.
Книга швейцарского математика вышла в серии учебников для высшей школы издательства *Ц1прннгер*. Она рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. В ней коротко описываются проблемы обоснования теории вещественных чисел. аксиоматика геометрии, понятие алгоритма. В частности, многих читателей заинтересуют обсуждение проблем геометрических построений ограниченными средствами, а также изложение разрешающего алгоритма для элементарной алгебры и геометрии.Для читателей, интересующихся основаниями математики.
Kategoriler:
Yıl:
1987
Yayımcı:
Мир
Dil:
russian
Sayfalar:
130
Dosya:
DJVU, 2.98 MB
IPFS:
,
russian, 1987