Theorem Xxx

Some articles on theorem xxx, theorems:

History Of The Church–Turing Thesis - Kleene and Church and Turing Theses
... by one of his machines, is equivalent to Church's thesis by Theorem XXX." Indeed immediately before this statement, Kleene states the Theorem XXX "Theorem XXX (= Theorems XXVIII + XXIX) ...
Algorithm Characterizations - 1943, 1952 Stephen Kleene's Characterization - 1952 Church-Turing Thesis
... With his Theorem XXX Kleene proves the equivalence of the two "Theses"—the Church Thesis and the Turing Thesis. 326) Thus by Kleene's Theorem XXX either method of making numbers from input-numbers—recursive functions calculated by hand or computated by Turing-machine or equivalent—results in an "effectively calculable/comput ... be done by either method equivalently we have accepted both Kleene's Theorem XXX (the equivalence) and the Church-Turing Thesis (the hypothesis of "every") ...

Famous quotes containing the word theorem:

    To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.
    Albert Camus (1913–1960)