| dbo:abstract |
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. (fr) |
| dbo:almaMater |
dbpedia-fr:Université_Harvard dbpedia-fr:Université_d'Amsterdam dbpedia-fr:Université_de_Göttingen dbpedia-fr:Université_de_Princeton |
| dbo:birthDate |
1903-06-14 (xsd:date) |
| dbo:birthPlace |
dbpedia-fr:Washington_(district_de_Columbia) dbpedia-fr:États-Unis |
| dbo:birthYear |
1903-01-01 (xsd:gYear) |
| dbo:citizenship |
dbpedia-fr:États-Unis |
| dbo:deathDate |
1995-08-11 (xsd:date) |
| dbo:deathPlace |
dbpedia-fr:Hudson_(Ohio) |
| dbo:deathYear |
1995-01-01 (xsd:gYear) |
| dbo:discipline |
dbpedia-fr:Informatique_théorique dbpedia-fr:Logique dbpedia-fr:Logique_mathématique dbpedia-fr:Mathématiques |
| dbo:doctoralAdvisor |
dbpedia-fr:Oswald_Veblen |
| dbo:doctoralStudent |
dbpedia-fr:Alan_Turing dbpedia-fr:Dana_S._Scott dbpedia-fr:David_Kaplan dbpedia-fr:John_Barkley_Rosser dbpedia-fr:John_George_Kemeny dbpedia-fr:Nathan_Salmon dbpedia-fr:Nicholas_Rescher dbpedia-fr:Raymond_Smullyan dbpedia-fr:Simon_Kochen dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:William_Boone dbpedia-fr:Martin_Davis dbpedia-fr:Maurice_L'Abbé dbpedia-fr:Michael_Rabin wikidata:Q102078191 wikidata:Q102116367 wikidata:Q102122625 wikidata:Q102156723 wikidata:Q102156725 wikidata:Q102156726 wikidata:Q102156728 wikidata:Q102156730 wikidata:Q102156732 wikidata:Q102156919 wikidata:Q102250000 wikidata:Q15453162 wikidata:Q17748093 wikidata:Q23431 wikidata:Q5525794 wikidata:Q6076737 wikidata:Q7052780 wikidata:Q7172598 wikidata:Q95303483 wikidata:Q111637 wikidata:Q22696509 wikidata:Q5536172 wikidata:Q5674941 |
| dbo:domain |
dbpedia-fr:Logique dbpedia-fr:Mathématiques |
| dbo:employer |
dbpedia-fr:Université_de_Californie_à_Los_Angeles dbpedia-fr:Université_de_Princeton |
| dbo:influenced |
dbpedia-fr:Alan_Turing dbpedia-fr:Dana_S._Scott dbpedia-fr:David_Kaplan dbpedia-fr:John_Barkley_Rosser dbpedia-fr:John_George_Kemeny dbpedia-fr:Raymond_Smullyan dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Martin_Davis dbpedia-fr:Michael_Rabin |
| dbo:influencedBy |
dbpedia-fr:Oswald_Veblen |
| dbo:institution |
dbpedia-fr:Université_de_Californie_à_Los_Angeles dbpedia-fr:Université_de_Princeton |
| dbo:knownFor |
dbpedia-fr:Lambda-calcul dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Thèse_de_Church |
| dbo:nationality |
dbpedia-fr:États-Unis |
| dbo:occupation |
dbpedia-fr:Informaticien dbpedia-fr:Philosophe dbpedia-fr:Mathématicien wikidata:Q1622272 |
| dbo:placeOfBurial |
wikidata:Q7244940 |
| dbo:religion |
dbpedia-fr:Presbytérianisme |
| dbo:university |
dbpedia-fr:Université_de_Princeton |
| dbo:wikiPageExternalLink |
http://libweb.princeton.edu/libraries/firestone/rbsc/finding_aids/mathoral/pmc05.htm%7Ctitre=Un |
| dbo:wikiPageID |
59909 (xsd:integer) |
| dbo:wikiPageLength |
16478 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
190224188 (xsd:integer) |
| dbo:wikiPageWikiLink |
category-fr:Précurseur_de_l'informatique dbpedia-fr:Académie_nationale_des_sciences dbpedia-fr:Alan_Turing dbpedia-fr:Alma_mater dbpedia-fr:Alton_Railroad dbpedia-fr:Association_for_Symbolic_Logic dbpedia-fr:Axiome_du_choix category-fr:Docteur_honoris_causa_de_l'université_de_Princeton category-fr:Décès_dans_le_comté_de_Summit_(Ohio) category-fr:Décès_en_août_1995 category-fr:Décès_à_92_ans category-fr:Logicien_américain category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_en_juin_1903 category-fr:Naissance_à_Washington_(district_de_Columbia) category-fr:Personnalité_américaine_en_informatique category-fr:Personnalité_en_informatique_théorique category-fr:Personnalité_en_théorie_de_la_calculabilité category-fr:Étudiant_de_l'université_de_Princeton dbpedia-fr:Connecticut dbpedia-fr:Cour_de_district_des_États-Unis dbpedia-fr:Dana_S._Scott dbpedia-fr:David_Hilbert dbpedia-fr:David_Kaplan dbpedia-fr:Doctorat_honoris_causa dbpedia-fr:Ernst_Zermelo dbpedia-fr:Fonction_récursive dbpedia-fr:Hudson_(Ohio) dbpedia-fr:Informatique_théorique dbpedia-fr:Institute_for_Advanced_Study dbpedia-fr:Jacques_Herbrand dbpedia-fr:John_Barkley_Rosser dbpedia-fr:John_George_Kemeny dbpedia-fr:John_von_Neumann dbpedia-fr:Journal_of_Symbolic_Logic dbpedia-fr:Kurt_Gödel dbpedia-fr:Lambda-calcul dbpedia-fr:Logique dbpedia-fr:Luitzen_Egbertus_Jan_Brouwer dbpedia-fr:Machine_de_Turing dbpedia-fr:New_Jersey dbpedia-fr:Newark_(New_Jersey) dbpedia-fr:Oswald_Veblen dbpedia-fr:Paul_Bernays dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Problème_de_la_décision dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Raymond_Smullyan dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Sénat_des_États-Unis dbpedia-fr:Thèse_de_Church dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Université_Harvard dbpedia-fr:Université_d'Amsterdam dbpedia-fr:Université_de_Californie_à_Los_Angeles dbpedia-fr:Université_de_Chicago dbpedia-fr:Université_de_Géorgie dbpedia-fr:Université_de_Göttingen dbpedia-fr:Université_de_Princeton dbpedia-fr:Washington_(district_de_Columbia) dbpedia-fr:États-Unis dbpedia-fr:Martin_Davis dbpedia-fr:Mathématicien dbpedia-fr:Mathématiques dbpedia-fr:Maurice_L'Abbé dbpedia-fr:Michael_Rabin dbpedia-fr:Wikt:_compendium |
| prop-fr:champs |
dbpedia-fr:Logique dbpedia-fr:Mathématiques |
| prop-fr:consultéLe |
2017-08-05 (xsd:date) |
| prop-fr:dateDeDécès |
1995-08-11 (xsd:date) |
| prop-fr:dateDeNaissance |
1903-06-14 (xsd:date) |
| prop-fr:diplôme |
dbpedia-fr:Université_de_Princeton |
| prop-fr:directeurThèse |
dbpedia-fr:Oswald_Veblen |
| prop-fr:fr |
Alonzo S. Church (fr) C._Anthony_Anderson (fr) Hartley_Rogers,_Jr. (fr) Leon Henkin (fr) Peter_B._Andrews (fr) William Craig (fr) |
| prop-fr:institutions |
dbpedia-fr:Université_de_Californie_à_Los_Angeles dbpedia-fr:Université_de_Princeton |
| prop-fr:langue |
en (fr) |
| prop-fr:lieuDeDécès |
dbpedia-fr:Hudson_(Ohio) |
| prop-fr:lieuDeNaissance |
dbpedia-fr:Washington_(district_de_Columbia) |
| prop-fr:nom |
Alonzo Church (fr) |
| prop-fr:paysDeDécès |
dbpedia-fr:États-Unis |
| prop-fr:paysDeNaissance |
dbpedia-fr:États-Unis |
| prop-fr:renomméPour |
dbpedia-fr:Lambda-calcul dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Thèse_de_Church |
| prop-fr:texte |
C. Anthony Anderson (fr) Hartley Rogers, Jr (fr) Leon Henkin (fr) Peter Andrews (fr) William Craig (fr) |
| prop-fr:trad |
C._Anthony_Anderson (fr) Hartley_Rogers,_Jr. (fr) Leon Henkin (fr) Peter_B._Andrews (fr) William Craig (fr) |
| prop-fr:url |
http://libweb.princeton.edu/libraries/firestone/rbsc/finding\_aids/mathoral/pmc05.htm|titre=Un entretien avec Church sur sa période à Princeton (fr) |
| prop-fr:wikiPageUsesTemplate |
dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:Date_de_décès dbpedia-fr:Modèle:Date_de_naissance dbpedia-fr:Modèle:Date_de_naissance- dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Lien_brisé dbpedia-fr:Modèle:Numéro dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Voir_homonymes dbpedia-fr:Modèle:Drapeau2 dbpedia-fr:Modèle:Infobox_Scientifique |
| prop-fr:étudiantsThèse |
dbpedia-fr:Alan_Turing dbpedia-fr:Dana_S._Scott dbpedia-fr:David_Kaplan dbpedia-fr:John_Barkley_Rosser dbpedia-fr:John_George_Kemeny dbpedia-fr:Raymond_Smullyan dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Martin_Davis dbpedia-fr:Michael_Rabin |
| dct:subject |
category-fr:Précurseur_de_l'informatique category-fr:Docteur_honoris_causa_de_l'université_de_Princeton category-fr:Décès_dans_le_comté_de_Summit_(Ohio) category-fr:Décès_en_août_1995 category-fr:Décès_à_92_ans category-fr:Logicien_américain category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_en_juin_1903 category-fr:Naissance_à_Washington_(district_de_Columbia) category-fr:Personnalité_américaine_en_informatique category-fr:Personnalité_en_informatique_théorique category-fr:Personnalité_en_théorie_de_la_calculabilité category-fr:Étudiant_de_l'université_de_Princeton |
| rdf:type |
owl:Thing foaf:Person dbo:Person dbo:Scientist schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dul:NaturalPerson dbo:Animal dbo:Eukaryote dbo:Species |
| rdfs:comment |
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. (fr) |
| rdfs:label |
Alonzo Church (fr) Alonzo Church (ca) Alonzo Church (de) Alonzo Church (en) Alonzo Church (eu) Alonzo Church (it) Alonzo Church (pl) Alonzo Church (sv) Алонзо Черч (uk) Чёрч, Алонзо (ru) الونزو تشرتش (arz) アロンゾ・チャーチ (ja) |
| rdfs:seeAlso |
http://data.rero.ch/02-A003106319 http://ci.nii.ac.jp/author/DA02597673 http://isni.org/isni/0000_0001_1003_8502 http://nla.gov.au/anbd.aut-an50043018 http://nla.gov.au/nla.party-1522538 http://www.findagrave.com/cgi-bin/fg.cgi?page=gr&GRid=7076221 http://www.nndb.com/people/150/000202541/ http://www.universalis.fr/encyclopedie/alonzo-church https://dl.acm.org/author_page.cfm?id=81309513577 https://ncatlab.org/nlab/show/Alonzo_Church https://www.britannica.com/biography/Alonzo-Church https://www.geni.com/people/6000000056870031867 https://zbmath.org/authors/?q=ai:church.alonzo http://genealogy.math.ndsu.nodak.edu/id.php?id=8011 https://bigenc.ru/text/4684030 https://snl.no/Alonzo_Church http://www.bib.ub.edu/fileadmin/autoritats/permanent/a1042152 https://www.quora.com/topic/Alonzo-Church http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Church.html http://prabook.com/web/person-view.html?profileId=1120645 https://www.ne.se/uppslagsverk/encyklopedi/lång/alonzo-church https://inpho.cogs.indiana.edu/idea/thinker/2811.html http://snaccooperative.org/ark:/99166/w6320nsm http://academictree.org/chemistry/peopleinfo.php?pid=12377 http://aut.nkp.cz/mzk2006354081 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=45761 http://katalog.nsk.hr/F/?func=direct&doc_number=000280583&local_base=nsk10 http://mak.bn.org.pl/cgi-bin/KHW/makwww.exe?BM=01&IM=04&NU=01&WI=A31119220 http://www.cobiss.si/scripts/cobiss?command=DISPLAY&base=CONOR&rid=198977379 https://familysearch.org/tree/#view=ancestor§ion=details&person=MWRT-F43 |
| owl:sameAs |
dbr:Alonzo_Church wikidata:Q92741 dbpedia-ar:ألونزو_تشرتش http://arz.dbpedia.org/resource/الونزو_تشرتش dbpedia-az:Alonzo_Çörç dbpedia-be:Алонза_Чорч dbpedia-bg:Алонсо_Чърч http://bn.dbpedia.org/resource/আলোন্জো_চার্চ dbpedia-ca:Alonzo_Church http://ckb.dbpedia.org/resource/ئەلۆنزۆ_چێرچ dbpedia-cs:Alonzo_Church dbpedia-da:Alonzo_Church dbpedia-de:Alonzo_Church dbpedia-eo:Alonzo_Church dbpedia-es:Alonzo_Church dbpedia-et:Alonzo_Church dbpedia-eu:Alonzo_Church dbpedia-fa:آلونزو_چرچ dbpedia-fi:Alonzo_Church dbpedia-gl:Alonzo_Church dbpedia-he:אלונזו_צ'רץ' dbpedia-hr:Alonzo_Church http://ht.dbpedia.org/resource/Alonzo_Church dbpedia-hu:Alonzo_Church http://hy.dbpedia.org/resource/Ալոնզո_Չըրչ dbpedia-it:Alonzo_Church dbpedia-ja:アロンゾ・チャーチ dbpedia-ko:알론조_처치 dbpedia-la:Alonzus_Church dbpedia-mk:Алонзо_Черч http://ml.dbpedia.org/resource/അലോൺസോ_ചർച്ച് dbpedia-nl:Alonzo_Church dbpedia-nn:Alonzo_Church dbpedia-pl:Alonzo_Church dbpedia-pt:Alonzo_Church dbpedia-ro:Alonzo_Church dbpedia-ru:Чёрч,_Алонзо dbpedia-simple:Alonzo_Church dbpedia-sk:Alonzo_Church dbpedia-sl:Alonzo_Church dbpedia-sr:Алонзо_Черч dbpedia-sv:Alonzo_Church dbpedia-th:อลอนโซ_เชิร์ช http://tl.dbpedia.org/resource/Alonzo_Church dbpedia-tr:Alonzo_Church dbpedia-uk:Алонзо_Черч dbpedia-zh:阿隆佐·邱奇 http://azb.dbpedia.org/resource/آلونزو_چرچ http://data.bnf.fr/ark:/12148/cb14575590d#about http://www.idref.fr/060369604/id http://viaf.org/viaf/109830754 http://openlibrary.org/works/OL118074A https://d-nb.info/gnd/119430223 https://dblp.org/pid/96/6427 http://libris.kb.se/resource/auth/301551 https://id.loc.gov/authorities/names/n83152979 http://g.co/kg/m/0d6m5 https://libris.kb.se/53hlqvqp4c3jtfx http://catalogo.pusc.it/auth/16191 http://id.worldcat.org/fast/1458233 https://data.bibliotheken.nl/doc/thes/p067508219 https://livedata.bibsys.no/authority/90724263 http://data.persee.fr/person/167042 |
| prov:wasDerivedFrom |
wikipedia-fr:Alonzo_Church?oldid=190224188&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-fr:Alonzo_Church |
| foaf:name |
(fr) Alonzo Church (fr) |
| is dbo:discoverer of |
dbpedia-fr:Lambda-calcul |
| is dbo:doctoralAdvisor of |
dbpedia-fr:Alan_Turing dbpedia-fr:Dana_S._Scott dbpedia-fr:David_Kaplan dbpedia-fr:John_Barkley_Rosser dbpedia-fr:John_George_Kemeny dbpedia-fr:Nathan_Salmon dbpedia-fr:Nicholas_Rescher dbpedia-fr:Raymond_Smullyan dbpedia-fr:Simon_Kochen dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:William_Boone dbpedia-fr:Martin_Davis dbpedia-fr:Maurice_L'Abbé dbpedia-fr:Michael_Rabin |
| is dbo:doctoralStudent of |
dbpedia-fr:Oswald_Veblen |
| is dbo:influencedBy of |
dbpedia-fr:Dana_S._Scott dbpedia-fr:John_Barkley_Rosser dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Martin_Davis |
| is dbo:namedAfter of |
dbpedia-fr:Confluence_(informatique) dbpedia-fr:Principe_de_Church-Turing-Deutsch dbpedia-fr:Prix_Alonzo-Church dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Thèse_de_Church |
| is dbo:wikiPageDisambiguates of |
dbpedia-fr:Church |
| is dbo:wikiPageWikiLink of |
dbpedia-fr:1903_en_science dbpedia-fr:1995_en_science dbpedia-fr:Alan_Turing dbpedia-fr:Alfred_North_Whitehead dbpedia-fr:Analyse_statique_de_programmes dbpedia-fr:Association_for_Symbolic_Logic dbpedia-fr:Barre_de_Sheffer dbpedia-fr:Calculus_ratiocinator dbpedia-fr:Chimie_artificielle dbpedia-fr:Chronologie_de_l'informatique dbpedia-fr:Church dbpedia-fr:Corrado_Böhm dbpedia-fr:Dana_S._Scott dbpedia-fr:David_Hilbert dbpedia-fr:David_Kaplan dbpedia-fr:Disjonction_conditionnée dbpedia-fr:Décidabilité dbpedia-fr:Déduction_logique dbpedia-fr:Evert_Willem_Beth dbpedia-fr:Fondements_des_mathématiques dbpedia-fr:Histoire_de_l'intelligence_artificielle dbpedia-fr:Histoire_des_mathématiques dbpedia-fr:Histoire_des_ordinateurs dbpedia-fr:Informatique_théorique dbpedia-fr:Intelligence_artificielle dbpedia-fr:John_Barkley_Rosser dbpedia-fr:John_George_Kemeny dbpedia-fr:Kurt_Gödel dbpedia-fr:Lambda-calcul dbpedia-fr:Langage_congruentiel dbpedia-fr:Langage_de_programmation dbpedia-fr:Leon_Chwistek dbpedia-fr:Lillian_Rosanoff_Lieber dbpedia-fr:Liste_d'informaticiens_et_précurseurs_de_l'informatique dbpedia-fr:Liste_de_systèmes_logiques dbpedia-fr:Liste_des_conférences_plénières_des_congrès_internationaux_des_mathématiciens dbpedia-fr:Liste_des_orateurs_du_Congrès_international_des_mathématiciens dbpedia-fr:Logique_mathématique dbpedia-fr:Machine_de_Turing_universelle dbpedia-fr:Métaphysique_analytique dbpedia-fr:Nathan_Salmon dbpedia-fr:Ordinateur dbpedia-fr:Oswald_Veblen dbpedia-fr:Prix_Alonzo-Church dbpedia-fr:Problème_P_≟_NP dbpedia-fr:Problème_de_la_décision dbpedia-fr:Problèmes_de_Hilbert dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Psychologie dbpedia-fr:Raymond_Smullyan dbpedia-fr:Simon_Kochen dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Suite_aléatoire dbpedia-fr:Thèse_de_Church dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_des_types dbpedia-fr:Théorème_de_Herbrand dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Turing-complet dbpedia-fr:Université_de_Princeton dbpedia-fr:William_Boone dbpedia-fr:Martin_Davis dbpedia-fr:Maurice_L'Abbé dbpedia-fr:Minimalisme_(informatique) |
| is prop-fr:auteur of |
dbpedia-fr:Alfred_North_Whitehead |
| is prop-fr:directeurThèse of |
dbpedia-fr:Dana_S._Scott dbpedia-fr:John_Barkley_Rosser dbpedia-fr:Raymond_Smullyan dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Martin_Davis |
| is oa:hasTarget of |
tag-fr:SvFrResource tag-fr:UkFrResource tag-fr:DeFrResource tag-fr:ArzFrResource tag-fr:CaFrResource tag-fr:JaFrResource tag-fr:RuFrResource tag-fr:EnFrResource tag-fr:ItFrResource tag-fr:PlFrResource tag-fr:EuFrResource tag-fr:WdtFrResource |
| is foaf:primaryTopic of |
wikipedia-fr:Alonzo_Church |