Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) fut un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.

PropertyValue
dbpedia-owl:abstract
  • Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) fut un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
  • Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson w stanie Ohio w USA) – amerykański logik i matematyk.Studiował w Princeton (magisterium 1924, doktorat z wyróżnieniem 1927). 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 (w roku 1929), 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 (1936) o nierozstrzygalności pełnego rachunku predykatów (w: An unsolvable problem in elementary number theory, American Journal of Mathematics 58 (1936), 345-363). Twierdzenie to uogólnia prace Gödla.Alonzo 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; 14 июня 1903, Вашингтон, США — 11 августа 1995, Хадсон, Огайо, США) — выдающийся американский математик и логик, внесший значительный вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и кандидатскую в 1927 под руководством Освальда Веблена. Чёрч стал профессором математики в Принстоне в 1929 году.Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач». Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга.Чёрч оставался профессором математики в Принстоне до 1967 года, после чего он переехал в Калифорнию. Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например, Scheme).
  • 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.
  • Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), 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 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, 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, 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) е американски математик и логик, който има съществен принос към математическата логика и основите на теоретичната информатика. Той е най-известен със своя Тезис на Чърч, ламбда смятане и с други свои открития.
  • Alonzo Church (Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) 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 Princetoni Egyetemen szerzett B.Sc (Batchelor of Sciences) fokozatot és itt is doktorált (Ph.D) 1927-ben, Oscar Veblen tanítványként. A disszertájiójának címe: Alternatives to Zermelo's Assumption. Göttingenben folytatta posztdoktorális tanulmányait, majd a Princetonon (1929–1967) és a University of California, Los Angelesen tanított és kutatott (1967–1990).
  • 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).
  • 알론조 처치(영어: Alonzo Church, 1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이다. 전산학의 이론적 기초를 세운 사람 중의 한 명이다.
  • Alonzo Church (Washington Hiria, 1903 - Hudson, 1995) 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).
  • 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 databázi Národní knihovny ČR, jejichž autorem nebo tématem je Alonzo Church
  • 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.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 in einem 1936 (Satz von Church-Rosser) veröffentlichten 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 platonische Position im modernen Universalienstreit bekannt geworden.1962 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Stockholm (Logic, Arithmetic and Automata).
  • 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.
  • Alonzo Church (June 14, 1903 – August 11, 1995) 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, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.
dbpedia-owl:birthDate
  • 1903-06-14 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:birthYear
  • 1903-01-01 (xsd:date)
dbpedia-owl:bnfId
  • 14575590d
dbpedia-owl:deathDate
  • 1995-08-11 (xsd:date)
dbpedia-owl:deathPlace
dbpedia-owl:deathYear
  • 1995-01-01 (xsd:date)
dbpedia-owl:domain
dbpedia-owl:institution
dbpedia-owl:knownFor
dbpedia-owl:nationality
dbpedia-owl:sudocId
  • 060369604
dbpedia-owl:thumbnail
dbpedia-owl:university
dbpedia-owl:viafId
  • 109830754
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 59909 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 6805 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 53 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 106512688 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:bnf
  • 1.457559E7
prop-fr:champs
prop-fr:dateDeDécès
  • 1995-08-11 (xsd:date)
prop-fr:dateDeNaissance
  • 1903-06-14 (xsd:date)
prop-fr:diplôme
prop-fr:institutions
prop-fr:lieuDeDécès
prop-fr:lieuDeNaissance
prop-fr:nom
  • Alonzo Church
prop-fr:paysDeDécès
prop-fr:paysDeNaissance
prop-fr:renomméPour
prop-fr:sudoc
  • 60369604 (xsd:integer)
prop-fr:texte
  • C. Anthony Anderson
  • Hartley Rogers, Jr
  • Leon Henkin
prop-fr:trad
  • C._Anthony_Anderson
  • Hartley_Rogers,_Jr.
  • Leon Henkin
prop-fr:type
  • personne
prop-fr:viaf
  • 109830754 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:worldcatid
  • lccn-n-83-152979
dcterms:subject
rdf:type
rdfs:comment
  • Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) fut un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
  • 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.
  • アロンゾ・チャーチ(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) е американски математик и логик, който има съществен принос към математическата логика и основите на теоретичната информатика. Той е най-известен със своя Тезис на Чърч, ламбда смятане и с други свои открития.
  • 알론조 처치(영어: Alonzo Church, 1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이다. 전산학의 이론적 기초를 세운 사람 중의 한 명이다.
  • 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.
  • Alonzo Church (June 14, 1903 – August 11, 1995) 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, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.
  • 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.
  • Alonzo Church (Washington Hiria, 1903 - Hudson, 1995) 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.
  • Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson w stanie Ohio w USA) – amerykański logik i matematyk.Studiował w Princeton (magisterium 1924, doktorat z wyróżnieniem 1927). Po studiach rok pracował na Uniwersytecie Harvarda, potem pół roku w Getyndze i pół roku w Amsterdamie, gdzie współpracował z Brouwerem.
  • 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í.
  • Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США — 11 августа 1995, Хадсон, Огайо, США) — выдающийся американский математик и логик, внесший значительный вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и кандидатскую в 1927 под руководством Освальда Веблена.
  • Alonzo Church (Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) 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 Princetoni Egyetemen szerzett B.Sc (Batchelor of Sciences) fokozatot és itt is doktorált (Ph.D) 1927-ben, Oscar Veblen tanítványként. A disszertájiójának címe: Alternatives to Zermelo's Assumption.
  • Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), 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 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.
  • 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.Er studierte an der Princeton University und schloss dort mit dem Doktorgrad ab.
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
  • Алонсо Чърч
  • Чёрч, Алонзо
  • アロンゾ・チャーチ
  • 알론조 처치
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Alonzo Church
is dbpedia-owl:influencedBy of
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageWikiLink of
is prop-fr:directeurThèse of
is foaf:primaryTopic of