|
|
Пишет друг друга пердуна (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} oort) |
то есть после 50х логика = это теория моделей
Есть еще всякая теория алгоритмов, но это совсем другое, не математика.
Хотя Разборов например недавно придумал flag algebras, которые позволяют единым манером охватить добрый кусок венгерской математики.
Тим Остин это все на языке эргодической теории как-то перевел
http://aps.arxiv.org/abs/0801.1538
Было бы круто, если оказалось что 100500 статей эрдеша выводятся из одной эргодической теоремы.
Есть еще всякая теория алгоритмов, но это совсем другое, не математика.
Хотя Разборов например недавно придумал flag algebras, которые позволяют единым манером охватить добрый кусок венгерской математики.
Тим Остин это все на языке эргодической теории как-то перевел
http://aps.arxiv.org/abs/0801.1538
Было бы круто, если оказалось что 100500 статей эрдеша выводятся из одной эргодической теоремы.
Добавить комментарий:
