[일반] 수리논리학분야는 논리로얻는 직관이더클려나

[익명(118.235)]

다른 류와는 다르게

논리로부터 직관이 생기기 수월해보일거같은쪽인데

어떨까

- dc official App

[익명(211.36)]

아이디어는 다 비숫비슷함. forcing을 boolean valued model 방법으로 하는 것도 대수에 나오는 확대 개념과 비슷하고 finite model theory나 recursion theory도 조합론 아이디어 많이 쓰고 등등