Каково техническое определение теоретической информатики?Какие подполя включены?

Question

Каково техническое определение теоретической информатики?(Или что это должно быть?)

Какие основные подполя оно включает и какова общность, которая отделяет их от остальной информатики?

Более конкретно: если какое-то конкретное исследованиеимеет прямые практические мотивы, цели и результаты, но в основном включает в себя очень абстрактные методы, теоретическая информатика или нет?

Два примера для рассмотрения:

"Двойные кватернионы для жесткого смешивания преобразования" (лучшее математическое представление вращения и преобразования для анимации) https://www.cs.tcd.ie/publications/tech-reports/reports.06/TCD-CS-2006-46.pdf

"РеляционныйСемантика для основанных на эффектах программных преобразований с динамическим распределением "(оптимизация Complier с помощью денотационной семантики): http://research.microsoft.com/pubs/67977/ppdprelational.pdf

[Статья в Википедии дает только расплывчатое определение и длинный список подполей.Должны ли просто принять, что нет лучшего определения, чем это?http://en.wikipedia.org/wiki/Theoretical_computer_science]

РЕДАКТИРОВАТЬ: Я думаю, этот вопрос сводится к «Что означает термин« теория »в контексте информатики?».Глядя на 6 различных значений этого слова в wiktionary , я не думаю, что какое-либо из них полностью подходит.Я предполагаю, что математический смысл теории хорошо подходит для полностью математических полей, но не для других, а для СБИС, машинного обучения и вычислительной биологии из wikipedia: TCS она в основном не подходит.

Answer 1

Я думаю, что самый простой способ отличить теорию от приложения - взглянуть на определение компьютера.Если работа в полевых условиях основана на предположении, что компьютер является физическим объектом или системой, то это, вероятно, приложение.С другой стороны, если работа в полевых условиях основана на предположении, что компьютер является абстрактным (обычно математическим) объектом, это, вероятно, теория.Итак, когда вы решаете, говорить ли вы о том, что вы теоретический компьютерный ученый, я думаю, что вам просто нужно спросить себя: «Что такое компьютер?»

(для меня это определенно абстрактный объект)

Answer 2

Эта ссылка содержит список подполей: http://arxiv.org/corr/home, Я не буду воспроизводить их здесь, поскольку ссылка может измениться, и она будет избыточной.

Кроме того, мне вспоминается цитата кого-то, не могу вспомнить, кто, как:

Математика это что угодно математики делают

Казалось бы, применимо.