| [ QuizWit ] in KIDS 글 쓴 이(By): scheme (......) 날 짜 (Date): 1995년07월28일(금) 03시43분57초 KDT 제 목(Title): 기사와 건달... Again sorry for my English....As I said before, I can see Korean characters but cannot type them. Tyltyl, thank you for your remark. I understood my mistake. The flaw in my answer is that, actually my argument(that is, the part before 'deducing' the contradiction) is just a single compound statement (which happens to be a tautology) and that doesn't constitute a true deduction on which the latter part of my reasoning can be applied. Dividing cases using the tautology 'A or not A' is not a deduction. Anyway, I realized that it is a lot more difficult problem than I had expected previously. One of the difficulties is that, the guy's statement already contains self-reference or kind of that, so it is usually very hard to 'say' that statement, especially if one wants to formulate it in some formal logics. (Is some sort of Godel numbering or encoding needed? ^_^) But then again, it has *no* relation to truth/falsity, but only to deducibility(provable/unprovable). They are different concepts, and it *seems* rather clear intuitively what the guy means by that statement, if one wants to use only 'naive', intuitive logic. Then, anyway what makes this problem so difficult? ^_^ I have no idea. Just some useless thoughts meant as only digressions... |