Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Church Frege ontology, and the Church-Rosser theorem.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1903-06-14 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:Person/deathDate
  • 1995-11-08 (xsd:date)
dbpedia-owl:Person/deathPlace
dbpedia-owl:Person/individualisedPnd
  • 119430223
dbpedia-owl:Person/residence
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:Scientist/doctoralStudent
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1903-06-14 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:deathDate
  • 1995-11-08 (xsd:date)
dbpedia-owl:deathPlace
dbpedia-owl:doctoralAdvisor
dbpedia-owl:doctoralStudent
dbpedia-owl:residence
dbpprop:abstract
  • Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Church Frege ontology, and the Church-Rosser theorem.
  • Alonzo Church war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik. Er studierte an der Princeton University und schloss dort mit dem Doktorgrad ab. Nach Aufenthalten an der University of Chicago, der Georg-August-Universität Göttingen und der Universität Amsterdam wurde er 1929 in Princeton Professor für Mathematik. Bei seinen mathematisch-logischen Fachkollegen bekannt geworden ist er für seine Entwicklung des Lambda-Kalküls, zu dem er 1936 einen Bericht schrieb, in dem er demonstrierte, dass es unentscheidbare Probleme gibt (d.h. die Antwort auf eine Fragestellung ist nicht mathematisch berechenbar). Dieses Resultat regte seinen Studenten Alan Turing zu Überlegungen zum Halteproblem an, das auch unentscheidbar ist. Church und Turing fanden dann heraus, dass der Lambda-Kalkül und die Turingmaschine ebenbürtig in der Ausdruckskraft sind und konnten noch einige weitere äquivalente Mechanismen zum Berechnen von Funktionen angeben. Eine hieraus abgeleitete These für den intuitiven Berechenbarkeitsbegriff ist unter dem Namen Church-Turing-These bekannt. Weitere bekannte Doktoranden von Church waren beispielsweise Stephen Kleene und Michael O. Rabin. Church blieb Mathematikprofessor in Princeton bis 1967. Danach wechselte er an die University of California, Los Angeles (UCLA). Dort war er Professor für Mathematik und Philosophie. Im Bereich Philosophie ist er durch seine auf hohem Argumentationsniveau verteidigte platonistische Position im modernen Universalienstreit bekannt geworden.
  • Alonzo Church 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 Princestonské 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 Church-Turingově tezi.
  • Alonzo Church, matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en 1927, 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, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, Simon Kochen, Raymond Smullyan y otros. El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.
  • Alonzo Church oli yhdysvaltalainen matemaatikko ja loogikko, joka on teoreettisen tietojenkäsittelytieteen perustajia. Hän valmistui Princetonin yliopistosta vuonna 1924 ja väitteli tohtoriksi vuonna 1927. Tämän jälkeen hän jatkoi opintojaan Göttingenin yliopistossa, sekä opetti Princetonissa (1929–1967) ja Kalifornian yliopistossa Los Angelesissa (1967–1990). Church tunnetaan ennen kaikkea Churchin–Turingin teesistä ja lambdakalkyylin kehittämisestä.
  • Alonzo Church 14 juin 1903 - 11 août 1995 fut un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique. Il est connu principalement pour le développement du lambda-calcul, son application à la notion de fonction récursive, pour la première démonstration de l'existence d'un problème indécidable et pour son rôle dans la création du Journal of Symbolic Logic. Les travaux de son équipe (Church, Kleenne et Rosser) précèdent le travail d'Alan Turing sur le problème de l'arrêt. C'est Church qui le premier a l'idée que l'on peut définir le concept de fonction calculable dans un sens très large, cette idée avait déjà entrevue par Herbrand, mais sa mort prématurée ne lui avait pas permis de la pousser plus loin. Church en a eu l'idée par le lambda-calcul. Church démontre en 1936 l'existence d'un problème insoluble par des moyens mécaniques. Kleene démontre que le lambda-calcul de Church, les fonctions générales récursives (modèle dit de Herbrand- Gödel) et les machines de Turing ont des capacités équivalentes. L'équivalence démontrée ensuite qu'un certain nombre de formalisations mathématiques de la notion de traitement par des processus mécaniques ont des aptitudes en tous points semblables confirme l'intuition de Church. Cette constatation aboutit à la thèse de Church (appelée aussi thèse de thèse de Church-Turing). Elle s'appelle « thèse »parce qu'il s'agit d'un résultat qui ne peut pas être prouvé, car il affirme l'équivalence entre un concept intuitif, à savoir les fonctions mécaniquement calculables, et un concept formel, à savoir, les diverses définitions des fonctions récursives. Elle s'appelle la « thèse de Church » puisque c'est lui qui en a eu le premier l'idée. Elle s'appelle la « thèse de Church-Turing » puisque les machines de Turing donnent une véritable idée de ce que « mécanique » veut dire. Parmi ses étudiants à Princeton, il eut des logiciens devenus célèbres, à savoir C. Anthony Anderson, Peter Andrews, Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene, Michael O. Rabin, Hartley Rogers, Jr, J. Barkley Rosser, Dana Scott, Raymond Smullyan et Alan Turing. See . Ses travaux influencèrent les langages de programmation fonctionnelle.
  • Alonzo Church amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak. Washingtonban, az Amerikai Egyesült Államok fővárosában született. A Princetonon szerzett BS fokozatot és itt is doktorált 1927-ben, Oscar Veblen tanítványként. Göttingenben folytatta posztdoktorális tanulmányait, majd a Princeton (1929–1967) és a UCLA-n tanított és kutatott (1967–1990).
  • アロンゾ・チャーチ（Alonzo Church, 1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。
  • Alonzo Church was een Amerikaans wiskundige en logicus. Tot zijn verdiensten behoren een aantal van de meest fundamentele onderdelen van de theoretische informatica.
  • Alonzo Church – amerykański logik i matematyk. Studiował w Princeton. Po studiach rok pracował na Uniwersytecie Harvarda, potem pół roku w Getyndze i pół roku w Amsterdamie, gdzie współpracował z Brouwerem. Po powrocie do Stanów objął stanowisko profesora matematyki w Princeton, które zajmował do roku 1967, gdy przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii. Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę. W roku 1930 stworzył tzw. rachunek lambda, który jest niezwykle potężnym narzędziem badawczym. Słynnym osiągnięciem Churcha jest twierdzenie o nierozstrzygalności pełnego rachunku predykatów . Twierdzenie to uogólnia prace Gödla. Alonso Church założył w 1936 roku Journal of Symbolic Logic i redagował to pismo do roku 1979. Napisał w 1956 ważną książkę Introduction to Mathematical Logic. Wypromował 31 studentów; był wśród nich Alan Turing.
  • Alonzo Church foi um matemático norte-americano que 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).
  • Алонзо Чёрч — американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и кандидатскую в 1927 под руководством Освальда Веблена. Чёрч стал профессором математики в Принстоне в 1929 году. Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач». Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга. Чёрч оставался профессором математики в Принстоне до 1967 года, после чего он переехал в Калифорнию. Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп.
  • Alonzo Church, född 14 juni 1903 i Washington, D.C. , död 11 augusti 1995, var en amerikansk matematiker och logiker, som gjorde några 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 Oswald Veblen. Under åren 1937–38 hade han Alan Turing som doktorand. Alonzo Church är främst känd för Churchs teorem, som innebär att första ordningens predikatlogik är oavgörbar, och för att ha skapat lambdakalkylen.
  • Alonzo Church, teorik bilgisayar bilimine büyük katkıları olan ABD'li matematikçi ve mantıkçıdır. Özellikle lambda yüksek matematiği (calculus) yaratmasıyla tanınır.
  • Алонзо Черч (Алонзо Чорч) — видатний американський математик і логік. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики вцілому і мали принципове значення для досліджень з основ математики. Автор тези Черча, теореми Черча, лямбда-оператора та похідних понять. Один із творців теорії обчислюваності. Алонзо Черч народився у Вашингтоні (Округ Колумбія). Навчався в Принстонському університеті, де в 1924 році одержав ступінь бакалавра. Там само в 1927 під керівництвом Освальда Веблена захистив докторську дисертацію. У 1929 році став професором математики в Принстоні, де пропрацював до 1967 року. У 1967–1990 роках викладав у Каліфорнійському університеті в Лос-Анжелесі. Помер у 1995 році; похований у Принстоні.
  • 阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇从英国数学家阿兰·图灵的论文出发证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。
dbpprop:almaMater
dbpprop:birthDate
dbpprop:birthPlace
dbpprop:caption
  • Alonzo Church (1903–1995)
dbpprop:date
  • March 2007
dbpprop:deathDate
dbpprop:deathPlace
dbpprop:doctoralAdvisor
dbpprop:doctoralStudents
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:name
  • Alonzo Church
dbpprop:nationality
  • American
dbpprop:otheruses4Property
  • Alonzo S. Church
  • the mathematician and logician
  • the president of the University of Georgia
dbpprop:reference
dbpprop:residence
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitution
rdf:type
rdfs:comment
  • Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Church Frege ontology, and the Church-Rosser theorem.
  • Alonzo Church war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik. Er studierte an der Princeton University und schloss dort mit dem Doktorgrad ab. Nach Aufenthalten an der University of Chicago, der Georg-August-Universität Göttingen und der Universität Amsterdam wurde er 1929 in Princeton Professor für Mathematik.
  • Alonzo Church 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 Princestonské 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í.
  • Alonzo Church, matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en 1927, 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.
  • Alonzo Church oli yhdysvaltalainen matemaatikko ja loogikko, joka on teoreettisen tietojenkäsittelytieteen perustajia. Hän valmistui Princetonin yliopistosta vuonna 1924 ja väitteli tohtoriksi vuonna 1927. Tämän jälkeen hän jatkoi opintojaan Göttingenin yliopistossa, sekä opetti Princetonissa (1929–1967) ja Kalifornian yliopistossa Los Angelesissa (1967–1990). Church tunnetaan ennen kaikkea Churchin–Turingin teesistä ja lambdakalkyylin kehittämisestä.
  • Alonzo Church 14 juin 1903 - 11 août 1995 fut un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique. Il est connu principalement pour le développement du lambda-calcul, son application à la notion de fonction récursive, pour la première démonstration de l'existence d'un problème indécidable et pour son rôle dans la création du Journal of Symbolic Logic.
  • Alonzo Church amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak. Washingtonban, az Amerikai Egyesült Államok fővárosában született. A Princetonon szerzett BS fokozatot és itt is doktorált 1927-ben, Oscar Veblen tanítványként. Göttingenben folytatta posztdoktorális tanulmányait, majd a Princeton (1929–1967) és a UCLA-n tanított és kutatott (1967–1990).
  • アロンゾ・チャーチ（Alonzo Church, 1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。
  • Alonzo Church was een Amerikaans wiskundige en logicus. Tot zijn verdiensten behoren een aantal van de meest fundamentele onderdelen van de theoretische informatica.
  • Alonzo Church – amerykański logik i matematyk. Studiował w Princeton. Po studiach rok pracował na Uniwersytecie Harvarda, potem pół roku w Getyndze i pół roku w Amsterdamie, gdzie współpracował z Brouwerem. Po powrocie do Stanów objął stanowisko profesora matematyki w Princeton, które zajmował do roku 1967, gdy przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii. Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę.
  • Alonzo Church foi um matemático norte-americano que 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).
  • Алонзо Чёрч — американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и кандидатскую в 1927 под руководством Освальда Веблена. Чёрч стал профессором математики в Принстоне в 1929 году.
  • Alonzo Church, född 14 juni 1903 i Washington, D.C. , död 11 augusti 1995, var en amerikansk matematiker och logiker, som gjorde några 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 Oswald Veblen. Under åren 1937–38 hade han Alan Turing som doktorand.
  • Alonzo Church, teorik bilgisayar bilimine büyük katkıları olan ABD'li matematikçi ve mantıkçıdır. Özellikle lambda yüksek matematiği (calculus) yaratmasıyla tanınır.
  • Алонзо Черч (Алонзо Чорч) — видатний американський математик і логік.
rdfs:label
  • Alonzo Church
  • Alonzo Church
  • Alonzo Church
  • Alonzo Church
  • Alonzo Church
  • Alonzo Church
  • Alonzo Church
  • Alonzo Church
  • アロンゾ・チャーチ
  • Alonzo Church
  • Alonzo Church
  • Alonzo Church
  • Чёрч, Алонзо
  • Alonzo Church
  • Alonzo Church
  • Алонзо Черч
  • 阿隆佐·邱奇
owl:sameAs
skos:subject
foaf:name
  • Alonzo Church
foaf:page
is dbpedia-owl:Person/influencedBy of
is dbpedia-owl:Scientist/doctoralAdvisor of
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralAdvisor of
is dbpedia-owl:doctoralStudent of
is dbpedia-owl:influencedBy of
is dbpprop:disambiguates of
is dbpprop:doctoralAdvisor of
is dbpprop:doctoralStudents of
is dbpprop:influences of
is dbpprop:redirect of
is owl:sameAs of