Машина Гёделя
Формальная спецификация, описывающая рекурсивный протокол самомодификации, который переписывает свой собственный код, когда может доказать, что новый код обеспечивает оптимальную стратегию. Обсуждается в контексте МЕТАОБУЧЕНИЯ. Сравнивается с когнитивной архитектурой AIXI. Автор - Юрген Шмидхубер.
Gödel machines are self-referential universal problem solvers making provably optimal self- improvements. *
"Тьюринговая машина - это GUI к ядру - Геделевской машине" - метафора из комментариев к «ИИ - Гедель против Тьюринга или критика искусственного разума. Точка зрения технаря».