Global Information Lookup Global Information

Peter Aczel information


Peter Aczel
Peter Aczel (left) with Michael Rathjen, Oberwolfach 2004
Born
Peter Henry George Aczel

(1941-10-31)31 October 1941
Died(2023-08-01)1 August 2023
NationalityBritish
Alma materUniversity of Oxford
Known forAczel's anti-foundation axiom
Reflexive sets
Constructive set theory (CZF)
Scientific career
FieldsMathematical logic
Institutions
  • University of Oxford
  • University of Wisconsin–Madison
  • Rutgers University
  • University of Manchester
  • University of Oslo
  • Caltech
  • Utrecht University
  • Stanford University
  • Institute for Advanced Study
  • Indiana University Bloomington
Thesis Mathematical Problems in Logic  (1967)
Doctoral advisorJohn Newsome Crossley
Websitewww.cs.man.ac.uk/~petera/

Peter Henry George Aczel (/ˈæksəl/; 31 October 1941 – 1 August 2023) was a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester.[1] He is known for his work in non-well-founded set theory,[2] constructive set theory,[3][4] and Frege structures.[5][6]

  1. ^ Peter Aczel at the Mathematics Genealogy Project
  2. ^ Moss, Lawrence S. (February 20, 2018). Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
  3. ^ Aczel, P. (1977). "An Introduction to Inductive Definitions". Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Vol. 90. pp. 739–201. doi:10.1016/S0049-237X(08)71120-0. ISBN 9780444863881.
  4. ^ Aczel, P.; Mendler, N. (1989). "A final coalgebra theorem". Category Theory and Computer Science. Lecture Notes in Computer Science. Vol. 389. p. 357. doi:10.1007/BFb0018361. ISBN 3-540-51662-X.
  5. ^ Aczel, P. (1980). "Frege Structures and the Notions of Proposition, Truth and Set". The Kleene Symposium. Studies in Logic and the Foundations of Mathematics. Vol. 101. pp. 31–32. doi:10.1016/S0049-237X(08)71252-7. ISBN 9780444853455.
  6. ^ Peter Aczel at DBLP Bibliography Server Edit this at Wikidata

and 14 Related for: Peter Aczel information

Request time (Page generated in 0.8546 seconds.)

Peter Aczel

Last Update:

Peter Henry George Aczel (/ˈæksəl/; 31 October 1941 – 1 August 2023) was a British mathematician, logician and Emeritus joint Professor in the Department...

Word Count : 428

Homotopy type theory

Last Update:

Steve Awodey, Thierry Coquand and Vladimir Voevodsky. During the program Peter Aczel, who was one of the participants, initiated a working group which investigated...

Word Count : 4681

Urelement

Last Update:

set to exist. Quine atoms are the only sets called reflexive sets by Peter Aczel, although other authors, e.g. Jon Barwise and Lawrence Moss, use the...

Word Count : 995

Rooted graph

Last Update:

example, the proportion of prime flow graphs given a chosen set of graphs. Peter Aczel has used rooted directed graphs such that every node is reachable from...

Word Count : 1821

Constructive set theory

Last Update:

Constructive and Intuitionistic ZF; Stanford Encyclopedia of Philosophy; 2009 Peter Aczel and Michael Rathjen, Notes on Constructive Set Theory, Reports Institut...

Word Count : 34906

Audio equipment testing

Last Update:

Present Stance," Archived September 28, 2007, at the Wayback Machine Peter Aczel, The Audio Critic, issue number 16, page 31 (PDF page 25), accessed 2007-05-18...

Word Count : 2024

John Newsome Crossley

Last Update:

have written books in the field of mathematics or computing, including Peter Aczel, Wilfrid Hodges, John Lane Bell and Rod Downey. Crossley is also an avid...

Word Count : 549

Situation semantics

Last Update:

reformulation based on Peter Aczel's non-well-founded set theory was proposed by Barwise before this approach to the subject petered out in the early 1990s...

Word Count : 336

Jon Barwise

Last Update:

claimed that such an approach resolved the liar paradox. He made use of Peter Aczel's non-well-founded set theory in understanding "vicious circles" of reasoning...

Word Count : 744

2024 United Kingdom general election in South West England

Last Update:

Pelé Barnes (Somerset Unionist Party) Exeter Tessa Tucker Steve Race Will Aczel William Petty Andrew Bell Labour Ben Bradshaw Filton and Bradley Stoke Jack...

Word Count : 4357

Duchy of Amalfi

Last Update:

en Italie et en Sicile (in French). Paris: Librairie A. Picard et fils. Aczel, Amir D. (2001). The riddle of the compass : the invention that changed...

Word Count : 1214

Taxidermia

Last Update:

lockjaw at a Soviet event and eloping with fellow speed-eating champion Aczél Gizi, Kálmán resumes his rigorous training, even as Gizi gives birth to...

Word Count : 980

Recursive definition

Last Update:

to define the elements in a set in terms of other elements in the set (Aczel 1977:740ff). Some examples of recursively-definable objects include factorials...

Word Count : 1584

Nonrecursive ordinal

Last Update:

Press, pp. 246, 267, 292–293, ISBN 978-0-521-88439-6 Richter, Wayne; Aczel, Peter (1974), Inductive Definitions and Reflecting Properties of Admissible...

Word Count : 1807

PDF Search Engine © AllGlobal.net