Seonglae Cho오랜만에 술마셔서 그런가 잘 잠에 든것과는 별개로 유난히 깼다 잤다를 반복해서 거의 11시 반은 되서 일어났다. 두유로 간단히 먹어준 다음 메탈좀 하는데 머리가 너무 간지러워서 일어나서 샤워하러 간다. 형이 또 점심으로 뭐 카드로 시키는데 나보고 없냐고 해서 좀 짜증난다 결국에 자기가 못찾은 건데 바닥에 다시 던저두는게 참 레전드 습관적인 더러움이다. 하지만 잘 씻고 점심은 너무 좋게 바게트에 하몽 루꼴라 부라타 치즈 클로티드 크림 먹어주니 기분이 다 풀린다. 그리고 딱 성실하게 쓰레기 2개 버리고 오면서 멋있는 까마귀도 보고 라떼도 같이 먹느라 떨어진 우유도 사주면서 싸가지 없는 직원 빼고 다른 마트 가봤다. 근데 전반적으로 거기 식료품 퀄리티가 너무 떨어져서 내일 보쌈을 마지막으로 다시는 안가고 시장가서 장을 봐야겠다. 내일은 보쌈이나 해보려는데 내일이나 모레는 시장 가야지.
그 뒤로는 유튜브 좀 보다가 어제 마저 정리못한 공리에 대해 열심히 공부해본다. Infinity로부터 어제 시작되어서 Mathematical Logic과 Mathematical Structure까지 이해해가는 과정이 어려웠다. 그래도 가끔 이렇게 수학 체계에 대한 단기적으로 집중해서 이해를 올려가는 건 장기적으로 좋은 습관같다. 얼마전 Kamiltonian어원 공부하면서 Hamiltonian과 Lagrangian에 더 높은 이해를 가진 것처럼 이번에 Predicate Logic과 Proof Theory 그리고 Model Theory관계들을 이해하는 게 Gödel’s incompleteness theorem랑 Completeness Theorem를 괴델이 같이 증명할 수 있었고 왜 모순이 없는지를 이해할 수 있었다. 생각해보면 오늘 낭비한 시간 같지만 얻고 머리쓴 것이 참 많다. chatgpt 리밋을 오랜만에 터치했고 스트레스받은 만큼 머리에 들어온 것도 많다는 것 아닐까
여튼 그 뒤에 릴스 쇼츠 많이 보다가 배고파져서 민이도 일난 김에 엄마가 말한 소고기랑 명이나물로 저녁을 해와본다. 양송이랑 깻잎도 팔아서 사왔는데 오랜만에 까수앨라 해서 보여주니 민이도 점심으로 해먹고 고마워해서 기분이 좋다. 저녁먹으면서 내가 민이 high street 설명할 때 딴짓하는 것처럼 보이고 말투가 좀 성의없어 보였는지 잠깐 서운했지만 서로 잘 금방 풀었다! 그리고 누워서 이런저런 얘기도 하고 로키도 같이 보니 금방 좋아졌다. 마침 나도 사진정리도 더 마무리하고 나니 한국이 또 사격 금메달에 양궁 단체 10점 6개 쏴서 금메달이라고 하니 기분이 좋다 여전히 세계 2등!! 민이 답장도 하고 사격영상도 보고 메탈 조금만 하고 얼른 자야겠다