티스토리 뷰
내 지식 수준이 딱, 20세기 초반의 최소의 공리 체계를 찾아 그 위에 세상의 지식을 쌓아가려고 하는 것 같다. 아직 괴델의 증명을 뒤엎을 후임이 나타나지 않은 상태이긴하지만, 내 수준이 누굴 따라갈 수 있을까. 아직도 괴델이 내게 어려운 것은, 세상은 그의 숫자들이 세상의 언어와 형식을 기호화하였지만, 이미 기호화 되어 내 기존의 언어체계를 벗어나는 순간, 다른 세상의 말을 하는 것처럼 보이기 때문이다. 난 아직 내 논리의 언어를 다 다듬지도 못했는데, 그것을 숫자화 시켜버리고 증명의 전개 방식을 다른 식으로 전개시키다니.
나쁜 사람.
반응형
댓글
공지사항
최근에 올라온 글
최근에 달린 댓글
- Total
- Today
- Yesterday
링크
TAG
- writely
- TCP/IP
- 수선화
- macosx
- SSO
- OpenID
- 클레로덴드럼
- 벤자민
- 식물
- 대화
- tattertools
- 킹벤자민
- 디버깅
- Subversion
- 덴드롱
- perl
- JavaScript
- SVN
- 커피
- url
- 퀴즈
- 오픈소스
- BlogAPI
- Tattertools plugin
- nodejs
- VIM
- Linux
- 구근
- MySQL
- ssh
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | |||||
3 | 4 | 5 | 6 | 7 | 8 | 9 |
10 | 11 | 12 | 13 | 14 | 15 | 16 |
17 | 18 | 19 | 20 | 21 | 22 | 23 |
24 | 25 | 26 | 27 | 28 | 29 | 30 |
글 보관함