미친 개구리 함수 바쁜 비버 함수 라요 수 정지 문제 오라클 증명 브루트 포스 틀:이론 컴퓨터 과학 유효한 가장 큰 수 틀:특수함수의 목록 틀:수학기초론 4색정리 튜링 머신 TREE(3) 시행착오법 피쉬 수 BIGG 골드바흐 추측 큰 수 데몬(Geometry Dash) Fast-growing hierarchy 수학자/목록 콜라츠 추측