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 15 Related for: Peter Aczel information

Request time (Page generated in 0.7862 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

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

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 : 34946

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

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

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

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

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

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

Bentley University

Last Update:

Abdolmohammadi, John E. Rhodes Professor of Accounting at Bentley since 1988 Amir Aczel, lecturer in mathematics and the history of mathematics and science, as...

Word Count : 2571

Results of the 2024 United Kingdom general election by constituency

Last Update:

(Independent)Gregory Tanner (Workers) Exeter Tessa Tucker Steve Race Will Aczel William Petty Andrew Bell William Poulter (Independent) Robert Spain (Independent)...

Word Count : 740

Axiom schema of predicative separation

Last Update:

number of axioms. Constructive set theory Axiom schema of separation Aczel, Peter; Rathjen, Michael (August 19, 2010). "CST Book Draft" (PDF). p. 97. v...

Word Count : 314

PDF Search Engine © AllGlobal.net