(19.11.2010 19:59)Efrit Wrote:  Дык с тем же успехом можно и программирование считать разделом математики. А что? Всё равно же всё в нём в итоге сводится к машинам Тьюринга с Шёнфилдом, да к автоматам с КСГ.

Не знаю, относится ли теория алгоритмов к математике. Я бы сказал, что это что-то переходное между математикой и программированием - смежная область, а программирование - отдельная отчасти научная дисциплина. Про мат.логику так нельзя сказать - её никуда, кроме математики, не отнести.

(19.11.2010 19:59)Efrit Wrote:  Относят её к математике потому, что матлогика как наука исторически появилась куда позже математики. Но это не мешает ей прекрасно существовать без математики, в то время как математика без матлогики существовать не может...

Ну и что? Без матана мало что в математике может существовать, а матан без большинства мат. дисциплин - запросто. К классификации это относится, но только при её становлении. Сейчас есть слово математика с определенным общепринятым смыслом, а ты зачем-то наделяешь его своим смыслом.
С сегодняшнего дня предлагаю считать, что Эфрит - это не огненный аналог джинна, а африканское существо с большими ушами и длинным хоботом.