Книга: В. В. Целищев «Эпистемология математического доказательства»
|
Серия: "Новая философия математики" В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем интересующимся философией математики. Издательство: "Параллель" (2006) Формат: 60x90/16, 212 стр.
ISBN: 5-98901-010-9 Купить за 623 руб на Озоне |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Логика существования | Предлагаемая читателю книга посвящена представлению концепции существования в логике. Под логикой… — Красанд, (формат: 60x90/16, 136 стр.) Подробнее... | бумажная книга | ||
| Логическая истина и эмпиризм | Настоящая монография представляет собой очерк философских проблем математической логики и оснований… — Красанд, (формат: 60x90/16, 114 стр.) Подробнее... | бумажная книга | ||
| Понятие объекта в модальной логике | Настоящая монография посвящена обоснованию модальной логики и философским проблемам ее категориального… — Красанд, (формат: 60x90/16, 176 стр.) Подробнее... | бумажная книга | ||
| Филосовские проблемы семантики возможных миров | Монография посвящена философским вопросам модальной логики и теории дистрибутивных нормальных форм… — Наука. Сибирское отделение, (формат: 84x108/32, 192 стр.) Подробнее... | бумажная книга | ||
| Философские проблемы семантики возможных миров | Монография посвящена философским вопросам модальной логики и теории дистрибутивных нормальных форм… — Красанд, (формат: 60x90/16, 202 стр.) Подробнее... | бумажная книга | ||
| Логическая истина и эмпиризм | Монография «Логическая истина и эмпиризм» представляет собой очерк философских проблем математической… — Наука, (формат: 60x90/16, 116 стр.) Подробнее... | бумажная книга | ||
| Философия математики. Часть 1 | В монографии отражены исследования в области философии математики, чрезвычайно важные для понимания… — Наука, (формат: 60x90/16, 212 стр.) Новая философия математики Подробнее... | бумажная книга | ||
| Априорные структуры как представление знания | В монографии представлена концепция априорных дедуктивных структур как представление знания. Показано, что… — Параллель, (формат: 60x90/16, 194 стр.) Новая философия математики Подробнее... | бумажная книга | ||
| Алгоритмизация мышления. Геделевский аргумент | Монография посвящена сопоставлению возможностей искусственного интеллекта и человеческих когнитивных… — Параллель, (формат: 60x90/16, 304 стр.) Новая философия математики Подробнее... | бумажная книга | ||
| Интуиция, финитизм и рекурсивное мышление | В монографии отражены исследования в области философии математики, важные для понимания математического… — Параллель, (формат: 60x90/16, 220 стр.) Новая философия математики Подробнее... | бумажная книга | ||
| Тезис Черча | В монографии отражены исследования в области философии математики, важные для понимания природы… — Параллель, (формат: 60x90/16, 174 стр.) Новая философия математики Подробнее... | бумажная книга | ||
| Нормативность дедуктивного дискурса. Феноменология логических констант | В монографии отражены исследования в области философии логики и математики, важные для понимания природы… — Нонпарель, (формат: 60x90/16, 340 стр.) Новая философия математики Подробнее... | бумажная книга | ||
| Онтология математики. Объекты и структуры | В монографии отражены исследования в области философии математики, важные для понимания природы… — Нонпарель, (формат: 60x90/16, 240 стр.) Новая философия математики Подробнее... | бумажная книга | ||
| Понятие объекта в модальной логике | Настоящая монография посвящена обоснованию модальной логики и философским проблемам ее категориального… — Наука, (формат: 84x108/32, 176 стр.) Подробнее... | бумажная книга | ||
| Логика существования. Анализ и экспликация | Предлагаемая читателю книга посвящена представлению концепции существования в логике. Под логикой… — КРАСАНД, (формат: 60x90/16, 136 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Целищев, Виталий Валентинович — Виталий Валентинович Целищев Дата рождения: 21 февраля 1942(1942 02 21) (70 лет) Место рождения: Новосибирск Гражданство: Россия Направление: логика и методология науки … Википедия
Философия математики — учение о сущности математического знания и о базовых принципах математических доказательств, раздел философии науки; её можно также назвать «метаматематикой». Содержание 1 Возможность оснований математики 2 Литература … Википедия
конструктивизм — КОНСТРУКТИВИЗМ (от лат. constructio построение) направление в эпистемологии и философии науки, в основе которого лежит представление об активности познающего субъекта, который использует специальные рефлексивные процедуры при построении… … Энциклопедия эпистемологии и философии науки
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Маймон, Соломон — В Википедии есть статьи о других людях с такой фамилией, см. Маймон. Соломон Маймон Salomon Maimon нем. Arndt, портрет Соломона Маймона Имя при рождении: Шлойме Хайман … Википедия
Готфрид Вильгельм Лейбниц — Готфрид Лейбниц Готфрид Вильгельм фон Лейбниц Дата и место рождения: 1 июля 1646(16460701) Лейпциг, Германия … Википедия
