The euclid abstract machine: Trisection of the angle and the halting problem
| dc.contributor.author | Coelho, Francisco | |
| dc.contributor.author | Costa, José Félix | |
| dc.contributor.author | Mycka, Jerzy | |
| dc.date.accessioned | 2012-01-25T17:04:31Z | |
| dc.date.available | 2012-01-25T17:04:31Z | |
| dc.date.issued | 2006 | |
| dc.description.abstract | Concrete non-computable functions are usually re- lated to the halting function. Is it possible to present examples of non-computability, which are unrelated to the halting prob- lem and its derivatives? We built an abstract machine based on the historic concept of compass and ruler constructions (a com- pass construction would suffice) which reveals the existence of non-computable functions not related with the halting problem. These natural, and the same time, non-computable functions can help to understand the nature of the uncomputable and the pur- pose, the goal, and the meaning of computing beyond Turing. | por |
| dc.identifier.authoremail | fc@uevora.pt | |
| dc.identifier.authoremail | nd | |
| dc.identifier.authoremail | nd | |
| dc.identifier.scientificarea | 338 | por |
| dc.identifier.uri | http://www.springerlink.com/index/A031P883968J72P0.pdf | |
| dc.identifier.uri | http://hdl.handle.net/10174/4188 | |
| dc.language.iso | por | por |
| dc.peerreviewed | yes | por |
| dc.publisher | Springer Berlin/Heidelberg | por |
| dc.rights | restrictedAccess | por |
| dc.subject | undecidable problems | por |
| dc.subject | Geometry | por |
| dc.title | The euclid abstract machine: Trisection of the angle and the halting problem | por |
| dc.type | article | por |
| degois.publication.firstPage | 195 | por |
| degois.publication.lastPage | 206 | por |
| degois.publication.title | Unconventional Computation | por |