In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.
Read more about Laver Function: Definition, Applications
Famous quotes containing the word function:
“We are thus able to distinguish thinking as the function which is to a large extent linguistic.”
—Benjamin Lee Whorf (1897–1934)