카테고리
일상

홈페이지 일단 개장합니다!

이거 모 고친거 같지도 않지만.. 그냥 개장하렵니다. 이번 리뉴얼에서 중점을 둔 부분은 아래와 같습니다. 첫째, 한눈에 보기 스크롤을 많이 하지 않고서 글과 사진을 볼 수 있도록 노력했습니다. 이를 위해, 테이블 상단의 불필요한 부분을 줄이거나 좌우로 옮겼으며, 특히 겔러리의 경우엔 제목 등의 사진정보들은 모두 왼쪽으로 옮겼습니다. 사진정보들을 왼쪽으로 옮기면서도 온전한 사진크기로 사진을 보기 위해 테이블의 좌우 […]

카테고리
일상

홈페이지 새버전 테스트 중

그동안 계속 미뤄왔던 홈페이지 공사를 드디어 시작했다. 생각보다 너무너무 귀찮은 일이고나… 도대체 바꾼 것도 없는 것 같은데.. 왜이리 힘든지.. 에효.. 에효..

카테고리
과학철학

[양상논리] 9장 발제 보완

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

카테고리
과학철학

[양상논리] 9장 발제 (미완성)

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

카테고리
일상

오늘은 소나기

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