youtube.com
Isomorphic Structures of any Kind are `Equal' in HoTT: But What... Structure? - Peter Aczel
16. Aug. 2016
588 Aufrufe
Peter Pan 2 Return to Neverland - I'll Try
8. Nov. 2009
964.8K Aufrufe
Peter Pan: Volarás, volarás, volarás
17. Okt. 2011
5.3M Aufrufe
Alle anzeigen
Britischer Mathematiker und Logiker
cs.man.ac.uk
Peter Aczel (* 31. Oktober 1941; † 1. August 2023) war ein britischer mathematischer Logiker und Informatiker. Er promovierte 1964 an der Universität Oxford bei John Newsome Crossley ("Mathematical Problems in Logic"). wikipedia.org