Condensed Mathematics 지금 한참 페터 숄체가 개척하고 있는데 언젠가는 수학과 학부생수준에서 공부하겠지?https://mdl.dongascience.com/magazine/view/M202202N013
저거 첨보는거긴 한데, 수리논리, 자동 정리 증명, 증명 검증 등등이 언젠가는 수학과의 메이저 과목이 될거같음
기사 내용보니까 해석학을 대수학으로 편입시킨다는데 해충을 대슬람이 유린하는거냐?