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

...тися зовні переконливими, як у наступному прикладі, запропонованому [[Алан Тюрінг|Аланом Тюрингом]] у статті «{{Не перекладено|Обчислювальні машини і розум|3 ...а машину. Але таких правил немає, тому люди не можуть бути машинами.<ref>{{Тюрінг 1950}}</ref>}} ...

[[Алан Тюрінг]] використовував ''натуральний бан''<ref>{{cite book|title=Alan Turing: the ...

{{Тюрінг}} ...няття '''[[алгоритм]]у'''. Названа на честь англійського математика [[Алан Тюрінг|Алана Тюрінга]], який запропонував це поняття у [[1936]]. Аналогічну констр ...

{{Тюрінг}} [[Категорія:Алан Тюрінг]] ...

...потужній системі, все одно присутні необчислювані функції. У своїй роботі Тюрінг ясно дав зрозуміти, що така модель є не більш ніж математичною абстракцією ...

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

''Бан'' і ''децибан'' було вигадано [[Алан Тюрінг|Аланом Тьюрингом]] та {{нп|Ірвінг Джон Ґуд|Ірвінгом Джоном Ґудом||I. J. Goo ...

...огіка|математичній логіці]] '''Степінь Тюрінга''' (названа на честь [[Алан Тюрінг|Алана Тюрінга]]) або '''степінь нерозв'язності''' множини натуральних чисел [[Категорія:Алан Тюрінг]] ...

...зано шифрувати числа шляхом написання літерами кожної цифри, [[Алан Тюрінг|Алан Тьюринг]] переглянув повідомлення і визначив, що слово «eins» зустрічається ...

...Серед математиків був і молодий професор логіки з Кембриджу&nbsp;— [[Алан Тюрінг]]<ref name="chernyak"/><ref group="Прим.">Макс Ньюман, Том Флауерс та інші ...(кодувалися за вимовою: «один», «два» і&nbsp;т.&nbsp;д.<ref group="Прим.">Тюрінг зауважив, що цифра «один» ({{Lang-de|eins}}) зустрічається в 90&nbsp;% пові ...

У 1936—1938 роках [[Алан Тюрінг]] захищав в інституті під керівництвом [[Алонзо Черч]]а докторську [[дисерт ...

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

...но, тепер можна ввести наступне визначення. Множина Q збігається за [[Алан Тюрінг|Тюрінгом]] (збігається за розв'язністю) до множини Р тоді і тільки тоді, ко ...

...ою формальною моделлю алгоритмічної машини була [[машина Тюрінга]] ([[Алан Тюрінг]], [[Еміль Пост]], 1936). Із пізніших моделей відзначимо нормальні алгоритм Алан Т'юринг висловив припущення (відоме як Теза Черча&nbsp;— Тьюринга), що будь ...

...сно]], штат [[Каліфорнія]], наймолодшим з трьох дітей; його батько [[Генрі Алан Глізон (старший)|Генрі Глісон]] був [[Ботаніка|ботаніком]] і членом [[Товар ...и, які [[Криптоаналіз «Енігми»|атакували німецький шифр «Енігма»]]; [[Алан Тюрінг]], який провів багато часу з Глісоном під час візиту до Вашингтона, у звіті ...

[[Алан Тюрінг]] побудував цей парадокс за допомогою машини і довів, що ця машина не змогл ...

* 1936: [[Алан Тюрінг]] довів, що загального алгоритму вирішення [[Проблема зупинки|проблеми зупи * 1936—1937: [[Алонзо Черч]] і [[Алан Тюрінг]] опублікували незалежні статті, які показують, що загальне вирішення [[Зад ...

...4786750 }}</ref>, та моделі [[морфогенез]]у, що були впроваджені ще [[Алан Тюрінг|Аланом Тюрінгом]] у 1950-х роках.<ref>{{cite journal | last1 = Turing | fir ...

...Гедель|Курта Геделя]], [[Алонзо Черч]]а, [[Роза Петер|Рози Петер]], [[Алан Тюрінг|Алана Тюрінга]], [[Стівен Коул Кліні|Стівена Кліні]] та [[Еміль Пост|Еміля ...роблеми, які неможливо [[Рекурсивна множина|ефективно розв'язати]]. Черч і Тюрінг, натхненні прийомами, використаними Геделем для доведення його [[Теореми Ге ...

|під_впливом = [[Віллард Ван Орман Квайн|Квайн]], [[Ганс Райхенбах]], [[Алан Тюрінг|А. Тюринг]], [[Іммануїл Кант|І. Кант]], {{Не перекладено|Нельсон Гудмен||ru ...