"у него не все математические структуры существуют, а лишь вычислимые"
Такая градация, наверное, более надежная - если вычислимость можно определить раз и навсегда. Но я не уверена, что это так: ведь, наверное, можно представить себе ситуацию, когда некое число сначала считалось невычислимым, а потом все-таки придумали алгоритм для его более короткой записи? Принципиальную невычислимость некоторых чисел, как я поняла, можно доказать, но вопрос - всех ли?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2015-08-20 12:38 pm (UTC)Такая градация, наверное, более надежная - если вычислимость можно определить раз и навсегда. Но я не уверена, что это так: ведь, наверное, можно представить себе ситуацию, когда некое число сначала считалось невычислимым, а потом все-таки придумали алгоритм для его более короткой записи? Принципиальную невычислимость некоторых чисел, как я поняла, можно доказать, но вопрос - всех ли?