Peter Aczel
http://dbpedia.org/resource/Peter_Aczel an entity of type: Thing
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 .
rdf:langString
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.
rdf:langString
ピーター・ヘンリー・ジョージ・アクゼル（Peter Henry George Aczel, 1941年10月31日 -） は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造（Frege structure）、構成的集合論、基礎の公理の成り立たない集合論（non-well-founded set theory）の一つであるアクゼル集合論（ZFC-+AFA）などの業績で知られる。
rdf:langString
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.
rdf:langString
rdf:langString
Peter Aczel
rdf:langString
Peter Aczel
rdf:langString
Peter Aczel
rdf:langString
ピーター・アクゼル
rdf:langString
Peter Aczel
rdf:langString
Peter Aczel
xsd:date
1941-10-31
xsd:integer
24089125
xsd:integer
1086702408
rdf:langString
Mathematical Problems in Logic
xsd:integer
1967
rdf:langString
Caltech
rdf:langString
Indiana University Bloomington
rdf:langString
Institute for Advanced Study
rdf:langString
Rutgers University
rdf:langString
Stanford University
rdf:langString
University of Manchester
rdf:langString
University of Oslo
rdf:langString
University of Oxford
rdf:langString
University of Wisconsin–Madison
rdf:langString
Utrecht University
rdf:langString
xsd:date
1941-10-31
rdf:langString
Peter Henry George Aczel
rdf:langString
Peter Aczel with Michael Rathjen, Oberwolfach 2004
rdf:langString
Reflexive sets
rdf:langString
British
rdf:langString
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.
rdf:langString
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 .
rdf:langString
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.
rdf:langString
ピーター・ヘンリー・ジョージ・アクゼル（Peter Henry George Aczel, 1941年10月31日 -） は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。 フレーゲ構造（Frege structure）、構成的集合論、基礎の公理の成り立たない集合論（non-well-founded set theory）の一つであるアクゼル集合論（ZFC-+AFA）などの業績で知られる。
xsd:nonNegativeInteger
5937
rdf:langString
Peter Henry George Aczel