Показать сокращенную информацию
Обзор исследований по основаниям математики. Интуиционизм, теория доказательства
dc.contributor.author | Гейтинг А. | |
dc.date.accessioned | 2016-02-19T22:56:25Z | |
dc.date.available | 2016-02-19T22:56:25Z | |
dc.date.issued | 1936 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/14795 | |
dc.description.abstract | Перевод с немецкого А.П.Юшкевича. В книге Гейтинга дается обзор двух основных школ современной буржуазной философии математики — интуиционизма и формализма. В процессе критической работы обе школы, несмотря на их философские субъективно идеалистические предпосылки, открыли ряд чрезвычайно глубоких и интересных математических фактов. Ознакомление с ними представляет интерес для советского читателя, желающего ознакомиться с вопросами обоснования математики. Сам автор книги — видный интуиционист, один из ближайших учеников главы интуиционистской школы Броуэра. Книге Гейтинга предпослано предисловие, написанное проф. А. Н. Колмогоровым, в котором идеалистическим предпосылкам интуиционистов и формалистов противопоставлен ряд положений материалистической философии и в котором, вместе с тем, отмечается положительное содержание в построениях интуиционистской и формалистской математики. Книга рассчитана на читателя, интересующегося методологией математики и имеющего в этой области уже известную подготовку. | |
dc.language.iso | Russian | |
dc.publisher | Онти | |
dc.subject | ||
dc.subject | ||
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Обзор исследований по основаниям математики. Интуиционизм, теория доказательства | |
dc.type | other | |
dc.identifier.aich | BZKYQFZDNV64V3Q2KZ4F6NA6UDRTSKFI | |
dc.identifier.crc32 | A5249DBE | |
dc.identifier.doi | ||
dc.identifier.edonkey | 02B8C82027A8E263EA342CFA003A5E3F | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 910916 | |
dc.identifier.md5 | 86b746b6b1a9de0068f1cbbed77f9e23 | |
dc.identifier.sha1 | WUMC5HYYG2SEPLY64Q76EO5LATN363ZI | |
dc.identifier.tth | IFLIOQC7JZSFOJKXRA5HRLPWMHE66TL3UTQ4D4I |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]