Подходы к теории обобщенной вычислимости

Изучаются некоторые естественные постановки и подходы к постановке и решению задач над произвольными алгебраическими системами, не предполагающие нумерацию этих систем. Это дает возможность рассматривать алгоритмические проблемы над существенно неконструктивными, например несчетными, системами. Предлагаемые подходы обобщают классическую вычислимость.