Маламента - Хогарт кеңістігі - Malament–Hogarth spacetime

A Malament-Hogarth (M-H) ғарыш уақыты, атындағы Дэвид Б. және Марк Хогарт, Бұл релятивистік ғарыш уақыты келесі қасиетке ие: бар а әлем сызығы ${displaystyle lambda}$ және іс-шара б осымен бірге барлық іс-шаралар ${displaystyle lambda}$ өткендегі соңғы аралық болып табылады б, Бірақ дұрыс уақыт бойымен ${displaystyle lambda}$ шексіз. Іс-шара б M-H оқиғасы ретінде белгілі. M-H ғарыштық уақыттарының маңыздылығы олардың Тюрингке жатпайтын белгілі бір есептерді орындауға мүмкіндік беруінде (гипер есептеу ). Идея қандай-да бір бақылаушыға арналған бКомпьютерді (Тьюринг машинасын) кейбір тапсырмалармен жұмыс істейтін етіп орнатып, содан кейін бар болатын Тьюринг машинасы әрі қарай жүру ${displaystyle lambda}$ , мәңгілікке есептеу. Бастап ${displaystyle lambda}$ жатыр бБұрын Тьюринг машинасы сигнал бере алады (шешім) б осы бітпейтін тапсырманың кез келген кезеңінде. Сонымен қатар, бақылаушы кеңістіктен жылдам сапарға (ақырғы уақыт) өтеді б, шешімді алу үшін. Орнатуды шешім қабылдау үшін пайдалануға болады мәселені тоқтату, оны кәдімгі Тьюринг машинасы шеше алмайтыны белгілі. Бақылаушыға сигнал беру үшін Тьюринг машинасын қосу керек б егер және Тюринг машинасы тоқтаса ғана.

The Керр метрикасы, айналатын айналадағы бос уақытты сипаттайды қара тесік, мынадай ерекшеліктерге ие: компьютер қара тесіктің айналасында шексіз айналып жүре алады, ал қара тесікке түсіп жатқан бақылаушы іштен өтіп бара жатқанда M-H оқиғасын бастан кешіреді. оқиғалар көкжиегі. (Бұл, алайда, әсерін елемейді қара тесіктің булануы.)^[1]

Әдебиеттер тізімі

^ Г.Этеси және И.Немети (2002). «Малемент-Хогарт кеңістігі арқылы тюрингтік емес есептеулер». Int. Дж. Теор. Физ. 41: 341–370. arXiv:gr-qc / 0104023. Бибкод:2001gr.qc ..... 4023E.CS1 maint: авторлар параметрін қолданады (сілтеме)

Эрман, Дж., 1995, Бэнгс қыңырлылық пен айқай-шуды басады: релятивистік кеңістіктегі ерекшеліктер мен себептер. Оксфорд: Оксфорд университетінің баспасы.
Эрман, Дж. Және Нортон, Дж., 1993, ‘Мәңгі - бұл күн: Питовский мен Маламент-Хогарт кеңістіктеріндегі супертапсырмалар’, Ғылым философиясы, 5, 22–42.
Эрман, Дж. Және Нортон, Дж., 1994, ‘Шексіз ауыртпалықтар: супертапсырмалармен қиындықтар’, С.Стич (ред.), Пол Бенасерраф: Философ және оның сыншылары. Нью-Йорк: Блэквелл.
Хогарт, М., 1992, ‘Жалпы салыстырмалылық бақылаушыға ақырғы уақытта мәңгілікті көруге мүмкіндік бере ме?’, Физика хаттарының негіздері, 5, 173–181.
Хогарт, М., 1994, ‘Тюрингтік емес компьютерлер және тюрингтік емес есептеулер’, Д.Халл, М.Форбс және Р.М.Буриан (ред.), PSA 1994, т. 1. Шығыс Лансинг: Ғылым философиясы қауымдастығы, 126–138. [1]
Хогарт, М., 1996, 'Есептеу, болжамдылық және бос уақыт', Ph.D. Диссертация, Кембридж университеті [2].
Хогарт, М. 2004, ‘SAD компьютерлерін қолдану арқылы арифметиканы шешу’, British Journal of Philosophy for Science: 55: 681-691.[3]
Welch, P.D., 2006, 'Malament-Hogarth Spacetimes-дегі есептеу ауқымы', алдын ала басып шығару.[4]
Манчак, Джон Байрон (2009) Жалпы салыстырмалылықтағы супертапсырмалар мүмкіндігі туралы. [Алдын ала басып шығару] [5]

[1] Г.Этеси және И.Немети (2002). «Малемент-Хогарт кеңістігі арқылы тюрингтік емес есептеулер». Int. Дж. Теор. Физ. 41: 341–370. arXiv:gr-qc / 0104023. Бибкод:2001gr.qc ..... 4023E.CS1 maint: авторлар параметрін қолданады (сілтеме)

[1]