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:
“Combativeness was, I suppose, the dominant trait in my grandmother’s nature. An aggressive churchgoer, she was quite without Christian feeling; the mercy of the Lord Jesus had never entered her heart. Her piety was an act of war against Protestant ascendancy. ...The teachings of the Church did not interest her, except as they were a rebuke to others ...”
—Mary McCarthy (1912–1989)
“The art of living is to function in society without doing violence to one’s own needs or to the needs of others. The art of mothering is to teach the art of living to children.”
—Elaine Heffner (20th century)