3

От математики к метавычислениям:
эволюция математики до компьютеров

 

30-е — 40-е годы
XX века
     Понятие алгоритма,
фон-неймановский компьютер
Гильберт, Бурбаки Математика как формально-языковое моделирование
Декарт Математика как язык
Древние греки Понятие доказательства,
объекты математики как "идеи" Платона
До древних греков Понятие числа, измерение,
вычисления по эмпирическим правилам