About DBpedia

About: アロンゾ・チャーチ

An Entity of Type : Scientist, from Named Graph : http://ja.dbpedia.org, within Data Space : ja.dbpedia.org

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

Property Value
dbo:abstract
  • アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。 (ja)
  • アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。 (ja)
dbo:deathDate
  • 1995-08-11 (xsd:date)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 370270 (xsd:integer)
dbo:wikiPageLength
  • 4339 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 84670823 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:almaMater
prop-ja:birthPlace
  • ワシントンD.C. (ja)
  • ワシントンD.C. (ja)
prop-ja:deathDate
  • 1995-08-11 (xsd:date)
prop-ja:deathPlace
  • オハイオ州 (ja)
  • オハイオ州 (ja)
prop-ja:doctoralAdvisor
prop-ja:doctoralStudents
prop-ja:field
prop-ja:knownFor
prop-ja:name
  • Alonzo Church (ja)
  • アロンゾ・チャーチ (ja)
  • Alonzo Church (ja)
  • アロンゾ・チャーチ (ja)
prop-ja:thesisTitle
  • Alternatives to Zermelo's Assumption (ja)
  • Alternatives to Zermelo's Assumption (ja)
prop-ja:thesisUrl
prop-ja:thesisYear
  • 1927 (xsd:integer)
prop-ja:wikiPageUsesTemplate
prop-ja:workInstitution
  • カリフォルニア大学ロサンゼルス校（1967年-1995年） (ja)
  • プリンストン大学（1929年-1967年） (ja)
  • カリフォルニア大学ロサンゼルス校（1967年-1995年） (ja)
  • プリンストン大学（1929年-1967年） (ja)
dct:subject
rdf:type
rdfs:comment
  • アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。 (ja)
  • アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。 (ja)
rdfs:label
  • アロンゾ・チャーチ (ja)
  • アロンゾ・チャーチ (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
foaf:name
  • Alonzo Church (ja)
  • アロンゾ・チャーチ (ja)
  • Alonzo Church (ja)
  • アロンゾ・チャーチ (ja)
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is prop-ja:doctoralAdvisor of
is prop-ja:doctoralStudents of
is owl:sameAs of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License