Хотя, если подумать, измерение тоже разновидность вычисления
Золотые слова. Очень рад взаимопониманию.
Мысль мне видится достаточно глубокой. И там, и там - на выходе всегда символика.
Отличие в том, что при измерении мы можем получать статистический результат, а в случае с классическим вычислением - детерминированный, хотя и ТОЖЕ в известной степени идеализации (любой компьютер, голова человека или другое вычисляющее устройство может дать сбой).
-- 16.10.2012, 10:43 --В последнем случае, действительно возможно появление результата измерений отличного от результата вычислений.
Вы верно заметили.
Очень странно, когда спорят, в общем-то, против достаточно очевидных вещей.
-- 16.10.2012, 10:44 --А почему именно физическая модель не адекватна, может быть она то как раз все правильно "вычисляет", а математические "истины" не верны ?
Добавлю для полноты. А почему именно квантовая или какая-то другая модель не так адекватна, как модель, связанная с манипулированием нумеруемыми дискретными макрообъектами?
-- 16.10.2012, 10:48 --Похоже на один из критериев "не математики" - измерение, вместо вычислений.
А кто нам мешает её считать тоже критерием поиска математических истин? Так ведь уже было в истории, начиная с геометрии? Конечно, нужно признать, что бОЛьшей частью экспериментирование, отличное от логического рассуждения, в математике происходило при манипулировании нумеруемыми дескретностями. Так, в основном, и находили какие-то закономерности, ставшие гипотезами. Но ведь экспериментирование с "камешками на песке" - это просто простейший инструментарий для измерений параметров (число камешков, например). А абгрейд нашего инструментария произошёл в истории человечество совсем недавно.
И ведь манипулировали уже не только с дискретностями. Я писал, что известны примеры манипулирований и геометрическими объектами и даже с электрическими токами (Риман), которые приводили не только к развитию элементарной геометрии, но и топологии.
Кто знает, к чему может привести и дальнейший поиск абстрактных истин манипулированием не только с нумеруемыми дискретностями (пусть будет такое УСЛОВНОЕ обозначение).
Я не вижу принципиальных причин доверять гигантским доказательствам на компьютерах в бОльшей степени, нежели результатам, полученным в результате измерений - в обоих случаях возможен сбой и неадекватность модели. Лишь проверками и сверками мы можем все более убеждаться в достоверности полученных АБСТРАКТНЫХ истин.