Android-приложение для поиска дешевых авиабилетов: play.google.com
Главная -> Классическая логика

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 [32] 33

дискретное? Прежде всего, как пишет А.Н.Колмогоров [15], «скорее всего интуиция непрерывной линии в мозге осуществляется на базе дискретного механизма». И далее: «Несомненно, что переработка информации и процессы управления в живых организмах построены на сложном переплетении дискретных (цифровых) и непрерывных механизмов, с одной стороны, детерминированного и вероятностного принципов действия - с другой. Однако дискретные механизмы являются ведущими в процессах переработки информации и управления в живых организмах. Не существует состоятельных аргументов в пользу принципиальной ограниченности возможностей дискретных механизмов но сравнению с непрерывными».

Остается добавить, что, с точки зрения квантовой теории, все физические переменные квантуются. Следовательно, программы, физически реализуемые программы, дискретны в силу квантовой природы вещей.

6.3. Логически возможные среды Кантгоуту

Можно ли придумать среды, которые не противоречат законам логики, но которые не сможет передать ни один генератор виртуальной реальности? Другими словами, эти среды не может породить машина, построенная в соответствии с действующими законами физики.

Такие Jюгичecки возможные среды существуют [7, с.132], их бесчисленное множество, и называются они средами Кантгоуту.

Для доказательства их существования используется диагональный метод Кантора (см. [4, с.17]), с помощью которого была установлена несчетность множества действительных чисел и доказана теорема Гёделя о ненсишоте формальных теорий.

Следовательно, логика способна породить больше миров, чем это доступно для видения человека. Миры невиданные наблюдает иное существо, живущее в мире с другими физическими законами, поскольку что толку в мире, у которого нет наблюдателя!

От английской фразы cant go to (не могу пойти в), а также в честь Кантора (Cantor), Геделя (Gbdel) и Тьюринга (Turing).



Литература

[1] Бирнжов Б.В., Гутчин И.Б. Машина и творчество. М.: Радио и связь, 1982.

[2] Ван Хао. На пути к механической математике Кибернетический сборник. Вып.5. М.: ИЛ, 1962.

[3] Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос-Пресс, 2001.

[4] Гуц А.К. Кардинальные и трансфинитные числа. Омск: ОмГУ, 1995.

[5] Св.Иоанн Дамаскин. Точное изложение православной веры. М.,1992.

[6] Джордж Ф. Основы кибернетики. М.: Радио и связь, 1984.

[7] Дойч Д. Структура реальности. Москва-Ижевск: РХД, 2001.

[8] Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1979.

[9] Ивин А.А. Логика времени / В кн.: Неклассическая логика. М.: Наука, 1979. С.124-190.

[10] Ивин А.А. Логика.

- http: www.i-u.ru/biblio/arhiv/books/ivin logik/default.asp

[11] Жоль К.К. Логика в лицах и символах. М.: Педагогика-Пресс, 1993.

[12] Колкер Ю. Курт Гедель, или возможна ли диктатура в США. -http: www.vestnik.com/issues/98/0203/win/kolker.htm

[13] Колмогоров А.Н. О понятии алгоритма УМН. 1953. Т.8, вып.4. С.175-176.

[14] Колмогоров А.Н., Успенский В.А. К определению алгоритма jj УМН. 1958. Т.13, вып.4. С.3-28.

[15] Колмогоров А.Н. Автоматы и жизнь. - В кн.: Кибернетика ожидаемая и кибернетика неожиданная. М.: Наука, 1968.

- http: mbur.narod.ru/misc/kolmogoroY .html

-http: vivovoco.rsl.ru/VV/PAPERS/BIO/KOLMOGOR/KOL REP. HTMttb



[16] Колмогоров А.Н. О принципе tertium поп datur Математ. сб. 1925. Т.32, N.4. С.646-667.

[17] Костюк В.К. Элементы модальной логики. Киев: «Наукова думка», 1978.

[18] Кофман А. Введение в теорию нечетких множеств. М.: Радио и связь, 1982.

[19] Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Наука, 1975.

[20] Лем С. Сумма технологии. М.: Мир, 1968.

[21] Линдон Р. Заметки по логике. М.: Мир, 1968.

[22] Логика и компьютер. Моделирование рассуждений и проверка правильности программ. М.: Наука, 1990.

[23] Маслов СЮ. Обратный метод установления выводимости в классическом исчислении предикатов ДАН СССР. Т.159, N.1.

[24] Маслов СЮ. Обратный метод установления выводимости для логических исчислений Труды математического института им. В.А.Стеклова АН СССР. 1968. Т.98. С.26-87.

[25] Маслов СЮ. Теория дедуктивных систем и ее применения. М.: Советское радио, 1986.

[26] Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1986.

[27] Марков А.А. Теория алгорифмов. Тр. МИАН АН СССР. 1954. Т.42. 374 с.

[28] Машины Тьюринга и рекурсивные функции. М.: Мир, 1972.

[29] Мендельсон Э. Введение в математическую логику. М.: Наука, 1971.

[30] Михайлова Е.М. Готлоб Фреге - философ, логик, математик.

- http: www.auditorium.ru/aud/v /index.php?a=vconf&c=getForm&r=

thesisDesc&id thesis=1217&PHPSESSm=

69abfe0b0a317feb3dc30f51dadf793b

[31 [32] [33]

Непейвода H.H. Прикладная логика. Новосибирск: НГУ, 2000.

Новиков П.С. Элементы математической логики. М.:Наука, 1973.

Новиков Ф.А. Дискретная математика для программистов. СПБ.: Питер, 2002.

Носов В.А. Основы теории алгоритмов и анализа их сложности. М.: МГУ, 1992.

Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов. Учебное пособие. Калининград: КГ-ТУ, 2001.



0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 [32] 33



0.0268
Яндекс.Метрика