[일반] 수리논리학 입문서 빌려왔는데

[+.(joohong2018)]

이쪽은 무슨 괴물들밖에 없나

[내가싸우듯이(rhythmachine)]

이름들 검색해보니까 다 어디 대학 철학과 교수 하고잇네

[내가싸우듯이(rhythmachine)]

아 최훈 저사람이 변호사 논증법 저자구만

[+.(joohong2018)]

그거보다 <수학원리> 독해 같은 걸 하고 있어서 그럼

[불안의책(artistrilke)]

저렇게 수리논리학 하는 사람들 중에 불로스 정도를 제대로 따는 사람들이 현대수학 특히 해석학을 할때 누구보다도 진도를 잘 따라간다고 함.

[불안의책(artistrilke)]

여기 너무 깊게 파진 말고 저기 스콜렘 뢰벤하임 좀 어려워. 그냥 정리만 알고 presburger arithmetic이라고 덧셈만 있는 산수체계는 decidable하다는 말 나올텐데 거기까지만 알면 됨

[+.(joohong2018)]

오