| http://dbpedia.org/ontology/abstract
|
Peter Henry George Aczel (/ˈæksəl/; born 3 … 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.tructive set theory, and Frege structures.
, Peter Aczel (* 31. Oktober 1941) ist ein b … 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.en Topologie), Philosophie der Mathematik.
, Peter Henry George Aczel (né le 31 octobre … 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 .sembles (en), et les structures de Frege .
, ピーター・ヘンリー・ジョージ・アクゼル（Peter Henry George Aczel, 1941年10月31日 -） は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造（Frege structure）、構成的集合論、基礎の公理の成り立たない集合論（non-well-founded set theory）の一つであるアクゼル集合論（ZFC-+AFA）などの業績で知られる。
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematical_logic +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Oxford +
|
| http://dbpedia.org/ontology/birthDate
|
"1941-10-31"^^xsd:date
|
| http://dbpedia.org/ontology/birthName
|
Peter Henry George Aczel
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/John_Crossley_%28mathematician%29 +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/Utrecht_University +
, http://dbpedia.org/resource/University_of_Oslo +
, http://dbpedia.org/resource/California_Institute_of_Technology +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/University_of_Manchester +
, http://dbpedia.org/resource/Rutgers_University +
, http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/Indiana_University_Bloomington +
, http://dbpedia.org/resource/Institute_for_Advanced_Study +
, http://dbpedia.org/resource/University_of_Wisconsin%E2%80%93Madison +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Reflexive_set +
, http://dbpedia.org/resource/Aczel%27s_anti-foundation_axiom +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Aczel_Rathjen.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
24089125
|
| http://dbpedia.org/ontology/wikiPageLength
|
5937
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1086702408
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Department_of_Computer_Science%2C_University_of_Manchester +
, http://dbpedia.org/resource/Category:People_associated_with_the_Department_of_Computer_Science%2C_University_of_Manchester +
, http://dbpedia.org/resource/University_of_Manchester +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/University_of_Oslo +
, http://dbpedia.org/resource/Rutgers_University +
, http://dbpedia.org/resource/California_Institute_of_Technology +
, http://dbpedia.org/resource/Category:Set_theorists +
, http://dbpedia.org/resource/Editorial_board +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:Institute_for_Advanced_Study_visiting_scholars +
, http://dbpedia.org/resource/School_of_Mathematics%2C_University_of_Manchester +
, http://dbpedia.org/resource/Category:British_logicians +
, http://dbpedia.org/resource/Utrecht_University +
, http://dbpedia.org/resource/Emeritus +
, http://dbpedia.org/resource/Professor +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/Constructive_set_theory +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Bachelor_of_Arts +
, http://dbpedia.org/resource/University_of_Wisconsin%E2%80%93Madison +
, http://dbpedia.org/resource/Category:1941_births +
, http://dbpedia.org/resource/Reflexive_set +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/John_Crossley_%28mathematician%29 +
, http://dbpedia.org/resource/Institute_for_Advanced_Study +
, http://dbpedia.org/resource/Indiana_University_Bloomington +
, http://dbpedia.org/resource/Aczel%27s_anti-foundation_axiom +
, http://dbpedia.org/resource/Non-well-founded_set_theory +
, http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/Journal_of_Symbolic_Logic +
, http://dbpedia.org/resource/Category:British_philosophers +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Oxford +
|
| http://dbpedia.org/property/birthDate
|
"1941-10-31"^^xsd:date
|
| http://dbpedia.org/property/birthName
|
Peter Henry George Aczel
|
| http://dbpedia.org/property/caption
|
Peter Aczel with Michael Rathjen, Oberwolfach 2004
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/John_Crossley_%28mathematician%29 +
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Mathematical_logic +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Aczel%27s_anti-foundation_axiom +
, Reflexive sets
|
| http://dbpedia.org/property/name
|
Peter Aczel
|
| http://dbpedia.org/property/nationality
|
British
|
| http://dbpedia.org/property/thesisTitle
|
Mathematical Problems in Logic
|
| http://dbpedia.org/property/thesisYear
|
1967
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Commons_category-inline +
, http://dbpedia.org/resource/Template:IPAc-en +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:URL +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://dbpedia.org/property/workplaces
|
Utrecht University
, University of Manchester
, Stanford University
, Institute for Advanced Study
, University of Oxford
, Rutgers University
, Caltech
, Indiana University Bloomington
, University of Wisconsin–Madison
, University of Oslo
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1941_births +
, http://dbpedia.org/resource/Category:British_philosophers +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:British_logicians +
, http://dbpedia.org/resource/Category:People_associated_with_the_Department_of_Computer_Science%2C_University_of_Manchester +
, http://dbpedia.org/resource/Category:Institute_for_Advanced_Study_visiting_scholars +
, http://dbpedia.org/resource/Category:Set_theorists +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/39452042 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Peter_Aczel?oldid=1086702408&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Aczel_Rathjen.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Peter_Aczel +
|
| http://xmlns.com/foaf/0.1/name
|
Peter Aczel
|
| owl:sameAs |
https://global.dbpedia.org/id/yJMW +
, http://yago-knowledge.org/resource/Peter_Aczel +
, http://ja.dbpedia.org/resource/%E3%83%94%E3%83%BC%E3%82%BF%E3%83%BC%E3%83%BB%E3%82%A2%E3%82%AF%E3%82%BC%E3%83%AB +
, https://dblp.org/pid/a/PAczel +
, http://d-nb.info/gnd/151543925 +
, http://fr.dbpedia.org/resource/Peter_Aczel +
, http://data.bibliotheken.nl/id/thes/p07430514X +
, http://rdf.freebase.com/ns/m.07k53ly +
, http://dbpedia.org/resource/Peter_Aczel +
, http://azb.dbpedia.org/resource/%D9%BE%DB%8C%D8%AA%D8%B1_%D8%A2%DA%A9%D8%B3%D9%84 +
, http://de.dbpedia.org/resource/Peter_Aczel +
, http://viaf.org/viaf/39452042 +
, http://www.wikidata.org/entity/Q2073584 +
|
| rdf:type |
http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/WikicatSetTheorists +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/WikicatBritishPeople +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatBritishLogicians +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/Theorist110706812 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://schema.org/Person +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatBritishPhilosophers +
, http://www.wikidata.org/entity/Q901 +
|
| rdfs:comment |
Peter Henry George Aczel (né le 31 octobre … 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 .sembles (en), et les structures de Frege .
, Peter Aczel (* 31. Oktober 1941) ist ein b … 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.nformatik an der University of Manchester.
, ピーター・ヘンリー・ジョージ・アクゼル（Peter Henry George Aczel, 1941年10月31日 -） は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造（Frege structure）、構成的集合論、基礎の公理の成り立たない集合論（non-well-founded set theory）の一つであるアクゼル集合論（ZFC-+AFA）などの業績で知られる。
, Peter Henry George Aczel (/ˈæksəl/; born 3 … 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.tructive set theory, and Frege structures.
|
| rdfs:label |
ピーター・アクゼル
, Peter Aczel
|
