2 documents found, page 1 of 1

Sort by Issue Date
go first page go previous page
go to page: 1
go next page go last page
rss feed search results

The euclid abstract machine

Mycka, Jerzy; Costa, José Félix; Coelho, Francisco

Concrete non-computable functions are usually related to the halting function. Is it possible to present examples of non-computability, which are unrelated to the halting problem and its derivatives? We built an abstract machine based on the historic concept of compass and ruler constructions (a compass construction would suffice) which reveals the existence of non-computable functions not related with the halt...

Date: 2012   |   Origin: Repositório Científico da Universidade de Évora
More info.

The euclid abstract machine: Trisection of the angle and the halting problem

Coelho, Francisco; Costa, José Félix; Mycka, Jerzy

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 th...

Date: 2012   |   Origin: Repositório Científico da Universidade de Évora
More info.
go first page go previous page
go to page: 1
go next page go last page
rss feed search results

2 Results

Queried text

Refine Results

Author




Date


Document Type


Access rights



Resource


Subject