В терминах теории рекурсии, это утверждение формулируется как совпадение классов вычислимых и частично рекурсивных функций. В этой формулировке часто упоминается как просто тезис Чёрча.
Поможем в ✍️ написании учебной работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

Другие практические варианты утверждения:

Физический тезис Чёрча — Тьюринга: любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга;

Сильный тезис Чёрча — Тьюринга (тезис Чёрча — Тьюринга — Дойча): любой конечный физический процесс, не использующий аппарат, связанный с непрерывностью и бесконечностью, может быть вычислен физическим устройством.

Некоторые разделы традиционной математики приобретают в интуиционизме весьма необычный вид. Например, числовой континуум трактуется не как совокупность отдельных точек, а как «среда становления», поток измельчающихся рациональных интервалов.

Достаточно широко понимается в интуиционизме эффективность (эффективная вычислимость), она не обязательно связана с наличием алгоритма в точном понимании этого термина и может носить, например, характер исторического наступления события, зависеть от фактического решения проблем, от физических факторов.

В 1945 году С. К. Клини предложил новый вариант интуиционистского понимания арифметических суждений, основанный на развитой в 1930-е годы теории алгоритмов. Дальнейшая разработка этого понимания и связанных с ним идей в научной школе А. А. Маркова привела к возникновению современной конструктивной математики.

Эпистемология постмодерна.

Как можно обобщить нарисованную печальную картину? Критика постпозитивистов подорвала основы рациональной традиции в философии, поставив под вопрос критерии прогрессивного развития научного знания.  Рационалистическая философская традиция фактически лишилась концептуального обоснования, и в настоящее время философия не имеет всеми разделяемых критериев научности, рациональности и не может полноценно противостоять развитию и распространению псевдо- и лженаучных направлений.

Может сложиться впечатление, что все это – чьи-то происки, и надо просто «навести порядок» в сложном научном хозяйстве. Однако не будем забывать о том, что наука – это только один из видов познания мира, это социальный и культурный феномен, т.е. то состояние, которое мы видим в науке – это отражение общего состояния культуры – эпохи постмодерна, в которой мы все живем.

Чем характерно состояние постмодерна в культуре вообще?

Постмодернизм — эпоха, пришедшая на смену европейскому Новому времени, одной из характерных черт которого была вера в прогресс и всемогущество разума. Надлом ценностной системы Нового времени (модерна) произошёл в период Первой мировой войны и еще усугубился Второй мировой войной. В результате этого европоцентристская картина мира уступила место глобальному полицентризму, модернистская вера в разум уступила место интерпретативному мышлению. Постмодернизм — общий культурный знаменатель второй половины XX века, уникальный период, в основе которого лежит специфическая парадигмальная установка на восприятие мира в качестве хаоса.

В Википедии есть прекрасная таблица оппозиций модерна и постмодерна, которую легко прокомментировать, глядя, например, на ситуацию в Интернете:

Закрытая замкнутая форма открытая разомкнутая антиформа

Цель                                   игра

Замысел                            случай

Иерархия                          анархия

Мастерство/логос                       исчерпывание/молчание

Предмет искусства/законченное произведение     процесс/перфоманс/хеппенинг

Дистанция                         участие

Центрирование                 рассеивание

Жанр/границы                  текст/интертекст

Семантика                         риторика

парадигма                        синтагма (= компоновка, расстановка)

Селекция                            комбинация

Корни/глубина                  поверхность

Интерпретация/толкование противоинтерпретация/неверное толкование

Означаемое                                 означающее

Чтение                               письмо

Тип                                    мутант

Фаллоцентризм                полиморфность/андрогинизм

Паранойя                          шизофрения

Истоки/причины               различие/следствие

Дата: 2019-11-01, просмотров: 225.