История изменений
Исправление Macil, (текущая версия) :
Логика<>формализованная логика. Да хоть с баунти у тебя ассоциируется
Шаблончик трещит? Бывает, бывает... Но факт остается фактом: до середины 19-го века логика и математика существовали относительно параллельно, а матстат — совсем недавнее изобретение.
Кстати, про тернистый путь логики в XX веке есть хорошая видюшка «Faith, Evolution, and Programming Languages» by Philip Wadler. Весьма поучительно.
Исходная версия Macil, :
Логика<>формализованная логика. Да хоть с баунти у тебя ассоциируется
Шаблончик трещит? Бывает, бывает... Но факт остается фактом: до середины 19-го века логика и математика существовали относительно параллельно, а матстат — совсем недавнее изобретение.
Кстати, про тернистый путь логики в XX веке есть хорошая вюдюшка «Faith, Evolution, and Programming Languages» by Philip Wadler. Весьма поучительно.