Книга: А. Гейтинг «Гейтинг А. Обзор исследований по основаниям математики»
|
Серия: "-" В книге Гейтинга дается обзор двух основных школ современной буржуазией философии математики — интуиционизма и формализма. В процессе критической работы обе школы, несмотря на их философские субъективно идеалистические предпосылки, открылиряд Чрезвычайно глубоких и интересных математических фактов. Ознакомление с ними приставляет интерес для советского читателя, желающего ознакомиться с вопросамиобоснования математики. Сам автор книги — видный интуицнонист, одни из ближайших учеников главы интуиционистской школы Броуэра. Воспроизведено в оригинальной авторской орфографии издания 1936 года (издательство "Москва Ленинград ОНТИ" ). Издательство: "ЁЁ Медиа" (1936)
ISBN: 978-5-458-58227-8 Купить за 2036 руб в My-shop |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Интуиционизм | Вниманию читателей предлагается книга голландского математика и логика А. Гейтинга, представляющая собой… — Либроком, (формат: 60x90/16, 160 стр.) Физико-математическое наследие: математика (история математики) Подробнее... | бумажная книга | ||
| Интуиционизм | Вниманию читателей предлагается книга голландского математика и логика А. Гейтинга, представляющая собой… — Либроком, (формат: 60x90/16, 160 стр.) Природа Дальнего Востока Подробнее... | бумажная книга | ||
| Гейтинг А. Обзор исследований по основаниям математики | В книге Гейтинга дается обзор двух основных школ современной буржуазией философии математики… — ЁЁ Медиа, Подробнее... | бумажная книга |
См. также в других словарях:
Гейтинг — Гейтинг, Аренд Аренд Гейтинг (9 Мая, 1898 – 9 Июля, 1980) голландский математик и логик, студент и последователь Л. Э. Я. Брауэра член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. – профессор).… … Википедия
Гейтинг, Аренд — Аренд Гейтинг (нидерл. Arend Heyting; 9 мая 1898(18980509), Амстердам 9 июля 1980, Лугано) голландский математик и логик, студент и последователь Л. Э. Я. Брауэра член Нидерландской АН. Окончил Амстердамский… … Википедия
ГЕЙТИНГ — ГЕЙТИНГ (Heyting) Аренд (9 мая 1898, Амстердам 9 июля 1980, Лучано) голландский логик и математик. Еще студентом Амстердамского университета становится учеником и последователем Л. Э. Я. Брауэра, приступившего к разработке программы… … Философская энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
ЭФФЕКТИВИЗМ — направление в филос. основаниях математики, ставившее своей задачей переосмысление «платонистской» концептуальной основы содержат. (канторовской) теории множеств с т. зр. принципов эмпиризма. Выдвинуто в кон. 19 нач. 20 вв. в работах… … Философская энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается … Философская энциклопедия
