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