Теория вычислимых моделей
Теория вычислимых моделей — это раздел теории моделей , который занимается вопросами вычислимости применительно к теоретико-модельным структурам. Теория вычислимых моделей знакомит с идеями вычислимых и разрешимых моделей и теорий, и одной из основных проблем является выяснение того, можно ли доказать существование вычислимых или разрешимых моделей, удовлетворяющих определенным теоретико-модельным условиям.
Теория вычислимых моделей была разработана почти одновременно математиками на Западе, в основном в США и Австралии , а также в Советской России в середине 20-го века. Из-за холодной войны между этими двумя группами было мало контактов, поэтому ряд важных результатов был открыт независимо.
См. также [ править ]
Ссылки [ править ]
- Харизанов В.С. (1998), «Чистая теория вычислимых моделей», Ершов Юрий Леонидович (ред.), Справочник по рекурсивной математике, Том 1: Теория рекурсивных моделей , Исследования по логике и основам математики, том. 138, Северная Голландия, стр. 3–114, ISBN. 978-0-444-50003-8 , МР 1673621 .