TimeSeeker wrote: ↑Sun Nov 11, 2018 7:14 pm
Averroes wrote: ↑Sun Nov 11, 2018 6:07 pm
TimeSeeker wrote: ↑Wed Nov 07, 2018 7:47 pm
English (and all natural languages) are broken - their Turing-completeness can't even be verified unless their grammar is formally defined. You don't get to insist on "proof" while also insisting that it be proven in a framework which lacks the grammar and semantics to express it.
If English (or any other natural language) is “broken”, then don’t use English (or any other natural language). Choose another language which is not “broken.” So as from now, reply/post in a language which is not “broken.”
TimeSeeker wrote: ↑Wed Nov 07, 2018 7:47 pm
And since proofs are isomorphic to algorithms
English is the wrong tool for logic!
Why are you still arguing in English then? As from now, just choose another language which is not a natural language! I am so sure that you can't that I challenge you to post as from now in a language which is not English or a natural language.
It seems you have changed your tune all of a sudden? It was your claim that all expression is language.
That’s still English! Why are you still using English now?? You wanted so much to write in ‘high level languages,’ which is not “broken” like English! Here, I gave you the opportunity, I even challenged you to write exclusively in a language which is not a natural language, and yet you keep sticking with the English language which is, according to you yourself, “broken” and “a wrong tool for logic!” Come on now, I challenge you again to write exclusively in a language other than English or a natural language, according to your own wishes! Giving up again?!
You call this kindergarten stuff an argument? You could just as well have written a “Hello World” program, and it would have had the same effect! No wonder, you cannot be logical in the English language when you do not even know what an argument means in the English language! That was Ruby and not Python by the way!
TimeSeeker wrote: ↑Sun Nov 11, 2018 7:14 pm
And it takes that much extra effort to correct all the errors you are making when using English for logic.
Indeed, you make a lot of mistakes and even big logical and factual blunders, which I have been correcting through and through on this thread. For example, you did not understand Godel imcompleteness theorem and I had to educate you
here. And then you did not know that the law of non-contradiction is upheld in intuitionistic logic, which I informed you about
here. And then you confused the law of non-contradiction with proof-by-contradiction, which I also corrected
here as well. And many more errors that you keep making which again and again dutifully I have been correcting! The last time I corrected you
here, you broke down on me and suddenly lost all hope and all your abilities to exchange with me in the English language, and thus gave up on proving your claim that there can be thoughts which cannot be expressed in language! So now, I cannot pressure you too much out of concern that you might break down on me again and then this interesting conversation will be over! There are some more mistakes that you made that need to be corrected, but first I need to prepare you psychologically. And no doubt it takes a lot of effort (as you say) for me to constantly educate you like that. As you can see, I am making many steps towards you, and I think it will greatly benefit this exchange if for every step that I make towards you, that you too try to make an effort to meet me in the middle!