DongWook JUNG

9balje2.hwp 논리철학연습 발제 Chapter 9 – Incompleteness 과학사 및 과학철학 협동과정 2004-20309 정동욱 | 제출일 : 2004.7.21 이번 장에서 우리는 어떤 체계의 모든 정리가 정확히 f-타당하게 되는 프레임들의 집합 f가 존재하지 않는다는 의미에서 불완전한 어떤 체계가 있다는 것을 보일 것이다. 프레임과 모형 정리 9.1        만일 바른식들의 집합 에 속한 모든 원소들의 모든 대입예가 어떤 모형 <W,R,V> […]

9balje.hwp 논리철학연습 발제 Chapter 9 – Incompleteness 과학사 및 과학철학 협동과정 2004-20309 정동욱 | 제출일 : 2004.7.21 이번 장에서 우리는 어떤 체계의 모든 정리가 정확히 f-타당하게 되는 프레임들의 집합 f가 존재하지 않는다는 의미에서 불완전한 어떤 체계가 있다는 것을 보일 것이다. 프레임과 모형 바른식들의 어떤 집합에 속한 원소들이 모두 어떤 모형 하에서 타당하다고 해서, US, MP, […]

내일부턴 구름이란다… 덥다.. 그래도 비가 그친다니 살 것 같구만..

이렇게 살면 안 돼.. 토요일 10시 2시 과외 내일로 미룬다는 전화가 왔다. 다시 잤다. 11시 40분 11시에 일어나겠다던 동화를 깨웠다. 꼭 11시에 일어날 필요는 없었나보다. 다시 잤다. 4시 일어났다. 티비를 봤다. 동화가 5시 과외를 가야한단다. 과외가기 전에 나가서 같이 밥먹잔다. 어찌어찌하다 6시 나가서 같이 밥을 먹었다. 집에 오면서 ‘자토이치’ 비디오를 빌렸다. 집에 와 티비를 봤다. […]

며칠전인가.. 과외집 아파트에 들어가려는데 수위아저씨가 붙잡는다.. “몇호에 무슨 일로 왔나?” “1406호에 과외하러 왔거든요.” “거기에도 학생이 있던가?” “네.” “어.. 그 학생 이름이 뭔가?” 생각보다 이 아저씨 깐깐하게 구시네.. 자신의 직무에 충실하신 아저씨인가보다.. 근데 문제는 내가 학생 이름을 까먹었다는 점. “…. -_-;; 어어..” “어어… 그러니까.. “ “조성민이요.” 운동선수 이름이랑 똑같다는게 생각났다. 안도의 한숨을 쉬고.. 뒤돌아 엘리베이터를 타려고 […]