HackerTrans
TopNewTrendsCommentsPastAskShowJobs

dart200

no profile record

Submissions

Re: Turing's Diagonals

academia.edu
2 points·by dart200·11 bulan yang lalu·1 comments

comments

dart200
·5 bulan yang lalu·discuss
for profit software is pretty gross tho. it can be made indefinitely complex, and people can make and sell tools to patchwork the complexity together, but then u need more tools to patchwork all the tools together ...

and u end up in aggregators aggregated aggregators type situation where optimal solutions never arise because we don't actually cooperate enough to produce them

ai is fitting into the notion that this is all bullshit ... even if not in the correct way
dart200
·11 bulan yang lalu·discuss
This is an intuitive proof that directly refutes Turing's intuition underlying his arguments for undecidability, by rectifying the decision paradox found in the diagonal computation for computable numbers. Once this paradox is rectified we find the resulting computation sufficient to compute a direct diagonal, but not sufficient to compute an inverse diagonal that could be used to "diagonalize" the computable numbers as Cantor did with the reals.

This is an application of novel intuition that I do not know how to formalize into more traditional forms of expression for computability. But Turing's rational also did not utilize those more formal expressions, which is why I'm applying the novel intuition directly against his paper and not elsewhere.
dart200
·11 bulan yang lalu·discuss
this is my paper AMA

or just rag on me like everyone else does :/
dart200
·2 tahun yang lalu·discuss
> The worst people in the world already know this and run our industry. There's no reason we have to accept them.

tbh until we change the way to go about politics, or collective decision making, this isn't going to change.