Author:
Blass Andreas,Dershowitz Nachum,Gurevich Yuri
Abstract
AbstractPeople usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.
Publisher
Cambridge University Press (CUP)
Reference23 articles.
1. Subsystems of Second Order Arithmetic
2. Some systems of second-order arithmetic and their use;Friedman;Proceedings of the International Congress of Mathematicians, Vancouver 1974,1975
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献