uncomputable

Kelly and Schulte [1995] show that consistency prevents even agents with infinitely uncomputable cognitive powers from reliably assessing certain hypotheses.

Formal Learning Theory Schulte, Oliver 2008

Turing's oracle can be seen simply as a mathematical tool, useful for exploring the mathematics of the uncomputable.

Alan Turing Hodges, Andrew 2007

As will become clear from the ensuing discussion, the uncomputable ˜intuition™ of 1938 disappeared from Turing's thought, and was replaced by new ideas all lying within the realm of the computable.

Alan Turing Hodges, Andrew 2007

One can only safely say that Turing's interest at this time in uncomputable operations appears in the general setting of studying the mental

Alan Turing Hodges, Andrew 2007

(Of uncomputable functions there is, a fortiori, no mention.)

Alan Turing Hodges, Andrew 2007

Certainly it would be very difficult, like simulating the weather, but how is it possible that a neuron will do something that is uncomputable?

OO’s and BB’s JoAnne 2007

Roger Penrose has had to speculate on an uncomputable theory of quantum gravity just to keep the brain special, but he is almost alone in his position.

OO’s and BB’s JoAnne 2007

He made no suggestion that randomness implied something uncomputable, and indeed gave no definition of the term

Alan Turing Hodges, Andrew 2007

Certainly it would be very difficult, like simulating the weather, but how is it possible that a neuron will do something that is uncomputable?

OO’s and BB’s JoAnne 2007

Turing turned to the exploration of the uncomputable for his Princeton Ph.D. thesis (1938), which then appeared as Systems of Logic based on Ordinals (Turing 1939).

Alan Turing Hodges, Andrew 2007