About: Peter Aczel

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Peter Aczel Goto Sponge NotDistinct Permalink

An Entity of Type : yago:Whole100003553, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FPeter_Aczel

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Homo sapiens Human Animal yago:WikicatBritishLogicians yago:WikicatBritishPeople yago:WikicatBritishPhilosophers animal eukaryote scientist species schema:Person yago:WikicatLivingPeople yago:WikicatSetTheorists Scientist yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553
rdfs:label	Peter Aczel (en) Peter Aczel (de) Peter Aczel (fr) ピーター・アクゼル (ja)
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)
foaf:name	Peter Aczel (en)
name	Peter Aczel (en)
foaf:depiction
birth date	1941-10-31 (xsd:date)
dcterms:subject	1941 births Living people British logicians Institute for Advanced Study visiting scholars Set theorists British philosophers People associated with the Department of Computer Science, University of Manchester
Wikipage page ID	24089125 (xsd:integer)
Wikipage revision ID	1086702408 (xsd:integer)
Link from a Wikipage to another Wikipage	California Institute of Technology School of Mathematics, University of Manchester Department of Computer Science, University of Manchester University of Manchester University of Oslo University of Oxford University of Wisconsin–Madison Utrecht University 1941 births Living people Mathematical logic Mathematics Rutgers University British logicians Gottlob Frege Constructive set theory Stanford University Emeritus Professor (highest academic rank) Bachelor of Arts Institute for Advanced Study visiting scholars Aczel's anti-foundation axiom Doctor of Philosophy Editorial board Journal of Symbolic Logic Set theorists British philosophers People associated with the Department of Computer Science, University of Manchester Indiana University Bloomington Institute for Advanced Study Non-well-founded set theory John Crossley (mathematician) Reflexive set
sameAs	Peter Aczel Peter Aczel Peter Aczel Peter Aczel Peter Aczel Peter Aczel Peter Aczel Peter Aczel Peter Aczel Peter Aczel Peter Aczel

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software