trishankkarthik

8 ms·

31.
by trishankkarthik 7y ago
Firstly, have you read ImaCake[1]? Secondly, if you're so smart, why didn't you write this essay, and refute it yourself? [1] https://news.ycombinator.com/item?id=21622871
32.
by trishankkarthik 7y ago
Related to the G's essay[1] on genius. AMA! [1] http://paulgraham.com/genius.html
33.
Why no one is exponentially smarter than others(medium.com)
36 points by trishankkarthik 7y ago|54 comments
34.
by trishankkarthik 9y ago
We're talking past each other. Please revisit Sipser's proof for why the halting problem is TM-uncomputable, and you'll see what I mean.
35.
by trishankkarthik 9y ago
That seems to me an unnecessary, artificial restriction. Then it's incomplete: it doesn't solve the Halting Problem. That's the point: either the system is incomplete or inconsistent.
36.
by trishankkarthik 9y ago
Wait a minute --- this hypercomputer is still impossible by my conjecture. For if it were possible, then you could use it as an oracle to build that self-contradicting Turing machine halts if and only if it does not halt.
37.
by trishankkarthik 9y ago
Interesting, thanks for bringing this to my attention! In turn, this raises the question of hyper-hyper-computers more powerful than hypercomputers: https://cs.stackexchange.com/a/4871 It reminds me of what Whitehead a
38.
by trishankkarthik 9y ago
I'm not getting defensive, my friend. I was merely challenging you to think through the logical implications of hypercomputation. What many people miss is this: hypercomputation leads to living paradoxes. They might then have to bend o
39.
by trishankkarthik 9y ago
But never say never. "Reality/logic/math" can be a lot stranger than you think. I understand it's a Black Swan kind of problem, but I don't think we live in that reality. Please show me a contradiction. The r
40.
by trishankkarthik 9y ago
I conjecture that hypercomputation is impossible for the following simple reason. If you could solve the Halting Problem [1], then you could build a "living" contradiction, where a machine halts if and only if it does not halt. (S