A-CUP-OF-BEER LICENSE v1.0
BSD 2-Clause License를 수정하여 변형된 3-Clause License를 만들어 보았습니다. 영어가 서툴어서 조건 3항에 대한 수정의견은 언제든지 받습니다. A-CUP-OF-BEER LICENSE v1.0 Template. Copyright (c) , All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: Conditions:1. Redistributions of source code must retain the above copyright notice, ..
쓰지 않는 카테고리/아이디어
2013. 4. 23. 21:25
괴델에 대한 짧은 생각
내 지식 수준이 딱, 20세기 초반의 최소의 공리 체계를 찾아 그 위에 세상의 지식을 쌓아가려고 하는 것 같다. 아직 괴델의 증명을 뒤엎을 후임이 나타나지 않은 상태이긴하지만, 내 수준이 누굴 따라갈 수 있을까. 아직도 괴델이 내게 어려운 것은, 세상은 그의 숫자들이 세상의 언어와 형식을 기호화하였지만, 이미 기호화 되어 내 기존의 언어체계를 벗어나는 순간, 다른 세상의 말을 하는 것처럼 보이기 때문이다. 난 아직 내 논리의 언어를 다 다듬지도 못했는데, 그것을 숫자화 시켜버리고 증명의 전개 방식을 다른 식으로 전개시키다니. 나쁜 사람.
전체/잡생각
2013. 4. 7. 21:42
공지사항
최근에 올라온 글
최근에 달린 댓글
- Total
- Today
- Yesterday
링크
TAG
- MySQL
- JavaScript
- tattertools
- Tattertools plugin
- perl
- 커피
- 벤자민
- 킹벤자민
- macosx
- nodejs
- BlogAPI
- 디버깅
- 식물
- SVN
- Subversion
- 클레로덴드럼
- 오픈소스
- writely
- ssh
- 덴드롱
- 퀴즈
- VIM
- SSO
- Linux
- TCP/IP
- 대화
- 구근
- url
- 수선화
- OpenID
| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 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 |
글 보관함