뭔가 00 프로그램이라는 이름이 붙는 역사적으로 첫번째가

군론으로 기하학을 분류하는 에를랑겐 프로그램(Erlangen Program) 제안자는 펠릭스 클라인


수학의 완전성과 무모순성을 구축하려 노력했으나 실패한 수학 기초론 쪽인 힐베르트 프로그램(Hilbert Program) 제안자는 다비트 힐베르트


그 다음이 유한군론쪽으로 고렌스타인 프로그램(Gorenstein Program) 제안자는 다니엘 고렌스타인

조르당-횔더 프로그램(Jordan-Hölder Program) 제안자는 카미유 조르당, 오토 횔더


대수기하쪽으로는 모리 프로그램(Mori Program) 또는 최소 모형 프로그램(Minimal Model Program), 제안자는 모리 시게후미?


mirror symmetry인가 그쪽으로는 그로스-지베르트 프로그램(Gross-Siebert Program) 제안자는 마크 그로스, 베른트 지베르트


현재 수학계에서 가장 큰 프로그램인 랭글랜즈 프로그램(Langlands Program) 제안자는 로버트 랭글랜즈


바나흐 공간과 거리 공간쪽은 리베 프로그램(Ribe Program) 제안자는 장 부르갱


수학은 아니긴 하지만 끈 이론 쪽으로는 늪지대 프로그램(Swampland program) 제안자는 캄란 바파