| 70-е годы — теория, 80-е – 90-е годы — к практике |
Метавычисления: решение задач |
|
 |
||
| 50-е годы и дальше | Языки программирования, манипулирование программами (интерпретация, компиляция, анализ и преобразования программ) |
|
|
||
| 30-е – 40-е годы XX века |
Понятие алгоритма, фон-неймановский компьютер |
|
|
||
| Гильберт, Бурбаки | Математика как формально-языковое моделирование | |
|
||
| Декарт | Математика как язык | |
|
||
| Древние греки | Понятие доказательства, объекты математики как "идеи" Платона |
|
|
||
| До древних греков | Понятие числа, измерение, вычисления по эмпирическим правилам |
|