3 items with this tag. Sorted by last modified date (newest first).
Ernest Nagel의 Godel's Proof는 incompleteness와 mathematical logic의 전환점을 짧고 선명하게 설명하는 고전이다.
증명과 설득, 귀류와 반증, 변증과 배리 역설을 논리와 수사, 추론의 접점에서 함께 다룬다.
opam과 VSCode 경로를 이용해 Coq를 설치하고 언어 서버까지 맞추는 절차를 적은 기록.
Comments