Более быстрый доступ, чем браузер!
18 отношения: Кибернетика, Клини, Стивен Коул, Пост, Эмиль Леон, Пенроуз, Роджер, Алгоритм, Новый ум короля, Рекурсивная функция (теория вычислимости), Тьюринг, Алан, Тростников, Виктор Николаевич, Теория вычислимости, Теория доказательств, Чёрч, Алонзо, Математическая логика, Мальцев, Анатолий Иванович, Информатика, Вычислимая функция, Лямбда-исчисление, 1930-е годы.
Кибернетика
Киберне́тика (от κυβερνητική «искусство управления») — наука об общих закономерностях получения, хранения, преобразования и передачи информации в сложных управляющих системах, будь то машины, живые организмы или общество.
Новый!!: Тезис Чёрча — Тьюринга и Кибернетика · Узнать больше »
Клини, Стивен Коул
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский и. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости.
Новый!!: Тезис Чёрча — Тьюринга и Клини, Стивен Коул · Узнать больше »
Пост, Эмиль Леон
Эмиль Леон Пост (Post Emil Leon, 11 февраля 1897, Августов, Царство Польское (ныне Польша) — 21 апреля 1954, Нью-Йорк) — американский математик и логик; один из основателей многозначной логики (1921); основные труды по математической логике: алгебра Поста, классы Поста функций алгебры логики; предложил абстрактную вычислительную машину — машину Поста.
Новый!!: Тезис Чёрча — Тьюринга и Пост, Эмиль Леон · Узнать больше »
Пенроуз, Роджер
Сэр Ро́джер Пенро́уз (Roger Penrose, род. 8 августа 1931 года, Колчестер, Англия) — английский физик и математик, работающий в различных областях математики, общей теории относительности и квантовой теории; автор теории твисторов.
Новый!!: Тезис Чёрча — Тьюринга и Пенроуз, Роджер · Узнать больше »
Алгоритм
Алгори́тм — набор инструкций, описывающих порядок действий исполнителя для достижения некоторого результата.
Новый!!: Тезис Чёрча — Тьюринга и Алгоритм · Узнать больше »
Новый ум короля
«Новый ум короля.
Новый!!: Тезис Чёрча — Тьюринга и Новый ум короля · Узнать больше »
Рекурсивная функция (теория вычислимости)
Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций.
Новый!!: Тезис Чёрча — Тьюринга и Рекурсивная функция (теория вычислимости) · Узнать больше »
Тьюринг, Алан
А́лан Мэ́тисон Тью́ринг, OBE (Alan Mathison Turing; —) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики.
Новый!!: Тезис Чёрча — Тьюринга и Тьюринг, Алан · Узнать больше »
Тростников, Виктор Николаевич
Виктор Николаевич Тростников (14 сентября 1928, Москва — 29 сентября 2017) — современный православный русский и богослов.
Новый!!: Тезис Чёрча — Тьюринга и Тростников, Виктор Николаевич · Узнать больше »
Теория вычислимости
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.
Новый!!: Тезис Чёрча — Тьюринга и Теория вычислимости · Узнать больше »
Теория доказательств
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов.
Новый!!: Тезис Чёрча — Тьюринга и Теория доказательств · Узнать больше »
Чёрч, Алонзо
Алонзо Чёрч (Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
Новый!!: Тезис Чёрча — Тьюринга и Чёрч, Алонзо · Узнать больше »
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Новый!!: Тезис Чёрча — Тьюринга и Математическая логика · Узнать больше »
Мальцев, Анатолий Иванович
Анато́лий Ива́нович Ма́льцев ( —) — советский, основоположник сибирской школы алгебры и логики.
Новый!!: Тезис Чёрча — Тьюринга и Мальцев, Анатолий Иванович · Узнать больше »
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новый!!: Тезис Чёрча — Тьюринга и Информатика · Узнать больше »
Вычислимая функция
Вычислимые функции — это множество функций вида, f\colon N \to N, которые могут быть реализованы на машине Тьюринга.
Новый!!: Тезис Чёрча — Тьюринга и Вычислимая функция · Узнать больше »
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Новый!!: Тезис Чёрча — Тьюринга и Лямбда-исчисление · Узнать больше »
1930-е годы
1930-е годы — десятилетие, включающее года с 1930 по 1939.
Новый!!: Тезис Чёрча — Тьюринга и 1930-е годы · Узнать больше »
Перенаправления здесь:
Тезис Тьюринга, Тезис Черча, Тезис Черча — Тьюринга, Тезис Чёрча.
