[Falanxi Dacai Shifu], Humans Don't Need to Prove Their Thoughts Are Human Thoughts

[Falanxi Dacai Shifu] came on today and immediately posted slandering me for saying the diagonal method is omnipotent. But his post shows he doesn't understand what the diagonal method is at all. He treats the diagonal method as a logical method like proof by contradiction, which is wrong. The diagonal method is merely a construction method. The diagonal method alone proves nothing -- it must be combined with logical methods to be useful. This is very basic mathematical common knowledge. This is precisely what I explicitly pointed out in my reply to that "Simen Zhu" character yesterday. Specifically for Miss Chan's example, the diagonal method is without problems in both its constructive aspect and its combination with proof by contradiction.

[Falanxi Dacai Shifu] has never understood the meaning of the definition in Miss Chan's proof, and has made the absurd demand that Miss Chan prove her definition is a human thought. Excuse me -- as long as Miss Chan is a human, Miss Chan's thoughts are naturally human thoughts, whether those thoughts are definitions or anything else. This reveals that this chef fundamentally hasn't distinguished between human thoughts and thoughts recordable by computers. Thoughts recordable by computers are connected to the Boolean algebra foundation of computers, which determines that computer-recordable thoughts must come character by character.

In Miss Chan's proof, the diagonal construction is only one indispensable step, not the whole thing. It also utilizes the basic mode of computer recording. This mode determines that computer records in the real universe can only be finite. This too is an indispensable step in Miss Chan's proof -- without it, Miss Chan's proof wouldn't hold. Anyone with some mathematical and physics background can see this clearly!

Let me also add a supplementary point: human thought is not the same as propositions. Propositions can be right or wrong; thoughts don't necessarily have right or wrong. This is also one of the most important characteristics of human thought. Of course, this is unrelated to Miss Chan's proof, so I won't elaborate. Also, let that chef continue to study Miss Chan's proof carefully, and also understand this: humans don't need to prove their thoughts are human thoughts! Anything that can be thought of is a human thought. Whether it can be recorded is another matter entirely -- this is the fundamental difference between the human brain and the computer!