20 відносини: Smn-теорема, Курт Гедель, Принстон, Принстонський університет, Алан Тюрінг, Алонзо Черч, Національна наукова медаль США, Регулярний вираз, Скінченний автомат, Союз Радянських Соціалістичних Республік, Сполучені Штати Америки, Теорія обчислюваності, Університет Вісконсин-Медісон, Математична логіка, Інтуїціонізм, Лейтзен Егберт Ян Брауер, 1909, 1994, 25 січня, 5 січня.
Smn-теорема
В теорії обчислень smn-теорема (smn theorem; також відома як лема про трансляцію, теорема параметрів, чи теорема параметризації) — основне досягнення в сфері мов програмування (і, більш загально, Геделівських нумерацій обчислюваних функцій).
Новинка!!: Стівен Коул Кліні і Smn-теорема · Побачити більше »
Курт Гедель
Курт Ге́дель (Kurt Gödel) (*28 квітня 1906, Брюнн, Австро-Угорщина (тепер Брно, Чехія) — †14 січня 1978, Принстон, США) — австрійський логік і математик, приват-доцент Віденського університету (1933–1938).
Новинка!!: Стівен Коул Кліні і Курт Гедель · Побачити більше »
Принстон
Середня школа Принстона (Princeton High School) Пам'ятник битві під Принстоном 1777 р. міні При́нстон (Princeton) — місто і однойменний муніципалітет в США, штат Нью-Джерсі, за 60 кілометрів від Філадельфії і на такій же віддалі від Нью-Йорка.
Новинка!!: Стівен Коул Кліні і Принстон · Побачити більше »
Принстонський університет
При́нстонський університет — один із найстаріших та найпрестижніших університетів США, розташований у місті Принстон, штат Нью-Джерсі.
Новинка!!: Стівен Коул Кліні і Принстонський університет · Побачити більше »
Алан Тюрінг
Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.
Новинка!!: Стівен Коул Кліні і Алан Тюрінг · Побачити більше »
Алонзо Черч
Алонзо Черч (Алонзо Чорч) (*14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік.
Новинка!!: Стівен Коул Кліні і Алонзо Черч · Побачити більше »
Національна наукова медаль США
Національна наукова медаль США (National Medal of Science; у деяких джерелах трактується як Національна медаль науки) — американська державна нагорода за видатний вклад в області біологічних, фізичних, математичних, технічних, хімічних, соціальних або поведінкових наук.
Новинка!!: Стівен Коул Кліні і Національна наукова медаль США · Побачити більше »
Регулярний вираз
В програмуванні, регулярний вираз (від regular expression, скорочено regex або regexp, а іноді ще й називають rational expression) — це рядок, що описує або збігається з множиною рядків, відповідно до набору спеціальних синтаксичних правил.
Новинка!!: Стівен Коул Кліні і Регулярний вираз · Побачити більше »
Скінченний автомат
Скінче́нний автома́т — особливий різновид автомату — абстракції, що використовується для описання шляху зміни стану об'єкта в залежності від поточного стану та інформації отриманої ззовні.
Новинка!!: Стівен Коул Кліні і Скінченний автомат · Побачити більше »
Союз Радянських Соціалістичних Республік
Сою́з Радя́нських Соціалісти́чних Респу́блік (скорочено — СРСР або Радянський Союз) — союзна держава, що існувала з 1923 по 1991 рік на території Східної Європи, північної частини Центральної і Східної Азії.
Новинка!!: Стівен Коул Кліні і Союз Радянських Соціалістичних Республік · Побачити більше »
Сполучені Штати Америки
Сполу́чені Шта́ти Аме́рики, також США, Сполу́чені Шта́ти, Шта́ти, Аме́рика (United States of America, USA, U.S., the USA, the States, America) — конституційна федеративна республіка в Північній Америці, що складається з 50 штатів: Аляски, Гаваїв, 48 штатів на території між Атлантичним і Тихим океанами і між Канадою і Мексикою та федерального (столичного) округу Колумбія.
Новинка!!: Стівен Коул Кліні і Сполучені Штати Америки · Побачити більше »
Теорія обчислюваності
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.
Новинка!!: Стівен Коул Кліні і Теорія обчислюваності · Побачити більше »
Університет Вісконсин-Медісон
Університет Вісконсин-Медісон (University of Wisconsin–Madison, University of Wisconsin, Wisconsin або місцеві назви UW–Madison, Madison) — публічний дослідницький університет, що розташований у м. Медісон, Вісконсин.
Новинка!!: Стівен Коул Кліні і Університет Вісконсин-Медісон · Побачити більше »
Математична логіка
Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.
Новинка!!: Стівен Коул Кліні і Математична логіка · Побачити більше »
Інтуїціонізм
Інтуїціонізм — сукупність філософських та математичних поглядів, що розглядають математичні судження з позицій інтуїтивної переконливості.
Новинка!!: Стівен Коул Кліні і Інтуїціонізм · Побачити більше »
Лейтзен Егберт Ян Брауер
Лейтзен Егберт Ян Брауер (Luitzen Egbertus Jan Brouwer; 27 лютого 1881 — 2 грудня 1966) — голландський філософ та математик, випускник університету Амстердама, який працював у таких галузях математики, як топологія, теорія множин, математична логіка, теорія міри та комплексний аналіз.
Новинка!!: Стівен Коул Кліні і Лейтзен Егберт Ян Брауер · Побачити більше »
1909
Без опису.
Новинка!!: Стівен Коул Кліні і 1909 · Побачити більше »
1994
Без опису.
Новинка!!: Стівен Коул Кліні і 1994 · Побачити більше »
25 січня
25 січня — 25-й день року в григоріанському календарі.
Новинка!!: Стівен Коул Кліні і 25 січня · Побачити більше »
5 січня
5 січня — 5-й день року в григоріанському календарі.
Новинка!!: Стівен Коул Кліні і 5 січня · Побачити більше »