Search Results

[Alpha]-c.a. functions -- The hierarchy of totally [alpha]-c.a. degrees -- Maximal totally [alpha]-c.a. degrees -- Presentations of left-c.e. reals -- m-topped

[Alpha]-c.a. functions -- The hierarchy of totally [alpha]-c.a. degrees -- Maximal totally [alpha]-c.a. degrees -- Presentations of left-c.e. reals -- m-topped

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical conte

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers a

In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Comp