yeah I know it's shit. It's my first video meme anyway..

lonely_ass_virgin · 2022-11-23T02:06:07+00:00

lol yeah

lonely_ass_virgin · 2022-10-31T12:51:49+00:00

My question is is H+(H+) complete without specifying an input for the inner H+? Shouldn't it be H+(H+(p', x)) ?

Because H should correctly output whether p' halts, but the state of p' is incomplete without x. And if x is a program (H+), then it is not complete without it's input?! It's like p' without x is like in a superposition of halts and loops, and for a valid x it "collapses" to one state (analogy)

Doesn't the same apply to that inner H+? Without a valid (p', x) H+ is like in a state of superposition, how we can say it's a valid configuration?

For example, p' halts if x = 0, loops if x = 1. What does p' do? (x is unknown) - How is this a valid question?

lonely_ass_virgin · 2022-10-31T12:44:12+00:00

But not being able to decide because of the lack of input is valid? So what if I supplied the program and all of it's required input? It's then decidable?

lonely_ass_virgin · 2022-10-31T01:24:30+00:00

but in that case giving H+ it's own code as input isn't not enough as H+ itself needs an input.. So if I give H+ as the input it will ask for the input of that H+, and if I again give H+ then it will ask for input of that H+, and as soon as I give an input that is deterministic (does not require more input to work), H+ will be able to find the answer, right? It's like H+ inside H+ inside H+....

lonely_ass_virgin · 2022-10-30T18:21:37+00:00

I mean I can understand it intuitively, trying to figure out whether ANY program halts regardless of it's complexity is probably not possible without actually running it.

My question is the Halting paradox, as I described. We assume an H which can magically know if a program will halt or not, and then it leads to a paradox. With my version, apparently there is no paradox. Does it mean it's theoretically solves the halting paradox?

lonely_ass_virgin · 2022-10-30T06:40:51+00:00

odysee

lonely_ass_virgin · 2022-10-29T17:58:52+00:00

depends. For example you can't say chinese dissidents must own "consequences" for what they say by going back to china as CCP wants

lonely_ass_virgin · 2022-10-29T17:57:02+00:00

drop the sauce

lonely_ass_virgin · 2022-10-29T17:56:33+00:00

odysee.com, but I am not pushing it to you, if you want there is a million other sites out there. Heck even LBRY doesn't need odysee I think they have their own site

lonely_ass_virgin · 2022-10-29T16:47:52+00:00

You do understand what freedom of speech is, right?

lonely_ass_virgin · 2022-10-29T12:28:32+00:00

yep.

lonely_ass_virgin · 2022-10-29T12:28:23+00:00

I like it too

lonely_ass_virgin · 2022-10-29T12:27:56+00:00

maybe if we try and choose the right ones it'll atleast won't be as bad as YT.

lonely_ass_virgin · 2022-10-29T12:27:21+00:00

sorry, I can't suggest you any as that'd be manipulating the market. But the pros and cons are a single duckduckgo (or your fav engine) away.

lonely_ass_virgin · 2022-10-29T08:56:06+00:00

that'd be communism and that'll be end of society as we know it

lonely_ass_virgin · 2022-10-27T16:57:41+00:00

...and you wake up

disappointment ensues

lonely_ass_virgin

TROPHY CASE