Church–Turing Thesis

Church–Turing Thesis

Frederic P. Miller, Agnes F. Vandome, John McBrewster

     

бумажная книга



Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1307-6516-3
Объём: 132 страниц
Масса: 221 г
Размеры(В x Ш x Т), см: 23 x 16 x 1

High Quality Content by WIKIPEDIA articles! William Smith Monroe (September 13, 1911–September 9, 1996) was an American musician who helped develop the style of music known as bluegrass, which takes its name from his band, the "Blue Grass Boys," named for Monroe's home state of Kentucky. Monroe's performing career spanned 60 years as a singer, instrumentalist, composer and bandleader. He is often referred to as The Father of Bluegrass.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.

In computability theory the Church–Turing thesis (also known as the Church-Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a combined hypothesis ("thesis") about the nature of effectively calculable (computable) functions by recursion (Church's Thesis), by mechanical device equivalent to a Turing machine (Turing's Thesis) or by use of Church's ?-calculus. The three computational processes (recursion, ?- calculus, and Turing machine) were shown to be equivalent by Alonzo Church, Stephen Kleene, J.B. Rosser (1934–6) and Alan Turing (1936–7). However, even though the three processes proved to be equivalent, the fundamental premise behind the theses—the notion of what it means for a function to be "effectively calculable" (computable)—is "a somewhat vague intuitive one". Thus, as they stand, the "theses" remain hypotheses and cannot be proven. Informally the Church–Turing thesis states that if an algorithm (a procedure that terminates) exists then there is an equivalent Turing machine, recursively-definable function, or applicable ?- function, for that algorithm.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.