Pure Mathematics

Citation: Andreas Blass, "Abstract State Machines and Pure Mathematics". In Yuri GurevichYuri Gurevich, Philipp W. Kutter, Martin Odersky, and Lothar Thiele, eds., Abstract State Machines: Theory and Applications, Springer LNCS 1912, 2000, 9--21.
Summary: A discussion of connections, similarities, and differences between concepts and issues arising in the study of ASMs and those of pure mathematics (particularly set theory and logic).
Subjects: Logic & Computability
Download: From Andreas Blass' FTP site in compressed PostScript.