스스로를 그리는 부등식

위 부등식의 영역을 그리면 다음과 같이 나타난다. 여기서 은 을 으로 나눈 나머지. Jeff Tupper의 SIGGRAPH 2001 논문[1]에 등장하여 Tupper’s self referential formula란 이름을 가진 식이다. 부등식의 영역이 해당 부등식 자체로 나타나는 마치 quine같은 결과를 보여주는데, 사실 함정이 하나 있다. 잘 보면 좌표가 이란 값에 의존하게 나타나있고 그 값이 명시되어있지 않다는 점인데, 위 그림에서 나오는 […]

Read More 스스로를 그리는 부등식

테스트 문제들에 대한 테스트 문제

James Propp이 만든 Self-referential Aptitude Test. 미국 대입 테스트인 SAT의 형태를 빌었는데 말 그대로 self-referential이라 모든 문제가 테스트지 내의 문제의 답에 대한 정보로만 이루어져있는 일종의 논리 퍼즐 문제이다. 예컨대 1. 답이 B인 첫 번째 문제는? (A) 1번 (B) 2번 (C) 3번 (D) 4번 (E) 5번 2. 유일하게 답이 같은 연속한 두 문제는? (A) 6번과 7번 […]

Read More 테스트 문제들에 대한 테스트 문제