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