Cтраница 1
Разнообразные версии принятия христианства, по всей видимости, отражают интересы различных христианских общин, ранее боровшихся за доминирование на Руси. [1]
ПРОЛОГ в сущности предлагает лишь аппарат для выполнения логических программ. Разнообразные версии ПРОЛОГа, имея в своей основе один и тот же аппарат логического вывода, различаются, по большей части, в стиле общения с пользователем. [2]
Обычный нефизический подход к (1.1) интерпретирует это как квазиматематическое предположение о том, что все возможные формализации интуитивного математического понятия алгоритм или вычисление эквивалентны друг другу. Гипотеза (1.1) и другие формулировки, которые существуют в литературе ( см. интересное обсуждение разнообразных версий, Хофштадтер ( Hofstadter), 1979), очень туманны в сравнении с такими физическими принципами, как законы термодинамики или гравитационный принцип эквивалентности. Но ниже будет видно, что моя формулировка принципа Черча-Тьюринга (1.2) - очевидно физична и однозначна. Я покажу, что она имеет такой же эпистемологический статус, как и другие физические принципы. [3]