'학문/수리논리학'에 해당되는 글 23건
- 2020.03.02 history of computability
- 2020.03.02 boolos computability and logic(fifth) ch.12 solution 1
- 2015.06.17 Incompleteness(1)-preliminary definitions 2
- 2015.06.10 괴델의 불완전성 정리 다음주에 시작합니다 3
- 2015.02.18 lowenheim-skolem theorem 1
- 2015.02.15 FOL(8) - completeness theorem 1
- 2015.02.13 FOL(9) - compactness theorem and its equivalnce 2
