[수학] 올림, 내림 수식 표기법 (Floor, Least integer)

투퍼의 자기언급식(Tupper's self-referential formula)을 보다가

⌊ ⌋ 이 기호가 내림, ⌈ ⌉가 올림이라는걸 알았네요.

 

이제 1/2 < floor(mod(floor(y/17)*2^(-17*floor(x)-mod(floor(y),17)),2))

 이 텍스트를

투퍼의 자기언급식

이 수식으로 나타낼 수 있습니다.

나무위키(..)에 따르면 가우스부터 대괄호 기호로 사용했다고 하네요.

수식과의 연계가 잦은 프로그래밍에서 유용한 지식인 듯

---

관련 글

https://en.wikipedia.org/wiki/Tupper%27s_self-referential_formula

Tupper's self-referential formula - Wikipedia

 

https://namu.wiki/w/Tupper's%20self-referential%20formula

https://namu.wiki/w/최대%20정수%20함수

https://ko.wikipedia.org/wiki/바닥_함수와_천장_함수