Sentence examples for on computable from inspiring English sources

The 19th Century Shop has three important first editions of works on the history of computer science: "On Computable Numbers" (Alan M. Turing) from 1936; "Sketch of the Analytical Engine Invented by Charles Babbage" (Luigi Federico Menabrea)' from 1843, and '"Protocol for Packet Network Intercommunications" (Vinton Cerf and Robert Kahn), a seminal text on the birth of the Internet, from 1974.

His most important contribution to the history of computing remains his 1936 publication "On Computable Numbers", in which he describes a theoretical computing machine that can follow a set of instructions in a step-by-step fashion.

In a similar model, Shannon's General Purpose Analog Computer, Bournez et. al. 2007 [Bournez, O., M. L. Campagnolo, D. S. Graça and E. Hainry, Polynomial differential equations compute all real computable functions on computable compact intervals, Journal of Complexity 23 (2007), pp. 317 335] also characterize the functions of Computable Analysis.

He had developed his own ideas on the theory of universal computation, in a complicated paper entitled On Computable Numbers, published in 1936.

And yet, when asked what influence Turing's On Computable Numbers paper had in the early days of computer design, Newman replied: "I should say practically none at all".

In 1936, while at King's College, Cambridge, Turing published a seminal paper On Computable Numbers which introduced two key concepts - "algorithms" and "computing machines" - that continue to play a central role in our industry today.

Consider a partial function (f:{mathbb {N}}rightarrow {mathbb {N}}) such that f is one-to-one and computable on its domain, and the domain is recursively enumerable but not recursive.

There has been considerable recent work on the problem of computable bounds for convergence rates of Markov chains.

In dealing with this wealth of data, scientists are held back by differences in technical language among research communities, compounded by the absence of computable information on the relationships between biological processes.

However, the focus is on the mathematical equations rather than on the computable model, which consists of more than just the equations (boundary conditions, meshes, etc).

The analysis is based on a computable general equilibrium model of the UK 5 over one year.