viewimage.php?id=20bcc42e&no=24b0d769e1d32ca73dec84fa11d0283195504478ca9b7677dc322d30cb369b5840a8c47189de7132707b1e3697d68fd9acf84b3568addf928b6fe06b86112f89a164948644511ee4fd2895c928c9bf821a7316b6fffdeb4b1fbb5d37

나 공대생이고 처음 해석학이랑 위상수학 독학으로 배울 때 도대체 이게 뭔 지랄이지 하면서 꾸역꾸역 했다. 이번에 이론 논문쓰려는 중에 math.stackexchange에 로직 관련 질문을 자주 올렸음. 거기서 능력자가 LPL을 추천해주는 거임. 읽어봤는데 ㄹㅇ 이거 진작에 알았으면 해석학 배울 때 개쉬웠을 거 같다는 생각을 함. 애초에 quantification 개념도 없을 때 배워가지고 개삽질했었거든 ㅜㅜ 여튼 이론적인 연구를 하고 싶은 공대생 있으면 무조건 논리학부터 배우셈. 시간 날린 거 같아서 개짱나넹. 그나저나 책 재밌게 읽는 중.