| [ QuizWit ] in KIDS 글 쓴 이(By): iLUSiON (멍멍이하인��) 날 짜 (Date): 1994년12월26일(월) 08시52분01초 KST 제 목(Title): 괴델문제 공개강좌 6. 안녕하세요. 가만히 생각해보니까 그 이발사 문장 이렇게 생각하면 말도 되고 저렇게 생각하면 또말이되고... 제생각은 콘백스헐님과 거의 같습니다. 엄밀히하면 '모든'이란게 빠졌지요. 그런데 로직에는 또이런게 있지요. open variable이라고, 앞에서 퀀티파이어가 제한하지않으면 자유스럽게 모든것을 의미하게 되어있던가 말던가. 아무튼 'there exist a babo(@@^) who shaves those who don't shave themself' 라는 문장을 그냥 생각없이 국어로 나타낸건데... 엄밀히는 의문점을 제기하신분의뜻이 맞지만 논리의 공식화는 언어에서의 논리와 약간은 다릅니다. 가장 불분명한 경우가 all, some, any인데 특히 some 과 any는 영어에서 처음배우는 학생들이 가장 헤깔리는 부분중의 하나입니다. 이발사 문장에서 중요한 요점은 이문장이 참인가 거짓인가 하는것입니다. 모든 문장(There exist...)은 반드시 참이나 거짓이어야 합니다. 뭐 신이 존재한다와 같은 신의 정의조차 안되는 문장말고요. 존재를 의마하는 문장은 다음의 경우를 생각하면 재미있는결과가 나오지요. 'X does not exist.'참인 우리의 기본적 스타팅 포인트로 보면 'X is a car' (FALSE) 'X is beautiful' (FALSE) .....등등 모든 X를 설명하는 디스크라이브하는 말은 거짓이 됩니다. 존재하지 않기㎖문입니다. �� 환상 �� CopyLeft 존재는 사치일뿐 .... 아엠 더 원 후 헤즈빈 익스펙티드. 엔드 유아 저스트 팔로우어스 오브 더 리빌드 일루전. 더 이어 오브 일루전 2002 7g59GA >FAvDZ4B 8E?l9]B&@L4B DZ, 88@O 3;0! :C4Y8i :R:Y4B4Y G_0ZAv@L..>H033"@N <:E:@}3/ ;jE87gD!>F, 3;=d8E |