Definition:Ceiling Function/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Ceiling Function

The notation $\ceiling x$ for the ceiling function was introduced in the $1960$s by Kenneth Eugene Iverson and made popular by Donald Ervin Knuth.


Sources