iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://dbpedia.org/resource/Peter_Aczel
About: Peter Aczel

About: Peter Aczel

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
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
  • 1941-10-31 (xsd:date)
dbo:birthName
  • Peter Henry George Aczel (en)
dbo:doctoralAdvisor
dbo:institution
dbo:knownFor
dbo:thumbnail
dbo:wikiPageID
  • 24089125 (xsd:integer)
dbo:wikiPageLength
  • 5937 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1086702408 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:birthDate
  • 1941-10-31 (xsd:date)
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
  • Peter Aczel (en)
dbp:nationality
  • British (en)
dbp:thesisTitle
  • Mathematical Problems in Logic (en)
dbp:thesisYear
  • 1967 (xsd:integer)
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
  • Peter Aczel (en)
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
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License