dbo:abstract
|
- 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. (de)
- 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 . (fr)
- 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. (en)
- ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 -) は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造(Frege structure)、構成的集合論、基礎の公理の成り立たない集合論(non-well-founded set theory)の一つであるアクゼル集合論(ZFC-+AFA)などの業績で知られる。 (ja)
|
dbo:academicDiscipline
| |
dbo:almaMater
| |
dbo:birthDate
| |
dbo:birthName
|
- Peter Henry George Aczel (en)
|
dbo:doctoralAdvisor
| |
dbo:institution
| |
dbo:knownFor
| |
dbo:thumbnail
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 5937 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:almaMater
| |
dbp:birthDate
| |
dbp:birthName
|
- Peter Henry George Aczel (en)
|
dbp:caption
|
- Peter Aczel with Michael Rathjen, Oberwolfach 2004 (en)
|
dbp:doctoralAdvisor
| |
dbp:fields
| |
dbp:knownFor
| |
dbp:name
| |
dbp:nationality
| |
dbp:thesisTitle
|
- Mathematical Problems in Logic (en)
|
dbp:thesisYear
| |
dbp:wikiPageUsesTemplate
| |
dbp:workplaces
|
- Caltech (en)
- Indiana University Bloomington (en)
- Institute for Advanced Study (en)
- Rutgers University (en)
- Stanford University (en)
- University of Manchester (en)
- University of Oslo (en)
- University of Oxford (en)
- University of Wisconsin–Madison (en)
- Utrecht University (en)
- (en)
|
dct:subject
| |
gold:hypernym
| |
schema:sameAs
| |
rdf:type
| |
rdfs:comment
|
- 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 . (fr)
- 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. (en)
- ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 -) は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造(Frege structure)、構成的集合論、基礎の公理の成り立たない集合論(non-well-founded set theory)の一つであるアクゼル集合論(ZFC-+AFA)などの業績で知られる。 (ja)
- 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. (de)
|
rdfs:label
|
- Peter Aczel (en)
- Peter Aczel (de)
- Peter Aczel (fr)
- ピーター・アクゼル (ja)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
foaf:name
| |
is dbo:doctoralAdvisor
of | |
is dbo:doctoralStudent
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:doctoralAdvisor
of | |
is dbp:doctoralStudents
of | |
is foaf:primaryTopic
of | |