Результаты поиска

[[Категория:Алан Тьюринг]] ...

Первое формальное определение сводимости было предложено [[Алан Тьюринг|Аланом Тьюрингом]] в 1939 г. ...

...m // Proceedings of the London Mathematical Society --> (в этой публикации Тьюринг ввёл определение [[Машина Тьюринга|машины Тьюринга]], сформулировал проблем ...

...олько аккуратно её описать). Теорема была предложена и доказана [[Тьюринг, Алан|Тьюрингом]] в [[1947]] г. ...

...в том же году, но несколько позже этот результат независимо получил [[Алан Тьюринг]]<ref>{{source|Q25864184|ref=Turing|ref-year=1937}} <!-- On Computable Numb ...

...нно-морского флота нацистской Германии. Метод изобрел [[Тьюринг, Алан|Алан Тьюринг]], улучшив «циклический метод» [[Рожицкий, Ежи|Ежи Рожицкого]].{{sfn|Good|1 Когда [[Тьюринг, Алан|Алан Тьюринг]] присоединился к Коттеджу № 8 в 1939 году, никакой работы по расшифровке с ...

...тья|автор=[[Матиясевич, Юрий Владимирович|Ю. В. Матиясевич]]|заглавие=Алан Тьюринг и теория чисел|издание=Математика в высшем образовании|год=2012|номер=10|ст ...

...1936 год в науке|1936 году]] — [[Алонзо Чёрч]] и независимо от него [[Алан Тьюринг]] опубликовали работы, в которых показали, что не существует алгоритма для ...

...рхностно правдоподобными, как в следующем примере, предложенном [[Тьюринг, Алан|Аланом Тьюрингом]] в статье «[[Вычислительные машины и разум]]»: ...

[[Тьюринг, Алан|Тьюринг]] доказал, что некоторые задачи невозможно решить. Даже без учёта временной ...ретический фундамент. Самым влиятельным среди них был [[Тьюринг, Алан|Алан Тьюринг]], который ввел понятие [[Машина Тьюринга|машин Тьюринга]] в 1936 году, кот ...

...варианты этого понятия были разработаны в 1930-е годы в работах [[Тьюринг, Алан|Алана Тьюринга]], [[Пост, Эмиль Леон|Эмиля Поста]] и [[Чёрч, Алонзо|Алонзо ...сполнитель (абстрактная вычислительная машина). Была предложена [[Тьюринг, Алан Матисон|Аланом Тьюрингом]] в [[1936 год]]у для формализации понятия [[алгор ...

...шифровать числа путём написания буквами каждой цифры, [[Тьюринг, Алан|Алан Тьюринг]] пересмотрел сообщения и определил, что слово «eins» встречается в 90 % со ...

...ельная машина) — математическая модель вычислений, предложенная [[Тьюринг, Алан Матисон|Аланом Тьюрингом]] в [[1936 год в науке|1936 году]] для [[формализа [[Категория:Алан Тьюринг]] ...

.... Заключение не следовало из приведенного довода.</blockquote>У [[Тьюринг, Алан|Алана Тьюринга]], английского математика, был другой пример<ref>{{Cite web| ...

...нкции (например, [[проблема остановки]] машины с оракулом). В своей работе Тьюринг ясно дал понять, что такая модель является не более чем [[Математическая аб ...

...был и молодой профессор логики из Кембриджа — [[Тьюринг, Алан Матисон|Алан Тьюринг]]<ref name="chernyak"/><ref group="Прим."> === Тьюринг === ...

...го языка, логики доказуемости; трансфинитную итерацию теорий по [[Тьюринг, Алан|А. Тьюрингу]] и [[Феферман, Соломон|С. Феферману]]; недавнее открытие самоп ...

...[[Вейль, Герман|Вейль]], [[Нейман, Джон фон|фон Нейман]], [[Тьюринг, Алан|Тьюринг]], [[Бохнер, Саломон|Бохнер]] и другие в 1920-х – 1930-х годах. ...

...960-х годов (известный пример жертвы такой политики — [[Тьюринг, Алан|Алан Тьюринг]]).</ref>. В том же блоге неоднократно демонстрировались скриншоты будущей ...

...ебра была разработана [[Нейман, Джон фон|Джоном фон Нейманом]], [[Тьюринг, Алан|Аланом Тьюрингом]], [[Уилкинсон, Джеймс Харди|Джеймсом Х. Уилкинсоном]], {{ ...