| Birthplace
|
http://dbpedia.org/resource/Washington%2C_D.C. +
|
| http://dbpedia.org/ontology/abstract
|
Алонзо Черч (Алонзо Чорч) (англ. Alonzo Ch … Алонзо Черч (Алонзо Чорч) (англ. Alonzo Church; *14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон (Огайо), США) — видатний американський математик і логік. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики в цілому і мали принципове значення для досліджень з основ математики. Автор тези Черча, , лямбда-оператора та похідних понять. Один із творців теорії обчислюваності.ть. Один із творців теорії обчислюваності.
, 阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日 … 阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。
, ألونزو تشرتش (بالإنجليزية: Alonzo Church) … ألونزو تشرتش (بالإنجليزية: Alonzo Church) (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وايضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا,اطروحة تورنغ-تشرتش , اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير .ة القرار غير قابلة للتقرير وغيرها الكثير .
, Alonzo Church (14. června 1903 Washington, … Alonzo Church (14. června 1903 Washington, D.C. – 11. srpna 1995 Hudson (Ohio)) byl americký matematik, logik a filozof. Byl jedním z prvních lidí zabývajících se teorií algoritmů. Narodil se ve Washingtonu a vystudoval na Princetonské univerzitě, kde se později stal i profesorem. Je znám především díky svému lambda kalkulu, který popsal v roce 1936 ve článku ukazujícím existenci nerozhodnutelného problému. Na tento článek později navázal Alan Turing ve své práci o problému zastavení. Church pak společně s Turingem ukázal, že lambda kalkul (a další výpočetní modely) má výpočetní sílu Turingova stroje, což otevřelo cestu k Churchově–Turingově tezi.
* Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Alonzo Churchichž autorem nebo tématem je Alonzo Church
, Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
, Alonzo Church, född 14 juni 1903 i Washing … Alonzo Church, född 14 juni 1903 i Washington, D.C., död 11 augusti 1995, var en amerikansk matematiker och logiker, som lämnade fundamentala bidrag till datavetenskapen. Han var professor vid University of California, Los Angeles och var även verksam vid Princeton University, där han doktorerade 1927 under . Alonzo Church är främst känd för Churchs teorem 1936, vilket bland annat visar att första ordningens predikatlogik är oavgörbar. Han har formulerat underlaget till det som sedermera kom att kallas Church-Turings hypotes och har skapat den så kallade lambdakalkylen, som påverkade konstruktionen av programspråket Lisp. Church har under åren haft ett stort antal sedermera framstående matematiker som doktorander, bland andra Alan Turing, Raymond Smullyan och Leon Henkin. Turing, Raymond Smullyan och Leon Henkin.
, アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。
, Alonzo Church (Washington D.C., 14 juni 1903 - Hudson (Ohio), 11 augustus 1995) was een Amerikaans wiskundige en logicus. Tot zijn verdiensten behoort een aantal van de meest fundamentele onderdelen van de theoretische informatica.
, Alonzo Church (Washington Hiria, 1903ko ek … Alonzo Church (Washington Hiria, 1903ko ekainaren 14a - Hudson, 1995eko abuztuaren 11) Estatu Batuetako logikari eta matematikaria izan zen. Matematikako irakaslea izan zen Princetongo Unibertsitatean (1947-1961). Sistema baten formulazio mugak (sintaktikoak) ikertu zituen, bereziki, eta, predikatuen kalkulu logikoari dagokionez, sistemako proposizio orok ez duela deribazio logikorako biderik frogatu zuen. Lan nagusiak: Zenbaki oinarrizkoen teoriaren arazo konponezin bat (1936), Zentzuaren eta denotazioaren logikaz (1954), Logika matematikoa (1956).logikaz (1954), Logika matematikoa (1956).
, Alonzo Church (14 de junio de 1903 - 11 de … Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967. Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada que también demostró la existencia de problemas irresolubles por dispositivos mecánicos. Luego de revisar la tesis doctoral de Turing, demostraron que el cálculo lambda y la máquina de Turing utilizada para expresar el problema de parada tenían igual poder de expresión; posteriormente demostraron que una variedad de procesos mecánicos alternos para realizar cálculos tenían poder de cómputo equivalente. Como resultado se postuló la Tesis de Church-Turing. Entre los más conocidos estudiantes de doctorado de Church están Stephen Kleene, , Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, y Raymond Smullyan. Church publicó entre 1924 y 1995 trabajos sobre Lógica, filosofía, matemáticas y computación. En su trabajo de 1936 An unsolvable problem of elementary number theory Church formuló por primera vez lo que ahora se conoce como la tesis de Church que es la identificación del concepto vago de calculabilidad efectiva con la noción precisa de función recursiva. Su artículo A note on the entscheidungsproblem presentó lo que ahora se conoce como el teorema de Church: La indecidibilidad de la validez de la lógica de primer orden. En 1941 publicó su monografía The calculi of lambda-conversión. Este trabajo tiene gran influencia en el área de computación teórica. El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.o los lenguajes de programación funcional.
, Alonzo Church (Washington DC, 14 de juny d … Alonzo Church (Washington DC, 14 de juny de 1903 - Hudson, 11 d'agost de 1995) fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica. És conegut principalment pel càlcul lambda, la tesi de Church-Turing, l', el i per demostrar la indecidibilitat de l'Entscheidungsproblem.indecidibilitat de l'Entscheidungsproblem.
, Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) – amerykański logik i matematyk.
, Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, , Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
, Alonzo Church (June 14, 1903 – August 11, … Alonzo Church (June 14, 1903 – August 11, 1995) was a renowned American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his student Alan Turing, Church is considered one of the founders of computer science.d one of the founders of computer science.
, Alonzo Church (Washington, 14 giugno 1903 … Alonzo Church (Washington, 14 giugno 1903 – Hudson, 11 agosto 1995) è stato un matematico e logico statunitense.Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica. Dimostrò per primo il cosiddetto paradosso della conoscibilità di Church-Fitch.dosso della conoscibilità di Church-Fitch.
, Alonzo CHURCH (14-a de junio 1903 – 11-a d … Alonzo CHURCH (14-a de junio 1903 – 11-a de aŭgusto 1995) estis usona matematikisto kiu kontribuis multe al matematika logiko, kaj la fundamentaj teorioj de komputiko. Li naskiĝis la 4-an de junio 1903, en Vaŝingtono, kaj diplomiĝis ĉe la Universitato Princeton kaj doktoriĝis tie en 1927. Kaj en 1929, li tie fariĝis profesoro de matematiko, kie li restis ĝis 1967, kiam li translokiĝis al Kalifornio. Li estas plej konata pro disvolvi la lambdokalkulon kaj pro lia referaĵo de 1936 kiu montris la ekziston de en la kalkulo. Tiu rezulto antaŭis la faman laboron de Alan Turing pri la ankaŭ kiu demonstris la ekziston de nesolveblaj problemoj per meĥanika maniero. Church direktis la doktoran tezon de Turing, en kiu ili montris la ekvivalentecon de la lambdokalkulo kaj la turinga maŝino (uzita en la haltproblema laboro de Turing) kaj sekve montris ke diversaj aliaj meĥanikaj komput-sistemoj havas ekvivalentajn kapablojn. Tiel rezultiĝis la , kiu estas konata ankaŭ kiel la tezo de Church aŭ la tezo de Turing, ĉar estas disputo pri kiu unue proponis ĝin. Church estas ankaŭ konata pro la Teoremo Church (1936), kiu demonstras ke ne estas decida procedo por aritmetiko. Lia laboro etendis tiun de Kurt Gödel. Church fondis la en 1936 kaj daŭris kiel ĝia redaktoro ĝis 1979. Li verkis la libron Enkonduko al Matematika Logiko en 1956. Church havis 31 doktorajn studentojn. Inter ili estis, krom Turing, Stephen Kleene, kaj . estis, krom Turing, Stephen Kleene, kaj .
, 알론조 처치(영어: Alonzo Church, 1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이다. 전산학의 이론적 기초를 세운 사람 중의 한 명이다.
, Alonzo Church (Washington, DC, 14 de junho … Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense. Atuou principalmente nas áreas de lógica matemática, teoria da recursão e teoria da computação. Entre suas maiores contribuições, estão o cálculo lambda, um sistema matemático formal que investiga funções, aplicação de funções. Influenciou as linguagens de programação, principalmente as linguagens funcionais, como o LISP (LISP 'puro' pode ser chamada de uma linguagem funcional verdadeira).da de uma linguagem funcional verdadeira).
, Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Logic +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Princeton_University +
|
| http://dbpedia.org/ontology/birthDate
|
"1903-06-14"^^xsd:date
|
| http://dbpedia.org/ontology/citizenship
|
http://dbpedia.org/resource/United_States +
|
| http://dbpedia.org/ontology/deathDate
|
"1995-08-11"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Hudson%2C_Ohio +
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Oswald_Veblen +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Martin_Davis_%28mathematician%29 +
, http://dbpedia.org/resource/Michael_O._Rabin +
, http://dbpedia.org/resource/Alan_Turing +
, http://dbpedia.org/resource/Raymond_Smullyan +
, http://dbpedia.org/resource/C._Anthony_Anderson +
, http://dbpedia.org/resource/Nicholas_Rescher +
, http://dbpedia.org/resource/George_Alfred_Barnard +
, http://dbpedia.org/resource/Alfred_Foster_%28mathematician%29 +
, http://dbpedia.org/resource/Gary_R._Mar +
, http://dbpedia.org/resource/William_Boone_%28mathematician%29 +
, http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/David_Kaplan_%28philosopher%29 +
, http://dbpedia.org/resource/John_George_Kemeny +
, http://dbpedia.org/resource/Leon_Henkin +
, http://dbpedia.org/resource/J._Barkley_Rosser +
, http://dbpedia.org/resource/Dana_Scott +
, http://dbpedia.org/resource/William_Bigelow_Easton +
, http://dbpedia.org/resource/Maurice_L%27Abb%C3%A9 +
, http://dbpedia.org/resource/Peter_Andrews_%28mathematician%29 +
, http://dbpedia.org/resource/Hartley_Rogers%2C_Jr +
, http://dbpedia.org/resource/Simon_B._Kochen +
, http://dbpedia.org/resource/Norman_Shapiro +
, http://dbpedia.org/resource/Isaac_Malitz +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Frege%E2%80%93Church_ontology +
, http://dbpedia.org/resource/Church%27s_theorem +
, http://dbpedia.org/resource/Church%E2%80%93Rosser_theorem +
, http://dbpedia.org/resource/Church%E2%80%93Kleene_ordinal +
, http://dbpedia.org/resource/Simply_typed_lambda_calculus +
, http://dbpedia.org/resource/Lambda_calculus +
, http://dbpedia.org/resource/Church_encoding +
, http://dbpedia.org/resource/Church%E2%80%93Turing_thesis +
, http://dbpedia.org/resource/Intensional_logic +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Alonzo_Church.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html +
, https://web.archive.org/web/20120901152639/https:/www.math.ucla.edu/~hbe/church.pdf +
, https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EDB7DCE04575AF06CCC94E95B3DD0F72/S1079898600008040a.pdf/in-memoriam-alonzo-church-1903-1995.pdf +
, https://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps +
, http://arks.princeton.edu/ark:/88435/fx719m49m +
, https://www.ams.org/journals/tran/1927-029-01/S0002-9947-1927-1501383-1/ +
, https://www.ams.org/samplings/math-history/hmath2-prince.pdf +
, https://web.archive.org/web/20150310024937/http:/www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm +
, https://web.archive.org/web/20150310080250/http:/www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm +
, http://johnmacfarlane.net/church.html +
, https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.html +
, https://press.princeton.edu/books/paperback/9780691029061/introduction-to-mathematical-logic-pms-13-volume-13 +
, https://projecteuclid.org/euclid.rml/1204835575 +
|
| http://dbpedia.org/ontology/wikiPageID
|
49731
|
| http://dbpedia.org/ontology/wikiPageLength
|
22118
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1124414749
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/J._Barkley_Rosser +
, http://dbpedia.org/resource/Presbyterian +
, http://dbpedia.org/resource/Isaac_Malitz +
, http://dbpedia.org/resource/David_Kaplan_%28philosopher%29 +
, http://dbpedia.org/resource/G%C3%B6del_Prize +
, http://dbpedia.org/resource/National_Academy_of_Sciences +
, http://dbpedia.org/resource/Church%E2%80%93Kleene_ordinal +
, http://dbpedia.org/resource/Paris_Kanellakis_Award +
, http://dbpedia.org/resource/Maurice_L%27Abb%C3%A9 +
, http://dbpedia.org/resource/University_of_Amsterdam +
, http://dbpedia.org/resource/United_States +
, http://dbpedia.org/resource/Philosopher +
, http://dbpedia.org/resource/Princeton_University +
, http://dbpedia.org/resource/David_Berlinski +
, http://dbpedia.org/resource/Church%E2%80%93Turing%E2%80%93Deutsch_principle +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Modern_Platonism +
, http://dbpedia.org/resource/Nicholas_Rescher +
, http://dbpedia.org/resource/Lisp_%28programming_language%29 +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/John_Corcoran_%28logician%29 +
, http://dbpedia.org/resource/Category:Burials_at_Princeton_Cemetery +
, http://dbpedia.org/resource/British_Academy +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Professor +
, http://dbpedia.org/resource/Church%E2%80%93Rosser_theorem +
, http://dbpedia.org/resource/Category:Corresponding_Fellows_of_the_British_Academy +
, http://dbpedia.org/resource/Herbert_Enderton +
, http://dbpedia.org/resource/Alfred_Foster_%28mathematician%29 +
, http://dbpedia.org/resource/Norman_Shapiro +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/Entscheidungsproblem +
, http://dbpedia.org/resource/University_of_G%C3%B6ttingen +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/Church_encoding +
, http://dbpedia.org/resource/Category:Mathematicians_from_Washington%2C_D.C. +
, http://dbpedia.org/resource/UCLA +
, http://dbpedia.org/resource/University_of_California%2C_Los_Angeles +
, http://dbpedia.org/resource/Oswald_Veblen +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/John_George_Kemeny +
, http://dbpedia.org/resource/Washington%2C_D.C. +
, http://dbpedia.org/resource/Alan_Turing +
, http://dbpedia.org/resource/Category:1903_births +
, http://dbpedia.org/resource/Category:Computability_theorists +
, http://dbpedia.org/resource/Category:American_logicians +
, http://dbpedia.org/resource/George_Alfred_Barnard +
, http://dbpedia.org/resource/Church%E2%80%93Turing_thesis +
, http://dbpedia.org/resource/Dana_Scott +
, http://dbpedia.org/resource/C._Anthony_Anderson +
, http://dbpedia.org/resource/Simon_B._Kochen +
, http://dbpedia.org/resource/Category:Philosophers_from_New_Jersey +
, http://dbpedia.org/resource/William_Boone_%28mathematician%29 +
, http://dbpedia.org/resource/Category:Princeton_University_faculty +
, http://dbpedia.org/resource/University_of_Chicago +
, http://dbpedia.org/resource/EACSL +
, http://dbpedia.org/resource/Theory_%28mathematical_logic%29 +
, http://dbpedia.org/resource/European_Association_for_Theoretical_Computer_Science +
, http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/United_States_National_Research_Council +
, http://dbpedia.org/resource/Case_Western_Reserve_University +
, http://dbpedia.org/resource/Category:Philosophers_from_California +
, http://dbpedia.org/resource/Frege%E2%80%93Church_ontology +
, http://dbpedia.org/resource/Michael_O._Rabin +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Gian-Carlo_Rota +
, http://dbpedia.org/resource/Category:20th-century_American_philosophers +
, http://dbpedia.org/resource/Lorentz_transformation +
, http://dbpedia.org/resource/Hartley_Rogers%2C_Jr. +
, http://dbpedia.org/resource/List_of_logicians +
, http://dbpedia.org/resource/Irving_H._Anellis +
, http://dbpedia.org/resource/The_Bulletin_of_Symbolic_Logic +
, http://dbpedia.org/resource/Alfred_L._Foster +
, http://dbpedia.org/resource/Decision_procedure +
, http://dbpedia.org/resource/Wilfred_Hodges +
, http://dbpedia.org/resource/Turing_Award +
, http://dbpedia.org/resource/Peter_B._Andrews_%28mathematician%29 +
, http://dbpedia.org/resource/Church%27s_theorem +
, http://dbpedia.org/resource/Peter_Andrews_%28mathematician%29 +
, http://dbpedia.org/resource/List_of_pioneers_in_computer_science +
, http://dbpedia.org/resource/Hartley_Rogers%2C_Jr +
, http://dbpedia.org/resource/ACM_SIGLOG +
, http://dbpedia.org/resource/William_Bigelow_Easton +
, http://dbpedia.org/resource/Category:Philosophers_from_Washington%2C_D.C. +
, http://dbpedia.org/resource/Universal_set +
, http://dbpedia.org/resource/Category:American_Presbyterians +
, http://dbpedia.org/resource/University_at_Buffalo%2C_The_State_University_of_New_York +
, http://dbpedia.org/resource/Gary_R._Mar +
, http://dbpedia.org/resource/Princeton_Cemetery +
, http://dbpedia.org/resource/Alonzo_Church_%28college_president%29 +
, http://dbpedia.org/resource/The_Independent +
, http://dbpedia.org/resource/The_New_York_Times +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/International_Congress_of_Mathematicians +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Ridgefield%2C_Connecticut +
, http://dbpedia.org/resource/Journal_of_Symbolic_Logic +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Kurt_G%C3%B6del_Society +
, http://dbpedia.org/resource/Leon_Henkin +
, http://dbpedia.org/resource/Category:University_of_California%2C_Los_Angeles_faculty +
, http://dbpedia.org/resource/Harvard_University +
, http://dbpedia.org/resource/Functional_programming +
, http://dbpedia.org/resource/Higher-order_logic +
, http://dbpedia.org/resource/Category:1995_deaths +
, http://dbpedia.org/resource/Lambda_calculus +
, http://dbpedia.org/resource/American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Intensional_logic +
, http://dbpedia.org/resource/Martin_Davis_%28mathematician%29 +
, http://dbpedia.org/resource/Hudson%2C_Ohio +
, http://dbpedia.org/resource/United_States_Senate_Librarian +
, http://dbpedia.org/resource/Raymond_Smullyan +
, http://dbpedia.org/resource/Simply_typed_lambda_calculus +
, http://dbpedia.org/resource/Category:Princeton_University_alumni +
, http://dbpedia.org/resource/Turing_machine +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Princeton_University +
|
| http://dbpedia.org/property/birthDate
|
"1903-06-14"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Washington, D.C., US
|
| http://dbpedia.org/property/caption
|
Alonzo Church
|
| http://dbpedia.org/property/citizenship
|
http://dbpedia.org/resource/United_States +
|
| http://dbpedia.org/property/deathDate
|
"1995-08-11"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
Hudson, Ohio, US
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Oswald_Veblen +
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/David_Kaplan_%28philosopher%29 +
, Maurice L'Abbé 1951
, Simon B. Kochen 1959
, Nicholas Rescher 1951
, John George Kemeny 1949
, Alfred Foster 1930
, Alan Turing 1938
, William Easton 1964
, Peter Andrews 1964
, Stephen Cole Kleene 1934
, Gary R. Mar 1985
, George Alfred Barnard 1936
, Martin Davis 1950
, Raymond Smullyan 1959
, Michael O. Rabin 1957
, C. Anthony Anderson 1977
, Isaac (Richard) Malitz 1976
, Dana Scott 1958
, Norman Shapiro 1955
, Leon Henkin 1947
, Hartley Rogers, Jr 1952
, William W. Boone 1952
, J. Barkley Rosser 1934
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Logic +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Frege%E2%80%93Church_ontology +
, http://dbpedia.org/resource/Intensional_logic +
, http://dbpedia.org/resource/Simply_typed_lambda_calculus +
, http://dbpedia.org/resource/Church%27s_theorem +
, http://dbpedia.org/resource/Church%E2%80%93Turing_thesis +
, http://dbpedia.org/resource/Lambda_calculus +
, http://dbpedia.org/resource/Church%E2%80%93Rosser_theorem +
, http://dbpedia.org/resource/Church_encoding +
, http://dbpedia.org/resource/Church%E2%80%93Kleene_ordinal +
|
| http://dbpedia.org/property/name
|
Alonzo Church
|
| http://dbpedia.org/property/thesisTitle
|
Alternatives to Zermelo's Assumption
|
| http://dbpedia.org/property/thesisUrl
|
https://www.ams.org/journals/tran/1927-029-01/S0002-9947-1927-1501383-1/ +
|
| http://dbpedia.org/property/thesisYear
|
1927
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Isbn +
, http://dbpedia.org/resource/Template:Alonzo_Church +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:About +
, http://dbpedia.org/resource/Template:MacTutor_Biography +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Blockquote +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Find_a_Grave +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://dbpedia.org/property/wordnet type
|
http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1 +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/UCLA +
, http://dbpedia.org/resource/Princeton_University +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1903_births +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:American_logicians +
, http://dbpedia.org/resource/Category:Philosophers_from_California +
, http://dbpedia.org/resource/Category:1995_deaths +
, http://dbpedia.org/resource/Category:American_Presbyterians +
, http://dbpedia.org/resource/Category:Corresponding_Fellows_of_the_British_Academy +
, http://dbpedia.org/resource/Category:Princeton_University_alumni +
, http://dbpedia.org/resource/Category:Philosophers_from_New_Jersey +
, http://dbpedia.org/resource/Category:University_of_California%2C_Los_Angeles_faculty +
, http://dbpedia.org/resource/Category:20th-century_American_philosophers +
, http://dbpedia.org/resource/Category:Mathematicians_from_Washington%2C_D.C. +
, http://dbpedia.org/resource/Category:Princeton_University_faculty +
, http://dbpedia.org/resource/Category:Computability_theorists +
, http://dbpedia.org/resource/Category:Philosophers_from_Washington%2C_D.C. +
, http://dbpedia.org/resource/Category:Burials_at_Princeton_Cemetery +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/109830754 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Alonzo_Church?oldid=1124414749&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Alonzo_Church.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Alonzo_Church +
|
| http://xmlns.com/foaf/0.1/name
|
Alonzo Church
|
| owl:sameAs |
http://pl.dbpedia.org/resource/Alonzo_Church +
, http://ko.dbpedia.org/resource/%EC%95%8C%EB%A1%A0%EC%A1%B0_%EC%B2%98%EC%B9%98 +
, http://hu.dbpedia.org/resource/Alonzo_Church +
, http://de.dbpedia.org/resource/Alonzo_Church +
, http://zh.dbpedia.org/resource/%E9%98%BF%E9%9A%86%E4%BD%90%C2%B7%E9%82%B1%E5%A5%87 +
, http://d-nb.info/gnd/119430223 +
, http://fa.dbpedia.org/resource/%D8%A2%D9%84%D9%88%D9%86%D8%B2%D9%88_%DA%86%D8%B1%DA%86 +
, http://fi.dbpedia.org/resource/Alonzo_Church +
, http://et.dbpedia.org/resource/Alonzo_Church +
, http://data.bibliotheken.nl/id/thes/p067508219 +
, http://nn.dbpedia.org/resource/Alonzo_Church +
, http://viaf.org/viaf/109830754 +
, http://nl.dbpedia.org/resource/Alonzo_Church +
, http://la.dbpedia.org/resource/Alonzus_Church +
, http://dbpedia.org/resource/Alonzo_Church +
, http://az.dbpedia.org/resource/Alonzo_%C3%87%C3%B6r%C3%A7 +
, http://hy.dbpedia.org/resource/%D4%B1%D5%AC%D5%B8%D5%B6%D5%A6%D5%B8_%D5%89%D5%A8%D6%80%D5%B9 +
, http://yago-knowledge.org/resource/Alonzo_Church +
, http://sr.dbpedia.org/resource/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE_%D0%A7%D0%B5%D1%80%D1%87 +
, http://th.dbpedia.org/resource/%E0%B8%AD%E0%B8%A5%E0%B8%AD%E0%B8%99%E0%B9%82%E0%B8%8B_%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%A3%E0%B9%8C%E0%B8%8A +
, http://eo.dbpedia.org/resource/Alonzo_Church +
, https://global.dbpedia.org/id/551Ew +
, http://sw.cyc.com/concept/Mx4rr9CCkSGgEdaaVQBQ2sS97Q +
, http://es.dbpedia.org/resource/Alonzo_Church +
, http://mk.dbpedia.org/resource/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE_%D0%A7%D0%B5%D1%80%D1%87 +
, http://cs.dbpedia.org/resource/Alonzo_Church +
, http://he.dbpedia.org/resource/%D7%90%D7%9C%D7%95%D7%A0%D7%96%D7%95_%D7%A6%27%D7%A8%D7%A5%27 +
, http://bn.dbpedia.org/resource/%E0%A6%86%E0%A6%B2%E0%A7%8B%E0%A6%A8%E0%A7%8D%E2%80%8C%E0%A6%9C%E0%A7%8B_%E0%A6%9A%E0%A6%BE%E0%A6%B0%E0%A7%8D%E0%A6%9A +
, http://ru.dbpedia.org/resource/%D0%A7%D1%91%D1%80%D1%87%2C_%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE +
, http://bg.dbpedia.org/resource/%D0%90%D0%BB%D0%BE%D0%BD%D1%81%D0%BE_%D0%A7%D1%8A%D1%80%D1%87 +
, http://ckb.dbpedia.org/resource/%D8%A6%DB%95%D9%84%DB%86%D9%86%D8%B2%DB%86_%DA%86%DB%8E%D8%B1%DA%86 +
, http://ml.dbpedia.org/resource/%E0%B4%85%E0%B4%B2%E0%B5%8B%E0%B5%BA%E0%B4%B8%E0%B5%8B_%E0%B4%9A%E0%B5%BC%E0%B4%9A%E0%B5%8D%E0%B4%9A%E0%B5%8D +
, http://pt.dbpedia.org/resource/Alonzo_Church +
, http://it.dbpedia.org/resource/Alonzo_Church +
, http://azb.dbpedia.org/resource/%D8%A2%D9%84%D9%88%D9%86%D8%B2%D9%88_%DA%86%D8%B1%DA%86 +
, http://sk.dbpedia.org/resource/Alonzo_Church +
, http://sl.dbpedia.org/resource/Alonzo_Church +
, http://tl.dbpedia.org/resource/Alonzo_Church +
, http://simple.dbpedia.org/resource/Alonzo_Church +
, http://be.dbpedia.org/resource/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%B0_%D0%A7%D0%BE%D1%80%D1%87 +
, http://eu.dbpedia.org/resource/Alonzo_Church +
, http://hr.dbpedia.org/resource/Alonzo_Church +
, http://rdf.freebase.com/ns/m.0d6m5 +
, http://gl.dbpedia.org/resource/Alonzo_Church +
, http://ht.dbpedia.org/resource/Alonzo_Church +
, http://www.wikidata.org/entity/Q92741 +
, http://sv.dbpedia.org/resource/Alonzo_Church +
, http://ro.dbpedia.org/resource/Alonzo_Church +
, http://fr.dbpedia.org/resource/Alonzo_Church +
, http://ca.dbpedia.org/resource/Alonzo_Church +
, https://dblp.org/pid/96/6427 +
, http://arz.dbpedia.org/resource/%D8%A7%D9%84%D9%88%D9%86%D8%B2%D9%88_%D8%AA%D8%B4%D8%B1%D8%AA%D8%B4 +
, http://ja.dbpedia.org/resource/%E3%82%A2%E3%83%AD%E3%83%B3%E3%82%BE%E3%83%BB%E3%83%81%E3%83%A3%E3%83%BC%E3%83%81 +
, http://da.dbpedia.org/resource/Alonzo_Church +
, http://ar.dbpedia.org/resource/%D8%A3%D9%84%D9%88%D9%86%D8%B2%D9%88_%D8%AA%D8%B4%D8%B1%D8%AA%D8%B4 +
, http://tr.dbpedia.org/resource/Alonzo_Church +
, http://uk.dbpedia.org/resource/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE_%D0%A7%D0%B5%D1%80%D1%87 +
|
| rdf:type |
http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatPrincetonUniversityAlumni +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/WikicatPeopleFromWashington%2CD.C. +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatAmericanPeople +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Theorist110706812 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://dbpedia.org/class/yago/WikicatAmericanLogicians +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatComputabilityTheorists +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/WikicatAmericanPhilosophers +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/WikicatLogicians +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://umbel.org/umbel/rc/Scientist +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatAmericanComputerScientists +
, http://www.wikidata.org/entity/Q901 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/WikicatHarvardUniversityAlumni +
, http://dbpedia.org/class/yago/WikicatAmericanMathematicians +
, http://umbel.org/umbel/rc/PersonWithOccupation +
, http://dbpedia.org/class/yago/WikicatAmericanInformationTheorists +
|
| rdfs:comment |
Alonzo Church (Washington, DC, 14 de junho … Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense. Atuou principalmente nas áreas de lógica matemática, teoria da recursão e teoria da computação. Entre suas maiores contribuições, estão o cálculo lambda, um sistema matemático formal que investiga funções, aplicação de funções. Influenciou as linguagens de programação, principalmente as linguagens funcionais, como o LISP (LISP 'puro' pode ser chamada de uma linguagem funcional verdadeira).da de uma linguagem funcional verdadeira).
, Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.
, Alonzo Church (Washington DC, 14 de juny d … Alonzo Church (Washington DC, 14 de juny de 1903 - Hudson, 11 d'agost de 1995) fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica. És conegut principalment pel càlcul lambda, la tesi de Church-Turing, l', el i per demostrar la indecidibilitat de l'Entscheidungsproblem.indecidibilitat de l'Entscheidungsproblem.
, Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, , Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
, Alonzo Church (Washington Hiria, 1903ko ek … Alonzo Church (Washington Hiria, 1903ko ekainaren 14a - Hudson, 1995eko abuztuaren 11) Estatu Batuetako logikari eta matematikaria izan zen. Matematikako irakaslea izan zen Princetongo Unibertsitatean (1947-1961). Sistema baten formulazio mugak (sintaktikoak) ikertu zituen, bereziki, eta, predikatuen kalkulu logikoari dagokionez, sistemako proposizio orok ez duela deribazio logikorako biderik frogatu zuen. Lan nagusiak: Zenbaki oinarrizkoen teoriaren arazo konponezin bat (1936), Zentzuaren eta denotazioaren logikaz (1954), Logika matematikoa (1956).logikaz (1954), Logika matematikoa (1956).
, アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。
, Alonzo Church (14 de junio de 1903 - 11 de … Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967. Entre los más conocidos estudiantes de doctorado de Church están Stephen Kleene, , Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, y Raymond Smullyan. El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.o los lenguajes de programación funcional.
, ألونزو تشرتش (بالإنجليزية: Alonzo Church) … ألونزو تشرتش (بالإنجليزية: Alonzo Church) (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وايضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا,اطروحة تورنغ-تشرتش , اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير .ة القرار غير قابلة للتقرير وغيرها الكثير .
, 阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日 … 阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。
, Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
, Алонзо Черч (Алонзо Чорч) (англ. Alonzo Ch … Алонзо Черч (Алонзо Чорч) (англ. Alonzo Church; *14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон (Огайо), США) — видатний американський математик і логік. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики в цілому і мали принципове значення для досліджень з основ математики. Автор тези Черча, , лямбда-оператора та похідних понять. Один із творців теорії обчислюваності.ть. Один із творців теорії обчислюваності.
, Alonzo Church, född 14 juni 1903 i Washing … Alonzo Church, född 14 juni 1903 i Washington, D.C., död 11 augusti 1995, var en amerikansk matematiker och logiker, som lämnade fundamentala bidrag till datavetenskapen. Han var professor vid University of California, Los Angeles och var även verksam vid Princeton University, där han doktorerade 1927 under . Church har under åren haft ett stort antal sedermera framstående matematiker som doktorander, bland andra Alan Turing, Raymond Smullyan och Leon Henkin. Turing, Raymond Smullyan och Leon Henkin.
, Alonzo Church (June 14, 1903 – August 11, … Alonzo Church (June 14, 1903 – August 11, 1995) was a renowned American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his student Alan Turing, Church is considered one of the founders of computer science.d one of the founders of computer science.
, Alonzo Church (Washington D.C., 14 juni 1903 - Hudson (Ohio), 11 augustus 1995) was een Amerikaans wiskundige en logicus. Tot zijn verdiensten behoort een aantal van de meest fundamentele onderdelen van de theoretische informatica.
, Alonzo Church (Washington, 14 giugno 1903 … Alonzo Church (Washington, 14 giugno 1903 – Hudson, 11 agosto 1995) è stato un matematico e logico statunitense.Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica. Dimostrò per primo il cosiddetto paradosso della conoscibilità di Church-Fitch.dosso della conoscibilità di Church-Fitch.
, Alonzo CHURCH (14-a de junio 1903 – 11-a d … Alonzo CHURCH (14-a de junio 1903 – 11-a de aŭgusto 1995) estis usona matematikisto kiu kontribuis multe al matematika logiko, kaj la fundamentaj teorioj de komputiko. Li naskiĝis la 4-an de junio 1903, en Vaŝingtono, kaj diplomiĝis ĉe la Universitato Princeton kaj doktoriĝis tie en 1927. Kaj en 1929, li tie fariĝis profesoro de matematiko, kie li restis ĝis 1967, kiam li translokiĝis al Kalifornio. Church estas ankaŭ konata pro la Teoremo Church (1936), kiu demonstras ke ne estas decida procedo por aritmetiko. Lia laboro etendis tiun de Kurt Gödel.ko. Lia laboro etendis tiun de Kurt Gödel.
, 알론조 처치(영어: Alonzo Church, 1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이다. 전산학의 이론적 기초를 세운 사람 중의 한 명이다.
, Alonzo Church (14. června 1903 Washington, … Alonzo Church (14. června 1903 Washington, D.C. – 11. srpna 1995 Hudson (Ohio)) byl americký matematik, logik a filozof. Byl jedním z prvních lidí zabývajících se teorií algoritmů. Narodil se ve Washingtonu a vystudoval na Princetonské univerzitě, kde se později stal i profesorem.
* Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Alonzo Churchichž autorem nebo tématem je Alonzo Church
, Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) – amerykański logik i matematyk.
|
| rdfs:label |
Alonzo Church
, Алонзо Черч
, ألونزو تشرتش
, Чёрч, Алонзо
, 알론조 처치
, アロンゾ・チャーチ
, 阿隆佐·邱奇
|
