[일반] 현재 수학계에 기초론은 극마이너 분야인거 같은데

[익명(115.69)]

수학기초론 분야 집합론, 증명이론, 계산 가능성 이론이 근래의 주류 수학의 문제에 사용된 사례가 어떤게 있을까요? 모형이론은 André–Oort conjecture에 사용되기도 했고 대수학과 밀접한 관계가 있다고 들어서 제외함

[수갤러 1(39.7)]

www.andrew.cmu.edu/user/avigad/research.html
CMU의 제러미 아비가드 교수님이 수리 논리학을 에르고딕 이론과 동역학계에 활용했네.

[수갤러 1(39.7)]

'Applications of Logic to Mathematics' 절에 관련 논문들이 나열돼 있어.

[ultraproduct(ultraproduct)]

descriptive set theory와 해석학? - dc App

[익명(goodwong)]

생각보다 많이 됨 computable function 이랑 o minimal theory검색해보셈