Язык:
Формат:
только полные версии  
У интуиции есть своя логика. Гёдель. Теоремы о неполноте.
Математика, Образовательная, прикладная, научно-популярная литература

У интуиции есть своя логика. Гёдель. Теоремы о неполноте.

Язык: русский
Год: 2015
Статус: Закончена

Курт Гёдель изменил понимание математики. Две теоремы о неполноте, сформулированные им в 1931 году, с помощью формальной логики выявили...
Утверждение о конечной сумме цифр многозначного простого числа
Математика

Утверждение о конечной сумме цифр многозначного простого числа

Язык: русский
Год: 2019
Статус: Закончена
полная версия

В данной статье приводится доказательство математического утверждения, которое может быть использовано при проверке больших чисел на...
Жар холодных числ и пафос бесстрастной логики
Математика

Жар холодных числ и пафос бесстрастной логики

Язык: русский
Год: 1977
полная версия

Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и...
Изменчивая природа математического доказательства. Доказать нельзя поверить
Математика, Учебники и пособия ВУЗов

Изменчивая природа математического доказательства. Доказать нельзя поверить

Язык: русский
Год: 2021
полная версия

Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и...