ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 -) は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造(Frege structure)、構成的集合論、基礎の公理の成り立たない集合論(non-well-founded set theory)の一つであるアクゼル集合論(ZFC-+AFA)などの業績で知られる。

Property Value
dbo:abstract
  • ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 -) は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造(Frege structure)、構成的集合論、基礎の公理の成り立たない集合論(non-well-founded set theory)の一つであるアクゼル集合論(ZFC-+AFA)などの業績で知られる。 (ja)
  • ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 -) は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造(Frege structure)、構成的集合論、基礎の公理の成り立たない集合論(non-well-founded set theory)の一つであるアクゼル集合論(ZFC-+AFA)などの業績で知られる。 (ja)
dbo:birthDate
  • 1941-10-31 (xsd:date)
dbo:birthName
  • Peter Henry George Aczel (ja)
  • Peter Henry George Aczel (ja)
dbo:depictionDescription
  • ピーター・アクゼル (左) 、Michael Rathjenと共にオーバーヴォルファッハ数学研究所にて(2004年)。 (ja)
  • ピーター・アクゼル (左) 、Michael Rathjenと共にオーバーヴォルファッハ数学研究所にて(2004年)。 (ja)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2654876 (xsd:integer)
dbo:wikiPageLength
  • 5327 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 87064830 (xsd:integer)
dbo:wikiPageWikiLink
prop-en:almaMater
prop-en:birthDate
  • 1941-10-31 (xsd:date)
prop-en:birthName
  • Peter Henry George Aczel (ja)
  • Peter Henry George Aczel (ja)
prop-en:caption
  • ピーター・アクゼル 、Michael Rathjenと共にオーバーヴォルファッハ数学研究所にて(2004年)。 (ja)
  • ピーター・アクゼル 、Michael Rathjenと共にオーバーヴォルファッハ数学研究所にて(2004年)。 (ja)
prop-en:doctoralAdvisor
  • John Newsome Crossley (ja)
  • John Newsome Crossley (ja)
prop-en:knownFor
  • アクゼルの反基底公理(Aczel's Anti-Founded Axiom, AFA) (ja)
  • アクゼルの反基底公理(Aczel's Anti-Founded Axiom, AFA) (ja)
prop-en:name
  • Peter Aczel (ja)
  • Peter Aczel (ja)
prop-en:thesisTitle
  • Mathematical problems in logic (ja)
  • Mathematical problems in logic (ja)
prop-en:thesisUrl
prop-en:thesisYear
  • 1967 (xsd:integer)
prop-en:wikiPageUsesTemplate
prop-en:workplaces
  • オスロ大学 (ja)
  • オックスフォード大学 (ja)
  • カリフォルニア工科大学 (ja)
  • スタンフォード大学 (ja)
  • マンチェスター大学 (ja)
  • ユトレヒト大学 (ja)
  • ラトガース大学 (ja)
  • (ja)
  • ウィスコンシン大学マディソン校 (ja)
  • プリンストン高等研究所 (ja)
  • インディアナ大学ブルーミントン校 (ja)
  • オスロ大学 (ja)
  • オックスフォード大学 (ja)
  • カリフォルニア工科大学 (ja)
  • スタンフォード大学 (ja)
  • マンチェスター大学 (ja)
  • ユトレヒト大学 (ja)
  • ラトガース大学 (ja)
  • (ja)
  • ウィスコンシン大学マディソン校 (ja)
  • プリンストン高等研究所 (ja)
  • インディアナ大学ブルーミントン校 (ja)
dct:subject
rdf:type
rdfs:comment
  • ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 -) は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造(Frege structure)、構成的集合論、基礎の公理の成り立たない集合論(non-well-founded set theory)の一つであるアクゼル集合論(ZFC-+AFA)などの業績で知られる。 (ja)
  • ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 -) は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造(Frege structure)、構成的集合論、基礎の公理の成り立たない集合論(non-well-founded set theory)の一つであるアクゼル集合論(ZFC-+AFA)などの業績で知られる。 (ja)
rdfs:label
  • ピーター・アクゼル (ja)
  • ピーター・アクゼル (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Peter Aczel (ja)
  • Peter Aczel (ja)
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of