Search results

From Nordan Symposia
Jump to navigationJump to search

  • Algorithm
    ...ethod" (Rosser 1939:225); those formalizations included the Gödel-Herbrand-Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's [[lambda calcul ...er, Kleene notes that such a method must eventually exhibit "some object" (Kleene 1952:137).
    49 KB (7,317 words) - 23:40, 12 December 2020
Retrieved from "http://nordan.daynal.org/wiki/Special:Search"