Suchergebnisse
Suchergebnisse:
Peter Aczel (* 31. Oktober 1941; † 1. August 2023) war ein britischer mathematischer Logiker und Informatiker. Peter Aczel (links) mit Michael Rathjen, Oberwolfach 2004. Er promovierte 1964 an der Universität Oxford bei John Newsome Crossley (Mathematical Problems in Logic).
Peter Henry George Aczel (/ ˈ æ k s ə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.
I am Emeritus Professor of Mathematical Logic and Computing Science in the schools of Mathematics and Computer Science at the University of Manchester. Research areas: My research interests include the following areas: Philosophy and Foundations of Mathematics and Computing. Computer Assisted Development of formal proofs. Mathematical Logic.
16. Apr. 2008 · It is now standard to call this principle the Anti-Foundation Axiom (AFA), following its treatment in an influential book written by Peter Aczel in 1988. The attraction of using AFA is that it gives a set of tools for modeling circular phenomena of various sorts.
Peter ACZEL | Cited by 2,883 | of The University of Manchester, Manchester | Read 69 publications | Contact Peter ACZEL
1. Jan. 2001 · Peter Aczel, The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions, in: Marcus, R. B. et al. (eds), Logic, Methodology and Philosophy of Science VII, (North Holland, Amsterdam, 1986). 2, 13, 16, 17
Peter Aczel, Christopher Fox: Separation Properties in Constructive Topology. From sets and types to topology and analysis 2005
