Интеллектуальные вирусы
Article Sidebar
Опубликован:
04.12.2007
Main Article Content
Аннотация
Интеллектуальный вирус - это логическая инфекция, которая незаметно распространяется на множество работ и случайно приводит к трудно диагностируемым ошибкам. Автор уверен, что интеллектуальных вирусов сейчас много, но здесь рассматриваются только два. Происхождение этих вирусов - это идолы рынка и идолы пещеры в сочетании с полузнанием (самоуверенное полузнание - это худшая форма невежества, доказывающая, что на самом деле Невежество - это сила). Здесь рассматриваются три научных вируса («измеримость» определяемых функций, сингулярных программных функций достаточно, типы в функциональных языках являются доказательствами). Последний раздел посвящен некоторым антивирусным щитам и инфекциям, которые заражают эту иммунную систему, действуя как трояны в компьютерах.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Непейвода Н. Интеллектуальные вирусы // Логические исследования / Logical Investigations. 2007. Т. 14. C. 240-251.
Выпуск
Раздел
Статьи
Литература
Броуди Р. Психические вирусы. Как программируют ваше сознание. М.: Поколение, 2006.
Йех Т. Теория множеств и метод форсинга. М.: Мир, 1973.
Лузин Н.Н. Лекции об аналитических множествах и их приложениях. М.: Гостехиздат, 1953.
Louzin N.N. Analogues entre les ensembles mesurables et les ensembles analitiques. // Fundamenta Mathematicae, 1930. V. 16. P. 48-76.
Непейвода Н.Н. Уровни знаний и умений // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XIV. М.: 2000. С. 9-35.
Норбеков М. Где зимует кузькина мать, или Как достать халявный миллион решений? М.: ООО «Издательство АСТ», 2003.
Пуанкаре А. О науке. М.: Наука, 1983.
Mitchell J.C. Foundations for programming languages. Cambridge, 1996.
Curry H.B., Howard R. Combinatory logic. Vol. 2. Amsterdam, 1968.
Solovay R. A model of set theory in which every set of reals is Lebesgue measurable. // Ann. Math., 1970. V. 92, № 1. P. 1-56.
Йех Т. Теория множеств и метод форсинга. М.: Мир, 1973.
Лузин Н.Н. Лекции об аналитических множествах и их приложениях. М.: Гостехиздат, 1953.
Louzin N.N. Analogues entre les ensembles mesurables et les ensembles analitiques. // Fundamenta Mathematicae, 1930. V. 16. P. 48-76.
Непейвода Н.Н. Уровни знаний и умений // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XIV. М.: 2000. С. 9-35.
Норбеков М. Где зимует кузькина мать, или Как достать халявный миллион решений? М.: ООО «Издательство АСТ», 2003.
Пуанкаре А. О науке. М.: Наука, 1983.
Mitchell J.C. Foundations for programming languages. Cambridge, 1996.
Curry H.B., Howard R. Combinatory logic. Vol. 2. Amsterdam, 1968.
Solovay R. A model of set theory in which every set of reals is Lebesgue measurable. // Ann. Math., 1970. V. 92, № 1. P. 1-56.