Мы работаем над восстановлением приложения Unionpedia в Google Play Store
🌟Мы упростили наш дизайн для улучшения навигации!
Instagram Facebook X LinkedIn

Клини, Стивен Коул и Тезис Чёрча — Тьюринга

Ярлыки: Различия, Сходства, Jaccard сходство Коэффициент, Рекомендации.

Разница между Клини, Стивен Коул и Тезис Чёрча — Тьюринга

Клини, Стивен Коул vs. Тезис Чёрча — Тьюринга

Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский и. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости. Те́зис Чёрча — Тью́ринга — это гипотеза, постулирующая эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга.

Сходства между Клини, Стивен Коул и Тезис Чёрча — Тьюринга

Клини, Стивен Коул и Тезис Чёрча — Тьюринга есть 4 что-то общее (в Юнионпедия): Тьюринг, Алан, Теория вычислимости, Чёрч, Алонзо, Математическая логика.

Тьюринг, Алан

А́лан Мэ́тисон Тью́ринг, OBE (Alan Mathison Turing;  —) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики.

Клини, Стивен Коул и Тьюринг, Алан · Тезис Чёрча — Тьюринга и Тьюринг, Алан · Узнать больше »

Теория вычислимости

Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.

Клини, Стивен Коул и Теория вычислимости · Тезис Чёрча — Тьюринга и Теория вычислимости · Узнать больше »

Чёрч, Алонзо

Алонзо Чёрч (Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.

Клини, Стивен Коул и Чёрч, Алонзо · Тезис Чёрча — Тьюринга и Чёрч, Алонзо · Узнать больше »

Математическая логика

Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.

Клини, Стивен Коул и Математическая логика · Математическая логика и Тезис Чёрча — Тьюринга · Узнать больше »

Приведенный выше список отвечает на следующие вопросы

Сравнение Клини, Стивен Коул и Тезис Чёрча — Тьюринга

Клини, Стивен Коул имеет 23 связей, в то время как Тезис Чёрча — Тьюринга имеет 18. Как они имеют в общей 4, индекс Жаккар 9.76% = 4 / (23 + 18).

Рекомендации

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