Re: Turing's Diagonals

Comments (1)

dart200 · 7h ago

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.

Ask HN: Why hasn't x86 caught up with Apple M series?

Ask HN: How to Learn to Build Agentic AI Systems (Like Claude Code)

Ask HN: What are the best Google alternatives in 2025?

Ask HN: How can I recover and run my old mobile game from the 2010s?

Ask HN: GitHub Copilot down?

Ask HN: What measures are you taking to stop AI crawlers?

Ask HN: Is backlink trading still a problem worth solving?

Units of Economics of LLMs. Reply to Ed Zitron's "AI Is a Money Trap"

Ask HN: What to Do with Old iPads?

Ask HN: Does sentience put stress on the brain?

Ask HN: Is there a temp phone number like temp email?

Out of curiosity: what kind of people use this "forum" (I mean Hacker News)?

Ask HN: What should I use to run React Native tests on a device?

Ask HN: Why are so many services rejecting Google Voice numbers for signups?

Why is AI search still bad at trust and context?

Ask HN: Best codebases to study to learn software design?

Stop squashing your commits. You're squashing your AI too

Ask HN: Any experienced devs who use AI extensively in their work?

Ask HN: Why can't ChatGPT count to a million?

Ask HN: How are you attributing your AI usage when developing software?

Ask HN: Are AI filters becoming stricter than society itself?

Patient Lisp Hacker Seeks Same for Long Walks Through IPL-V Code

Ask HN: Has anyone else used online communities that are archetypically "savvy"?

High rate of LLM (GPT5) hallucinations in dense stats domains (cricket)

Ask HN: What are you working on (August 2025)?

429 Too Many Requests from registry.npmjs.org

Ask HN: I just abandoned my PyCharm subscription, what should I use now?

How can a mutex in Wine be faster than a native one on Linux

Ask HN: What is wrong with modern software development

Ask HN: Recommandation for an Ergonomic Keyboard?

Ask HN: Someone has committed 20K+ LoC to a PR, exhausting my CI & AI workflows

Ask HN: How do you find early stage startups to join

Ask HN: Best Marketplaces for Used Servers?

Ask HN: Does using public transportation make you more creative than driving?

Ask HN: How can I trace what user queries make AI bots crawl my site?

Ask HN: How is Nvidia streaming 4k games while remote control sw is low q lag

Problem with Payment Gateways

Ask HN: Why do people hate on Sabine Hossenfelder so much?

Ask HN: What is the biggest problem LLMs solved in your life/work?

ASK HN: AI in high school. Will teachers and schools have to compensate?

Ask HN: What is your source for answers?

Ask HN: Devices to allow children to listen to podcasts on my local network?

DSPy GEPA Example: Listwise Reranker

Ask HN: No easy way for tvOS to display long documents (e.g., terms of service)?

Re: Turing's Diagonals

Comments (1)