Список проголосовавших за комментарий "karapuz, <br/> <br/> Ну если глобально, то современная математика — это теория множеств, выводы в которой делаются в соответствии с теорией доказательств, основанной на матлогике. Как то так. Теория алгоритмов — это уже подраздел, как и теория групп и иных алгебр и теория вероятностей и т. д… Как то так."