This HTML5 document contains 157 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n10https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n26http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
n29http://viaf.org/viaf/
n28http://azb.dbpedia.org/resource/
n23http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n20https://dblp.org/pid/a/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n24http://d-nb.info/gnd/
n11http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:Peter_Aczel
rdf:type
wikidata:Q901 yago:WikicatBritishPeople wikidata:Q5 yago:Scholar110557854 dbo:Person yago:Intellectual109621545 wikidata:Q729 yago:PhysicalEntity100001930 dbo:Animal yago:Logician110269785 foaf:Person yago:YagoLegalActor yago:CausalAgent100007347 yago:WikicatBritishPhilosophers yago:YagoLegalActorGeo yago:Object100002684 schema:Person dbo:Scientist yago:Whole100003553 owl:Thing dbo:Species yago:Scientist110560637 yago:WikicatLivingPeople wikidata:Q19088 yago:WikicatSetTheorists yago:WikicatBritishLogicians yago:Theorist110706812 wikidata:Q215627 yago:LivingThing100004258 n26:NaturalPerson yago:Organism100004475 dbo:Eukaryote yago:Philosopher110423589 yago:Person100007846 yago:Expert109617867
rdfs:label
ピーター・アクゼル Peter Aczel Peter Aczel Peter Aczel
rdfs:comment
Peter Henry George Aczel (/ˈæksəl/; born 31 October 1941) is a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester. He is known for his work in non-well-founded set theory, constructive set theory, and Frege structures. Peter Henry George Aczel (né le 31 octobre 1941) est un mathématicien, logicien et professeur émérite britannique au département d'informatique et à la faculté de mathématiques de l' université de Manchester . Il est connu pour ses travaux sur la théorie des ensembles non biens fondés, la théorie constructive des ensembles (en), et les structures de Frege . ピーター・ヘンリー・ジョージ・アクゼル（Peter Henry George Aczel, 1941年10月31日 -） は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造（Frege structure）、構成的集合論、基礎の公理の成り立たない集合論（non-well-founded set theory）の一つであるアクゼル集合論（ZFC-+AFA）などの業績で知られる。 Peter Aczel (* 31. Oktober 1941) ist ein britischer mathematischer Logiker und Informatiker. Er promovierte 1964 an der Universität Oxford bei (Mathematical Problems in Logic). Er ist Professor für mathematische Logik und Informatik an der University of Manchester.
foaf:name
Peter Aczel
dbp:name
Peter Aczel
foaf:depiction
n23:Aczel_Rathjen.jpg
dbo:birthDate
1941-10-31
dct:subject
dbc:British_philosophers dbc:Living_people dbc:British_logicians dbc:Set_theorists dbc:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester dbc:1941_births dbc:Institute_for_Advanced_Study_visiting_scholars
dbo:wikiPageID
24089125
dbo:wikiPageRevisionID
1086702408
dbo:wikiPageWikiLink
dbr:Stanford_University dbr:Utrecht_University dbr:Non-well-founded_set_theory dbr:Professor dbr:Bachelor_of_Arts dbr:Gottlob_Frege dbr:Mathematical_logic dbr:Aczel's_anti-foundation_axiom dbc:Living_people dbr:Reflexive_set dbr:University_of_Manchester dbc:British_philosophers dbc:British_logicians dbr:California_Institute_of_Technology dbr:Journal_of_Symbolic_Logic dbr:Doctor_of_Philosophy dbr:Mathematics dbc:Set_theorists dbr:Institute_for_Advanced_Study dbr:Constructive_set_theory dbr:Rutgers_University dbr:John_Crossley_(mathematician) dbc:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester dbr:University_of_Oslo dbr:School_of_Mathematics,_University_of_Manchester dbr:Emeritus dbr:University_of_Oxford dbr:Department_of_Computer_Science,_University_of_Manchester dbc:Institute_for_Advanced_Study_visiting_scholars dbr:University_of_Wisconsin–Madison dbc:1941_births dbr:Editorial_board dbr:Indiana_University_Bloomington
owl:sameAs
n10:yJMW n11:p07430514X yago-res:Peter_Aczel dbpedia-de:Peter_Aczel dbpedia-fr:Peter_Aczel n20:PAczel wikidata:Q2073584 n24:151543925 dbpedia-ja:ピーター・アクゼル freebase:m.07k53ly n28:پیتر_آکسل n29:39452042
dbp:thesisTitle
Mathematical Problems in Logic
dbp:thesisYear
1967
dbp:workplaces
Indiana University Bloomington University of Oslo Institute for Advanced Study University of Wisconsin–Madison University of Oxford Caltech Rutgers University Stanford University Utrecht University University of Manchester
dbp:wikiPageUsesTemplate
dbt:Infobox_scientist dbt:IPAc-en dbt:Short_description dbt:Reflist dbt:Authority_control dbt:URL dbt:Birth_date_and_age dbt:Commons_category-inline
dbo:thumbnail
n23:Aczel_Rathjen.jpg?width=300
dbp:almaMater
dbr:University_of_Oxford
dbp:birthDate
1941-10-31
dbp:birthName
Peter Henry George Aczel
dbp:caption
Peter Aczel with Michael Rathjen, Oberwolfach 2004
dbp:fields
dbr:Mathematical_logic
dbp:knownFor
Reflexive sets dbr:Aczel's_anti-foundation_axiom
dbp:nationality
British
dbo:abstract
ピーター・ヘンリー・ジョージ・アクゼル（Peter Henry George Aczel, 1941年10月31日 -） は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造（Frege structure）、構成的集合論、基礎の公理の成り立たない集合論（non-well-founded set theory）の一つであるアクゼル集合論（ZFC-+AFA）などの業績で知られる。 Peter Henry George Aczel (/ˈæksəl/; born 31 October 1941) is a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester. He is known for his work in non-well-founded set theory, constructive set theory, and Frege structures. Peter Aczel (* 31. Oktober 1941) ist ein britischer mathematischer Logiker und Informatiker. Er promovierte 1964 an der Universität Oxford bei (Mathematical Problems in Logic). Er ist Professor für mathematische Logik und Informatik an der University of Manchester. Aczel ist bekannt für Arbeiten in der nicht-fundierten Mengenlehre (engl. Non well founded Set Theory) und der konstruktiven Zermelo-Fraenkel-Mengenlehre (engl. Constructive ZF Set Theory). Seine nicht-fundierte Mengenlehre entstand aus dem Bedürfnis, eine mengentheoretische Begründung der Theorie konkurrierender Prozesse von Robin Milner zu finden bzw. allgemein zirkulärer Prozesse, die aufgrund des Fundierungsaxioms in der Zermelo-Fraenkel-Mengenlehre ausgeschlossen werden. Er befasst sich auch mit Computer-gestützten Beweisverfahren, konkurrierenden Prozessen in der Informatik, Typentheorie, konstruktiver Mathematik (zum Beispiel in der allgemeinen Topologie), Philosophie der Mathematik. Peter Henry George Aczel (né le 31 octobre 1941) est un mathématicien, logicien et professeur émérite britannique au département d'informatique et à la faculté de mathématiques de l' université de Manchester . Il est connu pour ses travaux sur la théorie des ensembles non biens fondés, la théorie constructive des ensembles (en), et les structures de Frege .
dbp:doctoralAdvisor
dbr:John_Crossley_(mathematician)
dbo:doctoralAdvisor
dbr:John_Crossley_(mathematician)
dbo:institution
dbr:University_of_Manchester dbr:Stanford_University dbr:University_of_Wisconsin–Madison dbr:California_Institute_of_Technology dbr:University_of_Oslo dbr:University_of_Oxford dbr:Indiana_University_Bloomington dbr:Rutgers_University dbr:Utrecht_University dbr:Institute_for_Advanced_Study
gold:hypernym
dbr:Mathematician
schema:sameAs
n29:39452042
prov:wasDerivedFrom
wikipedia-en:Peter_Aczel?oldid=1086702408&ns=0
dbo:wikiPageLength
5937
dbo:birthName
Peter Henry George Aczel
dbo:academicDiscipline
dbr:Mathematical_logic
dbo:almaMater
dbr:University_of_Oxford
dbo:knownFor
dbr:Aczel's_anti-foundation_axiom dbr:Reflexive_set
foaf:isPrimaryTopicOf
wikipedia-en:Peter_Aczel