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:
“Anti-Semitism is a horrible disease from which nobody is immune, and it has a kind of evil fascination that makes an enlightened person draw near the source of infection, supposedly in a scientific spirit, but really to sniff the vapors and dally with the possibility.”
—Mary McCarthy (1912–1989)
“If the children and youth of a nation are afforded opportunity to develop their capacities to the fullest, if they are given the knowledge to understand the world and the wisdom to change it, then the prospects for the future are bright. In contrast, a society which neglects its children, however well it may function in other respects, risks eventual disorganization and demise.”
—Urie Bronfenbrenner (b. 1917)