%0 Journal Article %1 Blass2007 %A Blass, Andreas %A Gurevichz, Yuri %D 2007 %J Church's Thesis After 70 Years %K kiwi %T Algorithms: A Quest for Absolute Definitions %X What is an algorithm? The interest in this foundational problem is not only theoretical; applications include speci¯cation, validation and veri¯ca- tion of software and hardware systems. We describe the quest to understand and de¯ne the notion of algorithm. We start with the Church-Turing thesis and contrast Church's and Turing's approaches, and we ¯nish with some recent investigations.

@article{Blass2007, abstract = {What is an algorithm? The interest in this foundational problem is not only theoretical; applications include speci¯cation, validation and veri¯ca- tion of software and hardware systems. We describe the quest to understand and de¯ne the notion of algorithm. We start with the Church-Turing thesis and contrast Church's and Turing's approaches, and we ¯nish with some recent investigations.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {Blass, Andreas and Gurevichz, Yuri}, biburl = {https://www.bibsonomy.org/bibtex/223458d1188f5610b5a0001fba6da4716/fraktalek}, citeulike-article-id = {3508739}, interhash = {6bc06b7c335dda6cea930526c6ef53b2}, intrahash = {23458d1188f5610b5a0001fba6da4716}, journal = {Church's Thesis After 70 Years}, keywords = {kiwi}, posted-at = {2008-11-13 14:13:53}, priority = {2}, timestamp = {2008-11-14T13:33:40.000+0100}, title = {Algorithms: A Quest for Absolute Definitions}, year = 2007 }