research
∙
02/05/2013
An Effective Procedure for Computing "Uncomputable" Functions
We give an effective procedure that produces a natural number in its out...
share
research
∙
05/04/2010
Informal Concepts in Machines
This paper constructively proves the existence of an effective procedure...
research
∙
07/23/2009
