| 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. |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/puremath.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT