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

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