Unable to load image
Reported by:
  • ObamaBinLaden : Let me tell you why this fraggot from 80 years ago was wrong. Do something productive mf
  • KweenBee : Homophobia

EFFORTPOST :marseybigbrain: how turing was wrong: part 1

this is of course, waaay too fking technical for you to actually understand... so please close this post now and go back to eating that bag of dog cum u had saved up for later, i ain't judging!

but academia is waaay too stiff for me, i much prefer the flaccid dicks rdrama has to offer, so here goes:

in his paper "on computable numbers" turing spent the first half of the paper inventing the theory of modern computing, and proving that said machines he theorized can be described by a single finite length natural number, called it's description number. if u have no idea what that means, or even what binary machines code is... srsly i do recommend consulting that bag of dog semen for further info.

now, the fact these machines can be assigned a unique finite-length number, as each binary code for a machine is unique, has the effect that they as a set, can be bijected with, or assigned a one-to-one relationship to, the set of natural numbers. this has the important implication of being able to count them, meaning we can list then out one by one, in some order, without skipping over any. yes, yes, ur mum told u that u can do anything (u can't), but mathcels get very ornery and uptight about what it means to be able to successfully count a set of things, as not all sets are countable. for example u might think u can just count all real numbers, but actually ur too busy drinking dog sperm while cantor chuckles softly in background, so it won't ever happen.

lets move onto the title line: "computable number". the concept is simple, even for you: it's just a number which we can build a machine for, that can calculate any nth digit. for example: pi is a computable number because we can build a machine that can eventually calculate any nth digit of pi. now there are an infinite number of these, obv, and because these computable numbers can be associated with the machines that compute them, and machine are countable... these computable numbers are countable, as well. muster up all of whatever the fuck that is u call a brain, and don't forget it! (u will)

this brings us to the famous §8 where basically everyone thinks turing went on to prove some ground breaking, mind bending, result of the ages, but was actually just a series of fuckups that has largely contributed to the ungodly world of idiocracy we witness today, in which we confused our ignorance for knowledge and declared math as indefinitely incomplete. just like ur parents marriage.

the section more or less goes like:

well, if machines that compute numbers are countable, then the count can be tricked! i could do this by writing a machine that counts through them, and for each nth machine, calculates the nth digit, returns the inverse of that nth digit, and i can use this to build an inversed diagonal number β. because this β would contain a digit different from every other number on the list, it can't exist is the count!

but since that can't be possible, what's wrong here is counting them would be equivalent to solving the halting problem, and there is no known method of doing that, so obviously we can't acktually count them. so therefore the set of computable numbers stays countable, because they aren't able to be counted. furthermore, because this has the disadvantage that it may leave the reader with a feeling that "there must be something wrong", i will present the halting paradox that backs this up! fin. bow down and suck the dick of incompleteness u fools!

now what a fking mess: the set of computable numbers remains "countable", because we have no method to acktually count them!? i must say, i truly am left with the feeling that "there must be something wrong". i appreciate the effort for the modern theory of computing, turing, but ya shouda stopped there... and i don't want to get into the fact literally all of computer science from then until now just dogpiled ontop with biazzare classifications to justify this like "countable" vs "recursively enumerable" that basically does fuck all but jerk off about how right this!

so anyone else spot the error? no, u didn't, don't fking lie to me, u can't do it. ur a fucking idiot like everyone else. u actually drank all that dog cum, and moved onto raiding the cat litter. marsey is disappoint. :marseyunamused:

but mommy put ur dumbass through a bootcamp cause u failed out of collage, twice, and now u consider urself a "codecel". so let me translate the issue into a language that resembles the utter dogshit u barf up day after day:

inverse_diagonal = (n: number) -> {
  count = 0
  for (comptuable_number) in (enumerate.computable_numbers()) {
    if (count < n)
      count += 1
    else
      return computable_number(n) ? 0 : 1
  }
}

enumerate_diagonal = () -> {
  for (n = 0; true; n++) print inverse_diagonal(n);
}

running enumerate_diagonal is the machine turing claims can calculate β. the problem is it can't actually do that, and it can't do that regardless of whether this would solve the halting problem or not. that halting connection a totally an irrelevant thread turing had no business going down, because there is a more fundamental reason why this doesn't work...

still can't see? ok, i'll throw u a bone, it's a bit healthier than that cat shit u've been munching on. recall that we are counting through the computable numbers, "enumerate" being a fancy word for doing this, so the iterable enumerate.computable_numbers() must iterate over all computable numbers. if turing's claim is to be true, this must also include inverse_diagonal itself, what happens then?

.... no? still don't get it?? god i really am gunna spell out everything line by line, eh? fuck:

  • (1) inverse_diagonal is the machine that computes digits of β.

  • (2) at some input n, the variable comptuable_number will be the machine inverse_diagonal referring to itself, as if β is to be part of the set of computable numbers, then the machine that computes it will need to eventually be enumerated upon,

  • (3) at that point, inverse_diagonal will run the equivalent of inverse_diagonal(n) and get stuck in infinite recursion.

  • (4) therefore, you cannot prove the halting process contradictory through means of β, as β cannot give an inverse to it's own nth number, and therefore cannot be a proper inverse diagonal, regardless of any "hidden assumption" about solving the halting problem. that was totally necessary to bring up.

if u can't understand it now, u had no business reading this post in the first place, and just go jump off a building or something fun like that. ur daddy will be proud that u've learned to fly! think of it as "falling with style". :marseyplanecrash:

for that one slightly less of a retard still with me:

it's absolutely absurd turing didn't see this. the dude went on to proudly to use an infinite recursion issue in his paradox construction on the very next page, so why didn't he see that here? heck he even intuited a sense of wrongness about these initial thoughts on the matter, but i guess was so enamored by the halting problem he just didn't dig deep enough into β to recognize the wrongness inadvertently he went down. i can't explain that anymore than the idiots that just jumped off a building over an rdrama suggestion, that they voluntarily read :marseyshrug:

honestly, i accept the dude being fallible, i forgive u turing. u gave us the theory of modern computing, and that really was a fucking stroke of genius for the ages. this mistep is almost entirely not ur fault.

but what i really can't explain is how the flying fuck this went unnoticed for so long.

what the fuck have mathcels being doing?!

:marseypeanutbrain:

48
Jump in the discussion.

No email address required.

Well, if you assume inverse_diagonal represents a computable number, then its program must terminate for all n. But then, as you show, we have infinite recursion in the exection of it, so it is not computable. Conversely, assume that infinite_diagonal is not in the set of computable numbers. Then the procedure you describe does terminate for all n, so it is computable. Sounds awfully similar to the halting problem, no? :marseysmughips:

Jump in the discussion.

No email address required.

the resolution to this is similar to the resolution i've been working on for the halting paradox:

the computational context you run a calculation in is a "hidden assumption" that is actually an input to the calculation. meaning for enumerate.computable_numbers() to ensure it both remains consistent and computable, in a strict sense at least, a complete description of the computation it needs to stay consistent and computable with would need to be given as input. for a turing machine this means source code, memory access, and an instr pointer to the calling stack of functions.

this way it could detect what ur trying to do, feed u ur own bullshit back as the first enumeration, u'd infinite loop. maybe it could throw an exception INCOMPUTABLE if it's feeling real nice that day.

in practice we wouldn't do this cause we'd be working with enumerations that would be instead approximate to the oracle proper, under the assumption u aren't being a nuisance with the input trying compute what is actually incomputable, and it wouldn't do this check. the smartass that tries would be pat on the head, sent back to computability theory 101, prolly given a helmet, and a box of kleenex for his drool. gross...

nice try tho! i knew posting here could be useful. ur that one person still with me, the rest should've jumped off a building already. :marseycool:

Jump in the discussion.

No email address required.

this way it could detect what ur trying to do, feed u ur own bullshit back as the first enumeration, u'd infinite loop. maybe it could throw an exception INCOMPUTABLE if it's feeling real nice that day.

First of all, you're literally trying to move the goalposts. inverse_diagonal is either in the list of computable functions or is not. If it's not, then enumerate.computable_numbers() lies. Your idea, that enumerate.computable_numbers() not just omits it, but goes into an infinite loop when it encounters something that contains its own source code, is doubly retarded, because it just means that it's 100% guaranteed to freeze after enumerating some finite number of functions.

Second, there is an interesting question there, can we in fact figure a useful definition for a function HALTS(f, s) -> {yes, no, fuck_off}? I don't know the answer, I thought about it for a couple of days on and off back then, the stuff I came up was either too weak (sure, static analyzers exist) or defeated by Rice's theorem.

Jump in the discussion.

No email address required.

First of all, you're literally trying to move the goalposts

:marseydarkbrandon:

inverse_diagonal is either in the list of computable functions or is not

it's not. but u trying to run it, is the equivalent of u trying to put it in the list of computable functions.

i think the best the answer here is the enumerate.computable_numbers() will check the calling code to see if it's of the form of a computable number, and feeds back that program first before enumerating out anything else on the list. it won't generate the program itself, but u can try to run it if ur dumb.

u causing a loop here, in what u do with that return is (a) not the problem of enumerate and (b) perfectly in line with what should happen in theory. so garbage in => garbage out.

defeated by Rice's theorem

:marseyrofl:

can we in fact figure a useful definition for a function HALTS(f, s) -> {yes, no, fuck_off}

there's actually a big problem with this definition, one that the naive oracle proposed by turing suffers from as well: it's actually an nondeterminate set mapping.

nondeterminate_func = () -> {
  if (halts(nondeterminate_func))
    return
  else
    loop_forever();
}

if halts(nondeterminate_func) -> true then nondeterminate_func halts.

if halts(nondeterminate_func) -> false then nondeterminate_func runs forever...

so what set assignment is correct? both work?! what happens when nondeterminate_func is actually run?? whatever the fuck halts() feels like that day?

like fuck dude, the naive oracle has both undecidable inputs in some places, and nondeterminate inputs in others?!

and we've spent almost a 100 years going: yeah totally fking makes sense to form proofs about fully determinate state machines using function mappings that are both undecidable and freaking nondeterminate....

jesus h. christ i'm stuck on a god damn mad house of absolute clowns :marseyropewithme:

Jump in the discussion.

No email address required.

Dude, you are r-slurred and high on meth or equivalent.

Do your homework. Until you come up with a proposed definition of "nondeterminate" (if that's what you meant) that is mogged by the Rice's theorem you have not been trying.

like frick dude, the oracle has both undecidable values in some places, and nondeterminate answer in others?!

That's your problem bro. You're plumbing the depths of what Anal Touring discovered, shake your head in disbelief, and somehow conclude that he was wrong to declare that HALTS is uncomputable.

Jump in the discussion.

No email address required.

*nondeterministic

neither turing's halting oracles nor rice's generalized oracles are deterministic mappings regardless of u getting ur panties in a twist over decidability squabbling.

they weren't valid interfaces to be making conjectures, or theorems, or whatever the frick u call that garbage fallacy u put so much faith in... about deterministic finite-state machines.

u being a dribbling r-slur along with the entire rest of the mathematics community will never make these valid models of deterministic finite-state machines.

now where's ur darn helmet buddy, looks like ur about to trip and fall over a depth of ignorance i can't even begin to describe...

Jump in the discussion.

No email address required.

https://i.rdrama.net/images/16758166234569614.webp

Jump in the discussion.

No email address required.

Link copied to clipboard
Action successful!
Error, please refresh the page and try again.