Другие практические варианты утверждения:
Физический тезис Чёрча — Тьюринга: любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга;
Сильный тезис Чёрча — Тьюринга (тезис Чёрча — Тьюринга — Дойча): любой конечный физический процесс, не использующий аппарат, связанный с непрерывностью и бесконечностью, может быть вычислен физическим устройством.
Некоторые разделы традиционной математики приобретают в интуиционизме весьма необычный вид. Например, числовой континуум трактуется не как совокупность отдельных точек, а как «среда становления», поток измельчающихся рациональных интервалов.
Достаточно широко понимается в интуиционизме эффективность (эффективная вычислимость), она не обязательно связана с наличием алгоритма в точном понимании этого термина и может носить, например, характер исторического наступления события, зависеть от фактического решения проблем, от физических факторов.
В 1945 году С. К. Клини предложил новый вариант интуиционистского понимания арифметических суждений, основанный на развитой в 1930-е годы теории алгоритмов. Дальнейшая разработка этого понимания и связанных с ним идей в научной школе А. А. Маркова привела к возникновению современной конструктивной математики.
Эпистемология постмодерна.
Как можно обобщить нарисованную печальную картину? Критика постпозитивистов подорвала основы рациональной традиции в философии, поставив под вопрос критерии прогрессивного развития научного знания. Рационалистическая философская традиция фактически лишилась концептуального обоснования, и в настоящее время философия не имеет всеми разделяемых критериев научности, рациональности и не может полноценно противостоять развитию и распространению псевдо- и лженаучных направлений.
Может сложиться впечатление, что все это – чьи-то происки, и надо просто «навести порядок» в сложном научном хозяйстве. Однако не будем забывать о том, что наука – это только один из видов познания мира, это социальный и культурный феномен, т.е. то состояние, которое мы видим в науке – это отражение общего состояния культуры – эпохи постмодерна, в которой мы все живем.
Чем характерно состояние постмодерна в культуре вообще?
Постмодернизм — эпоха, пришедшая на смену европейскому Новому времени, одной из характерных черт которого была вера в прогресс и всемогущество разума. Надлом ценностной системы Нового времени (модерна) произошёл в период Первой мировой войны и еще усугубился Второй мировой войной. В результате этого европоцентристская картина мира уступила место глобальному полицентризму, модернистская вера в разум уступила место интерпретативному мышлению. Постмодернизм — общий культурный знаменатель второй половины XX века, уникальный период, в основе которого лежит специфическая парадигмальная установка на восприятие мира в качестве хаоса.
В Википедии есть прекрасная таблица оппозиций модерна и постмодерна, которую легко прокомментировать, глядя, например, на ситуацию в Интернете:
Закрытая замкнутая форма открытая разомкнутая антиформа
Цель игра
Замысел случай
Иерархия анархия
Мастерство/логос исчерпывание/молчание
Предмет искусства/законченное произведение процесс/перфоманс/хеппенинг
Дистанция участие
Центрирование рассеивание
Жанр/границы текст/интертекст
Семантика риторика
парадигма синтагма (= компоновка, расстановка)
Селекция комбинация
Корни/глубина поверхность
Интерпретация/толкование противоинтерпретация/неверное толкование
Означаемое означающее
Чтение письмо
Тип мутант
Фаллоцентризм полиморфность/андрогинизм
Паранойя шизофрения
Истоки/причины различие/следствие
Дата: 2019-11-01, просмотров: 225.