Alonzo Church

http://dbpedia.org/resource/Alonzo_Church an entity of type: Thing

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. rdf:langString

ألونزو تشرتش (بالإنجليزية: Alonzo Church)‏ (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وايضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا,اطروحة تورنغ-تشرتش , اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير . rdf:langString

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. rdf:langString

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. rdf:langString

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). rdf:langString

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. rdf:langString

アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。 rdf:langString

알론조 처치(영어: Alonzo Church, 1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이다. 전산학의 이론적 기초를 세운 사람 중의 한 명이다. rdf:langString

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. rdf:langString

Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, , Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики. rdf:langString

Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) – amerykański logik i matematyk. rdf:langString

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. rdf:langString

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). rdf:langString

Алонзо Черч (Алонзо Чорч) (англ. Alonzo Church; *14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон (Огайо), США) — видатний американський математик і логік. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики в цілому і мали принципове значення для досліджень з основ математики. Автор тези Черча, , лямбда-оператора та похідних понять. Один із творців теорії обчислюваності. rdf:langString

阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。 rdf:langString

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 Church rdf:langString

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. rdf:langString

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. rdf:langString

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. rdf:langString

rdfs:label

rdf:langString Alonzo Church

rdf:langString ألونزو تشرتش

rdf:langString Alonzo Church

rdf:langString 알론조 처치

rdf:langString Alonzo Church

rdf:langString アロンゾ・チャーチ

rdf:langString Alonzo Church

rdf:langString Чёрч, Алонзо

rdf:langString Alonzo Church

rdf:langString Алонзо Черч

rdf:langString 阿隆佐·邱奇

foaf:name

rdf:langString Alonzo Church

dbpprop:name

rdf:langString Alonzo Church

dbpprop:deathPlace

rdf:langString Hudson, Ohio, US

dbpedia-owl:deathDate

xsd:date 1995-08-11

dbpprop:birthPlace

rdf:langString Washington, D.C., US

dbpedia-owl:birthDate

xsd:date 1903-06-14

dbpedia-owl:wikiPageID

xsd:integer 49731

dbpedia-owl:wikiPageRevisionID

xsd:integer 1124414749

dbpprop:thesisTitle

rdf:langString Alternatives to Zermelo's Assumption

dbpprop:thesisYear

xsd:integer 1927

dbpprop:birthDate

xsd:date 1903-06-14

dbpprop:caption

rdf:langString Alonzo Church

dbpprop:deathDate

xsd:date 1995-08-11

dbpedia-owl:abstract

rdf:langString 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.

rdf:langString ألونزو تشرتش (بالإنجليزية: Alonzo Church)‏ (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وايضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا,اطروحة تورنغ-تشرتش , اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير .

rdf:langString 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 Church

rdf:langString 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.

rdf:langString 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.

rdf:langString 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 .

rdf:langString 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).

rdf:langString 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.

rdf:langString 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.

rdf:langString アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。

rdf:langString 알론조 처치(영어: Alonzo Church, 1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이다. 전산학의 이론적 기초를 세운 사람 중의 한 명이다.

rdf:langString 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.

rdf:langString Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, , Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.

rdf:langString Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) – amerykański logik i matematyk.

rdf:langString 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.

rdf:langString 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).

rdf:langString 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.

rdf:langString Алонзо Черч (Алонзо Чорч) (англ. Alonzo Church; *14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон (Огайо), США) — видатний американський математик і логік. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики в цілому і мали принципове значення для досліджень з основ математики. Автор тези Черча, , лямбда-оператора та похідних понять. Один із творців теорії обчислюваності.

rdf:langString 阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。

dbpprop:doctoralStudents

rdf:langString Alan Turing 1938

rdf:langString Alfred Foster 1930

rdf:langString C. Anthony Anderson 1977

rdf:langString Dana Scott 1958

rdf:langString Gary R. Mar 1985

rdf:langString George Alfred Barnard 1936

rdf:langString Hartley Rogers, Jr 1952

rdf:langString Isaac (Richard) Malitz 1976

rdf:langString J. Barkley Rosser 1934

rdf:langString John George Kemeny 1949

rdf:langString Leon Henkin 1947