Метаматематика элементарной математики
Энгелер Э.
Книга швейцарского математика вышла в серии учебников для высшей школы издательства *Ц1прннгер*. Она рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. В ней коротко описываются проблемы обоснования теории вещественных чисел. аксиоматика геометрии, понятие алгоритма. В частности, многих читателей заинтересуют обсуждение проблем геометрических построений ограниченными средствами, а также изложение разрешающего алгоритма для элементарной алгебры и геометрии.Для читателей, интересующихся основаниями математики.
వర్గాలు:
సంవత్సరం:
1987
ప్రచురణకర్త:
Мир
భాష:
russian
పేజీల సంఖ్య:
130
ఫైల్:
DJVU, 2.98 MB
IPFS:
,
russian, 1987