QuizWit

[알림판목록 I] [알림판목록 II] [글목록][이 전][다 음]
[ QuizWit ] in KIDS
글 쓴 이(By): ilusion (환상)
날 짜 (Date): 1997년06월18일(수) 18시58분11초 KDT
제 목(Title): 무한 vs. 유한 II.


성경에 이웃을 공경하라고했는데 공경안했더니 화살이 몇개씩 쏟아지니까 일일이
대꾸해서 포스팅하는게 무척 시간을 잡아먹는군요. 아무튼 종대님의 병렬참고문헌
감사히 생각하고 내일 서점가서 잠깐 훌터만 봐야겠군요. 비쌀테니깐 그돈있으면
컴퓨터게임을 사구요. 낄낄...

유한 vs 무한 III.

오늘도 횡설수설 시간이 돌아왔습니다. 저역시 한국어를 써서인지 아니면
원래 생각히 fuzzy해서인지는 모르지만 아무튼 너무 씨리어스하게는 듣지
마시고 수리철학 강의쯤으로 생각하는게 좋을듯하군요. 대중 계몽서수준?

오늘 신(god) 과 무한에 대한 언급을 잠깐해야겠군요.

다음의  " 나는 신에 대한 과학적 증거가 있다면 신을 믿겠다."

라는 문장은  참도 거짓도 아닌 단순 스테이트먼트입니다.

더더욱 이문장은 객관적인 입장을 표명하는것도 아닙니다.

다음 두 문장을 보면

"신은 존재한다 고로 나는 신을 믿는다."

"신은 존재하지 않는다."

이건 완전 왼쪽과 오른쪽 아무런 과학적 근거도 없고 비논리적 문장이라고도
말할수있습니다. 하지만 이 세문장을 비교합시다. 과연 어느게 여러분은
객관적 입장이라고 보십니까? 당연히 증거를 보면 믿겠다는게 가장 과학적이고
객관적이라고 생각하시겠지요. 여기에 대해 저의 반항! 은 주장하는데

이 세입장은 그어느것도 객관적이지 않다. 입니다. 세문장중 신이존재한다는걸
하나의 state로 보고  존재하지않는다는걸 또하나의 sate로보면 둘중하나는

거짓입니다. 신은 존재하면서 존재하지 않을수도 있다고 주장해서
신은 인간논리위의 것이라고 말하면 솔직히 이런거 논할가치조차없군요. 

아무튼 신이란개념을 수학적으로 정의할수있다고 합시다. 
                    ---------------------
let us say the concept of God is definable in a certain language.

이럴경우 신의 존재와 존재하지않음은 둘중의 하나가 참임을 이러한
논리체계에서 말할수있습니다. 이러한 논리체계가 아마도 현실의 종교관을
가장 가깝게 simulate한게 아닌가하는 하나의 모델제시였습니다.

이러한 시스템에서 첫번째문장의 의미는 결국

신이 존재한다면 믿겠다는 conditional statement입니다. if then statement.

이건 참도 거짓도 명확히 구분할수없습니다. 왜냐면 하나의 constraint를
더줘야 하기때문입니다. 

보통 이진 논리에서는 이렇습니다. 이진논리에서 삼진논리로 extention을 할수있는데

삼진논리란 이진논리에서 인디펜던트한게 결국아니고 2진논리에서 generating

할수있는 논리의 subclass일뿐입니다. 2진논리에서는 참거짓 combination이
4개인데 3진논리에서는 9개입니다. 3진 논리에서 참,거짓,maybe라고 합시다.

이진 논리에서 결코 참거짓이 구분되지않는문장을 또다른 maybe sate상으로
둠으로써 이진논리의 2가지 state과 이러한 이진논리 시스템이 생산한
불분명한 문장 세개를 가지고 삼진논리의  base 를 구성하게 됩니다.

결국 이러한 논리에서는 세개의 입장은 동등함을 알수있습니다.

고로 저의 2진 논리 construction으로 즉

신이 존재한다와 존재하지않는다는 두문장에서 만약 신에대한 증거가 있다면
믿겠다는 문장은 결코 위의 두문장보다 객관적이지 않다는 걸 지금까지 보였습니다.


오늘강의는 이상. 위의 construction은 벌써 십년도 넘었는데 고등학교 일학년때
광신도하나하고 논쟁이 붙어가지고 궁여지책끝에 저의 주장에 약간의 논리성을
붙이기위해 만든건데 가만히 이 컨스트럭션을 생각해보면 굉장히 의미심장할
것입니다. 수학의 유명한 몇몇 공리나 정리들이 위의 구성과 analogy 임을
알수있을것입니다.



Applied Math                           Mathematical Statistics
Department of Math.                    Department of Math. and Stat.
University of Toronto                  McGill University
     정 무경  :  chung@math.toronto.edu

[알림판목록 I] [알림판목록 II] [글 목록][이 전][다 음]
키 즈 는 열 린 사 람 들 의 모 임 입 니 다.