PhilArchive
open access
Halting problem proofs refuted on the basis of software engineering ?
This is an explanation of a possible new insight into the halting problem provided in the language of software engineering. Technical computer science terms are explained using software engineering terms. No knowledge of the halting problem is required. It is based on fully operational software executed in the x86utm operating system. The x86utm operating system (based on an excellent open source x86 emulator) was created to study the details of the halting problem proof counter-examples at the much higher level of abstraction of C/x86.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- David Lewis' Best System Analysis and CP Laws#111310
- Source Level Debugging of Circuits Synthesized from High Level Language Descriptions#640220
- CVE-2026-7863 — HIGH 8.4#781541
- Code Summaries as Diagnostic Context for LLM-Based Program Repair#677449
- Code Summaries as Diagnostic Context for LLM-Based Program Repair#674252
Record · ID 98758
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive