Герр Готфрид Вильгельм Лейбниц... с этим человеком мы познакомились совсем вскользь, когда я рассказывал про Исаака Ньютона. И я вот теперь сижу и думаю, а не запилить ли про него материал. Когда-нибудь может сделаю про него отдельный большой ролик, а пока давайте сделаем статью, ведь это, можно сказать, пахан европейской математики... Лейбница и Ньютона запомнили как сладкую парочку в первую очередь из-за спора, если не сказать драчки, о приоритете открытия исчисления (Calculus, или по-нашему математический...

Чтобы оценить теорему Гёделя, необходимо понимание контекста, в котором произошло революционное открытие Геделя. Я попытаюсь дать неполный обзор истории математической логики. Логика — одна из древнейших научных дисциплин. Формальная традиционная логика была создана в трудах Аристотеля ( 384–322 гг. до н.э.) на заре европейской цивилизации в Древней Греции. Аристотель — автор оригинальной, тщательно разработанной логической системы. Его силлогистика была исторически первой логической дедуктивной системой...