![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
anhinga_draftsВидно уже, что то, что мы делаем, это не строгое доказательство, а придание получающемуся аргументу достаточной степени правдоподобности. То есть, мы пытаемся лишь установить, что эту модель не стоит сбрасывать со счетов, а не то, что в нёё надо верить, как в "доказанную".
Естественная гипотеза состоит в том, что хотя бы одно из явлений или свойств, из-за которого мир не является классическим компьютером, играет существенную роль в работе описанного нами примера возможной математической машины -- сообщества математиков. Странно было бы, если невозможное в вычислимой реальности явление, не было бы тесно связано с какими-нибудь из явлений или свойств (можно здесь думать про "свойства правильной теории", с некоторой натяжкой), из-за которых мир невычислим.
Естественная гипотеза состоит в том, что хотя бы одно из явлений или свойств, из-за которого мир не является классическим компьютером, играет существенную роль в работе описанного нами примера возможной математической машины -- сообщества математиков. Странно было бы, если невозможное в вычислимой реальности явление, не было бы тесно связано с какими-нибудь из явлений или свойств (можно здесь думать про "свойства правильной теории", с некоторой натяжкой), из-за которых мир невычислим.
