McCarthy 91 Function

The McCarthy 91 function is a recursive function, defined by the computer scientist John McCarthy as a test case for formal verification within computer science.

The McCarthy 91 function is defined as

The results of evaluating the function are given by M(n) = 91 for all integer arguments n ≤ 100, and M(n) = n − 10 for n ≥ 101.

Read more about McCarthy 91 Function:  History, Examples, Code, Proof, Knuth's Generalization

Famous quotes containing the words mccarthy and/or function:

    ... the average Catholic perceives no connection between religion and morality, unless it is a question of someone else’s morality.
    —Mary McCarthy (1912–1989)

    It is the function of vice to keep virtue within reasonable bounds.
    Samuel Butler (1835–1902)