[일반] 직관논리 같은건

[익명(119.75)]

어디서 공부할 수 있는거야?
맛이라도 보고 싶은데 어디서 찾아야 할지 막막하네

[다믜(damhiya)]

Coq 허실?

[익명(119.75)]

그게 뭐야?

[다믜(damhiya)]

proof assistant. 증명을 컴퓨터가 이해할 수 있게 써주면 컴퓨터가 그 증명을 검증해줌. intuitionistic type theory 기반임.

[익명(175.223)]

너무 딥한데... 나는 직관논리 이론을 알아보고 싶은거 일단 땡큐 나중에 따로 한 번 알아볼게

[익명(223.38)]

그런거 철학 논리학 교재같은거 뒤져봐야됨

[익명(175.223)]

그럼 학교 도서관부터 뒤져봐야겠다. ㄱㅅㄱㅅ