Плиско В.Е. - Введение в математическую логику - 14. Интуиционистская логика
Символы интеграла, придуманные Лейбницем в XVII веке, остаются мировым стандартом
Когда мы слышим слово «математик», в голове часто возникает образ человека, который просто решает сложные уравнения. Но Готфрид Вильгельм Лейбниц, живший с 1646 по 1716 год, был совсем другим. Это был настоящий человек-оркестр: философ, дипломат, юрист и изобретатель, который дружил с царями и королями. Он не просто любил цифры, он хотел научить машины думать за людей. Именно Лейбниц создал первый серьезный калькулятор, который умел умножать и делить, а не только складывать. Но самое главное его достижение скрыто в том, как мы пишем математику сегодня...