Компьютерная канонизация – способ более точного определения понятий, которые традиционно считаются «интуитивно ясными» и неопределяемыми.
Согласно Веданской теории (ВТ), интеллектуальная деятельность человека представляет собой работу различных мозговых программ. Однако эти программы недоступны нам для непосредственного наблюдения и изучения так, как нам доступны компьютерные программы, имеющие исходные тексты на каком-нибудь языке программирования и потом листинги трансляции. Идея компьютерной канонизации заключается в том, чтобы при анализе какой-нибудь мозговой программы заменить ее программой, в компьютере проделывающей ту же или аналогичную работу и, в отличие от настоящей мозговой программы, имеющей исходный текст на определенном алгоритмическом языке и листинг трансляции. Тем самым данная (мозговая) программа приобретет другую степень определенности.
Чтобы такая вещь была возможна, необходимо разработать алгоритмический язык для описания (мозговых) алгоритмов и программ, компьютерный транслятор с такого языка и компьютерный интерпретатор, выполняющий эти программы.
На начальной стадии разработки ВТ представлялось нереальным пытаться компьютерно канонизировать всё человеческое мышление. Но представлялось реальным таким способом канонизировать ряд основных понятий математики, такие как числа, арифметические и логические операции.
Компьютерная канонизация тем и отличается от математической формализации, что она канонизирует (т.е. более строго определяет) именно содержательное мышление (в математике), а не пытается «изгнать смысл» и «перейти к игре значками», что составляет сущность математической формализации... Более подробно.
Компьютерной канонизации могут быть подвергнуты также понятия, используемые при доказательствах (включая сам ход доказательства). Тогда машинные программы воспроизводят работу мозговых программ, как те работают во время доказательства... ...
В мае 1980 года Валдис Эгле предложил компьютерную канонизацию системы метрических чисел. Подготовленные В. Эгле программы выполняют ту же работу (или почти ту же работу), которую выполняют мозговые программы человека, когда они порождают числа и (первичные) операции над ними. Исходные тексты программ для транслятора-интерпретатора Эуклидос можно посмотреть здесь.
|