Чи може оперативна пам’ять обчислювати власне число Геделя?


12

Ви можете отримати номер Gödel оперативної пам’яті, склавши в ньому список команд і зробивши цей список цілим числом.

Отже, те, що я думав, є чимось на кшталт "ОЗУ, яка повертає власне число Gödel (скажімо, ), повинна мати інформацію у ньому, тож ціле число було б більше , тому воно не повертає власний Gödel число ".х хxxx

Але потім я помітив, що для конкретних чисел ви можете робити стиснення, наприклад обчислення а не записувати 100000 ... 000 в код оперативної пам'яті. Напевно, число Геделя не було б , але, принаймні, могло бути. 10 9999109999109999

Питання: Чи є оперативна пам’ять, яка обчислює власне число Gödel? Чи може бути таке?


2
До речі, palsch, ось класне відео Numberphile про вашу піктограму користувача. :-)
Девід Річербі

1
@DavidRicherb Це не лише пікселі, але спіраль Улама. Я програмував це деякий час тому для свого вчителя математики. Фіолетові пікселі - прості близнюки, червоні - інші праймери, а помаранчевий піксель посередині - 1. :-)
palsch

1
Приємно! Отож ось відеофільм Numberphile, який буквально стосується вашої іконки користувача! :-D
Девід Річербі

Відповіді:


17

Розглянемо обчислювальну функцію задану . За другою теоремою про рекурсію Клінова є деякий  такий, що програма з номером Ґеделя  обчислює функцію , тобто програма, яка виводить  для кожного вводу. Це саме та програма, яку ви шукаєте: для будь-якого введення вона виводить власний номер Gödel. Q ( x , y ) = x p p f ( y ) = Q ( p , y ) = p pQ:N×NNQ(x,y)=xppf(y)=Q(p,y)=pp

Така програма відома як quine , і вони існують у будь-якій потужній моделі Тьюрінга.


Ви можете бути впевнені, що запускаєте цю програму в обмеженій пам’яті оперативної пам’яті? Я думаю, що тут оперативна пам’ять означає пам'ять з випадковим доступом ...
Пер Александерсон

6
@PerAlexandersson Ні, це стосується машини з випадковим доступом , потужною Тюрінговою моделлю обчислень.
Девід Річербі
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.