Стівен Коул Кліні

Стівен Коул Кліні (Клейні)
Stephen Cole Kleene
Кліні в 1978
Ім'я при народженніангл. Stephen Cole Kleene
Народився5 січня 1909(1909-01-05)[1][2][…]
США
Помер25 січня 1994(1994-01-25)[1][2][…] (85 років)
США
ГромадянствоСША США
Діяльністьматематик, інформатик, філософ, викладач університету
Галузьматематика
Alma materПринстонський університет
Науковий керівникАлонзо Черч
Знання мованглійська[4][5]
ЗакладУніверситет Вісконсин-Медісон
УчасникДруга світова війна[1]
ЧленствоНаціональна академія наук США і Американська академія мистецтв і наук
НапрямокІнтуїціонізм
Magnum opusKleene–Brouwer orderd, Kleene–Rosser paradoxd, Kleene's Od, Church–Kleene ordinald, Kleene's recursion theoremd, Kleene's T predicated, Kleene's theoremd, Kleene's algorithmd, Kleene algebrad, зірочка Кліні, Kleene fixed-point theoremd, лямбда-числення і The foundations of intuitionistic mathematicsd
Військове званнялейтенант-коммандерd[1]
Нагороди
Званняпрофесор

Стівен Коул Кліні (англ. Stephen Cole Kleene; 5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики. Автор ряду широко відомих монографій з математичної логіки, основах математики і теорії рекурсивних функцій.

Його роботи спільно з роботами Алонзо Черча, Курта Геделя і Алана Тюринга дали початок розділу математичної логіки — теорії обчислюваності. Крім того, відомий винаходом регулярних виразів. Його ім'ям названі алгебра Кліні, зірочка Кліні, теорема Кліні про рекурсію, теорема Кліні про нерухому точку, smn-теорема. Працював також в області інтуїціоністської математики Брауера. Вніс важливий вклад до теорії Скінченних автоматів (див. теорема Кліні).

Сам Кліні вимовляв своє прізвище як «Клейні», помилкова транслітерація «Кліні» затвердилася в СРСР через видання перекладів його книг саме під таким прізвищем.[джерело?]

Примітки

  1. ↑ а б в г д Архів історії математики Мактьютор — 1994.
  2. ↑ а б в Encyclopædia Britannica
  3. ↑ а б в SNAC — 2010.
  4. ↑ Identifiants et Référentiels — ABES, 2011.
  5. ↑ CONOR.Sl

Посилання

  • Кліні на сайті MacTutor
  • Кліні на сайті Mathematics Genealogy Project
  • Біографічні мемуари — автор Саундерс Маклейн
  • Бібліографія
  • Інтерв'ю з Кліні та Джоном Барклі Россером щодо їх праці у Принстоні.


науковець Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.

Read other articles:

Nicolas Léonard Sadi Carnot

Nicolas Léonard Sadi Carnot nell'uniforme scolastica dell'École polytechnique Nicolas Léonard Sadi Carnot (Parigi, 1º giugno 1796 – Parigi, 24 agosto 1832) è stato un fisico, ingegnere e matematico francese. A lui si devono importantissimi contributi alla termodinamica teorica; tra questi, la teorizzazione di quella che sarà chiamata la macchina di Carnot, il ciclo di Carnot e il teorema di Carnot, il cui enunciato afferma che qualsiasi macchina termodinamica, che lavori tra due sorge...

 

 

Bahtera generasi

Kapal generasi berbasis Torus Stanford, yang diusulkan oleh Project Hyperion[1] Bahtera generasi, atau wahana antariksa generasi, adalah jenis wahana antariksa hipotetis berupa bahtera antarbintang yang bergerak dengan kecepatan di bawah kecepatan cahaya. Wahana antariksa semacam ini mungkin memerlukan waktu hingga ribuan tahun untuk mencapai bintang-bintang terdekat sekalipun. Karena itu penghuni asli kapal generasi mungkin akan menua dan mati di wahana, meninggalkan keturunan mereka...

 

 

LC3 (classification)

Para-cycling classification LC3 is a para-cycling classification[1] for riders with a handicap in one lower limb who will usually pedal with one leg only. Definition In 2000, BBC Sport defined this classification as LC3 - essentially for riders with a handicap in one lower limb who will usually pedal with one leg only,[2] In 2008, BBC Sport defined this classification was LC3: Riders with impairment in one lower limb who will usually pedal with one leg only[1] In 2008,...

Teknik mesin

Insinyur teknik mesin mendesain dan membuat mesin dan pembangkit listrik... ...struktur dan kendaraan di segala ukuran. Teknik mesin (Belanda: werktuigbouwkundecode: nl is deprecated ) atau Teknik mekanik (Inggris: mechanical engineering) adalah ilmu teknik mengenai aplikasi dari prinsip fisika untuk analisis, desain, manufaktur dan pemeliharaan sebuah sistem mekanik.Ilmu ini membutuhkan pengertian mendalam atas konsep utama dari cabang ilmu mekanika, kinematika, teknik material, termodin...

 

 

Tullio Vinay

Tullio VinayTullio Vinay assieme a Giuliana dei Paesi Bassi Senatore della Repubblica ItalianaLegislaturaVII, VIII GruppoparlamentarePartito Comunista Italiano, Sinistra Indipendente CoalizionePartito Comunista Italiano CircoscrizionePiemonte CollegioCasale Monferrato - Chivasso Incarichi parlamentarinessuno Sito istituzionale Dati generaliPartito politicoPartito Comunista Italiano Professioneteologo, pastore Tullio Vinay (La Spezia, 13 maggio 1909 – Roma, 2 settembre 1996) è stato un...

 

 

B

  此條目介紹的是拉丁字母中的第2个字母。关于其他用法，请见「B (消歧义)」。   提示：此条目页的主题不是希腊字母Β、西里尔字母В、Б、Ъ、Ь或德语字母ẞ、ß。 BB b(见下)用法書寫系統拉丁字母英文字母ISO基本拉丁字母（英语：ISO basic Latin alphabet）类型全音素文字相关所属語言拉丁语读音方法 [b][p][ɓ](适应变体)Unicode编码U+0042, U+0062字母顺位2数值 2歷史發...

Nazism and cinema

Nazi influence on film between 1933–1945 Adolf Hitler, Joseph Goebbels, and others watch filming at Ufa, 1935. Nazism made extensive use of the cinema throughout its history. Though it was a relatively new technology, the Nazi Party established a film department soon after it rose to power in Germany. Both Adolf Hitler and his propaganda minister Joseph Goebbels used the many Nazi films to promote the party ideology and show their influence in the burgeoning art form, which was an object of...

 

 

Oliver Smithies

Oliver SmithiesSmithies at the Universidade de São Paulo in 2008Lahir23 Juni 1925 (umur 98)Halifax, West Yorkshire, InggrisKebangsaanBritania Raya, Amerika SerikatAlmamaterBalliol College, Universitas OxfordDikenal atasGel electrophoresis, gene targetingPenghargaanAlbert Lasker Award for Basic Medical Research (2001)Penghargaan Wolf dalam kedokteran]] (2002) Penghargaan Nobel dalam Fisiologi atau Kedokteran (2007)Karier ilmiahBidangBiokimia, genetikaInstitusiUniversitas TorontoUniversi...

 

 

Keio 1000 series (1996)

Japanese electric multiple unit train type Keio 1000 seriesSet 1707 in December 2022In service1996–presentManufacturerTokyu Car Corp, Nippon SharyoReplacedKeio 3000 seriesConstructed1995–2010Entered service9 January 1996Refurbished2016–2020Number built145 vehicles (29 sets)Number in service145 vehicles (29 sets)Formation5 cars per trainsetFleet numbers 1701–1715 1721–1734 OperatorsKeio CorporationDepotsFujimigaokaLines servedIN Inokashira LineSpecificationsCar body constructionStain...

Congorilla

Fictional gorilla which appear in DC Comics and Vertigo Comics Comics character CongorillaCongorilla as seen in the promotional art for Justice League: Cry for Justice by Mauro Cascioli.Publication informationPublisherDC ComicsFirst appearanceMore Fun Comics #56 (June 1940)Created byWhitney Ellsworth (writer)George Papp (artist)In-story informationAlter egoWilliam GlenmorganSpeciesHuman (formerly) Enchanted golden gorilla (currently)Team affiliationsForgotten HeroesJustice LeagueNotable alias...

 

 

コルク

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年4月） コルクを打ち抜いて作った瓶の栓 コルク（木栓、�...

 

 

Leonard Kleinrock

Leonard KleinrockBiographieNaissance 13 juin 1934 (89 ans)New York (États-Unis)Nationalité  AméricainDomicile Los Angeles (États-Unis)Formation Bronx High School of Science (diplôme d'études secondaires (en)) (1949-1951)City College of New York (Bachelor of Electrical Engineering (en)) (1951-1957)Massachusetts Institute of Technology (doctorat) (jusqu'en 1963)Activités Mathématicien, inventeur d'un brevet, informaticien, professeurAutres informationsA travaillé pour Univers...

July 1910

Month of 1910 1910 January February March April May June July August September October November December << July 1910 >> Su Mo Tu We Th Fr Sa 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31   The following events occurred in July 1910: July 4, 1910: Black challenger Jack Johnson defeats White world heavyweight boxing champion James J. Jeffries in 15th round at Reno July 19, 1910: Major league pitcher Cy Young wins 500th game July 1...

 

 

Microsoft 365

Subscription services offered by Microsoft Windows 365 redirects here. For other uses, see Microsoft Windows § Windows 365. Microsoft 365From top-left: Outlook, OneDrive, Word, Excel, PowerPoint, OneNote, SharePoint, Teams, and Viva EngageDeveloper(s)MicrosoftInitial releaseJuly 10, 2017; 6 years ago (2017-07-10)[1]Operating systemWindows, macOS, Android, iOSPredecessorMicrosoft OfficeTypeSoftware as a service contractWebsitemicrosoft365.com Microsoft 365 is a ...

 

 

西遊記大結局之仙履奇緣

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。 此條目需要編修，以確保文法、用詞、语气、格式、標點等使用恰当。 (2013年8月6日)請按照校對指引，幫助编辑這個條目。（幫助、討論） 此條目剧情、虛構用語或人物介紹过长过细，需清理无关故事主轴的细节、用語和角色介紹。 (2020年10月6日)劇情、用語和人物介紹都只是用於了解故事主軸，輔助�...

Філософія

Частина серії проФілософіяLeft to right: Plato, Kant, Nietzsche, Buddha, Confucius, AverroesПлатонКантНіцшеБуддаКонфуційАверроес Філософи Епістемологи Естетики Етики Логіки Метафізики Соціально-політичні філософи Традиції Аналітична Арістотелівська Африканська Близькосхідна іранська Буддій�...

 

 

FC Podillya Khmelnytskyi

Football clubFC Podillya KhmelnytskyiFull nameFC Podillya KhmelnytskyiFounded1960 (unofficially 1926)[1]GroundSC Podillya, KhmelnytskyiCapacity6,811ChairmanYevhen BeidermanManagerVitaliy KostyshynLeagueUkrainian First League2020–21Ukrainian Second League, Group A, 1st of 13 (promoted)WebsiteClub website Home colours Away colours Contrast (blue) variation of the club logo FC Podillya Khmelnytskyi is a Ukrainian professional football team that is based in Khmelnytskyi, Khmelnytskyi O...

 

 

Vita Vea

American football player (born 1995) American football player Vita VeaVea with the Buccaneers in 2021No. 50 – Tampa Bay BuccaneersPosition:Nose tacklePersonal informationBorn: (1995-02-05) February 5, 1995 (age 29)Stanford, California, U.S.Height:6 ft 4 in (1.93 m)Weight:347 lb (157 kg)Career informationHigh school:Milpitas (Milpitas, California)College:Washington (2014–2017)NFL draft:2018 / Round: 1 / Pick: 12Career history Tampa Bay Bucc...

Activision

American video game publisher Activision Publishing, Inc.Former headquarters in Santa Monica in 2008FormerlyComputer Arts, Inc.(1979)Activision, Inc.(1979–1988; 1992–2000)Mediagenic(1988–1992)Company typeSubsidiaryIndustryVideo gamesFoundedOctober 1, 1979; 44 years ago (1979-10-01)FoundersDavid CraneAlan MillerBob WhiteheadJim LevyHeadquarters2701 Olympic Blvd, Santa Monica, California, USArea servedWorldwideKey peopleRob Kostich (president)[1]Josh Taub (COO)&#...

 

 

Athletics at the 1989 Summer Universiade – Men's 400 metres

Athletics at the1989 Summer UniversiadeTrack events100 mmenwomen200 mmenwomen400 mmenwomen800 mmenwomen1500 mmenwomen3000 mwomen5000 mmen10,000 mmenwomen100 m hurdleswomen110 m hurdlesmen400 m hurdlesmenwomen3000 msteeplechasemen4×100 m relaymenwomen4×400 m relaymenwomenRoad eventsMarathonmenwomen5 km walkwomen20 km walkmenField eventsHigh jumpmenwomenPole vaultmenLong jumpmenwomenTriple jumpmenShot putmenwomenDiscus throwmenwomenHammer throwmenJavelin throwmenwomenCombined eventsHeptathlo...