竹内 外史(たけうち がいし、1926年1月25日 - 2017年5月10日)は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。イリノイ大学名誉教授。 解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57年(1982年)朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、の無矛盾性の証明を試みる。

Property Value
dbo:abstract
  • 竹内 外史(たけうち がいし、1926年1月25日 - 2017年5月10日)は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。イリノイ大学名誉教授。 解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57年(1982年)朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、の無矛盾性の証明を試みる。 (ja)
  • 竹内 外史(たけうち がいし、1926年1月25日 - 2017年5月10日)は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。イリノイ大学名誉教授。 解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57年(1982年)朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、の無矛盾性の証明を試みる。 (ja)
dbo:affiliation
dbo:almaMater
dbo:award
dbo:birthPlace
dbo:deathDate
  • 2017-05-10 (xsd:date)
dbo:field
dbo:nationality
dbo:wikiPageID
  • 304526 (xsd:integer)
dbo:wikiPageLength
  • 4012 (xsd:nonNegativeInteger)
  • 4046 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 79725899 (xsd:integer)
  • 85897282 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:almaMater
prop-ja:birthDate
  • --01-25
prop-ja:birthPlace
  • 、石川県 (ja)
  • 、石川県 (ja)
prop-ja:deathDate
  • 2017-05-10 (xsd:date)
prop-ja:field
  • 数学論理学 (ja)
  • 数学論理学 (ja)
prop-ja:name
  • 竹内 外史 (ja)
  • (たけうち がいし) (ja)
  • 竹内 外史 (ja)
  • (たけうち がいし) (ja)
prop-ja:prizes
prop-ja:wikiPageUsesTemplate
prop-ja:workInstitution
dct:subject
rdf:type
rdfs:comment
  • 竹内 外史(たけうち がいし、1926年1月25日 - 2017年5月10日)は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。イリノイ大学名誉教授。 解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57年(1982年)朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、の無矛盾性の証明を試みる。 (ja)
  • 竹内 外史(たけうち がいし、1926年1月25日 - 2017年5月10日)は、日本の数学者、論理学者。専門は数学基礎論(数理論理学、公理的集合論、証明論など)。イリノイ大学名誉教授。 解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。昭和57年(1982年)朝日賞(昭和56年度)受賞。主な著作に「集合とはなにか」「現代集合論入門」「証明論と計算量」「層・圏・トポス」など。1966年以来、長くイリノイ大学で教鞭を執っていた。その間、の無矛盾性の証明を試みる。 (ja)
rdfs:label
  • 竹内外史 (ja)
  • 竹内外史 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
foaf:name
  • 竹内 外史 (ja)
  • (たけうち がいし) (ja)
  • 竹内 外史 (ja)
  • (たけうち がいし) (ja)
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-ja:doctoralStudents of
is owl:sameAs of
is foaf:primaryTopic of