HackerTrans
トップ新着トレンドコメント過去質問紹介求人

nwthiele

no profile record

投稿

[untitled]

1 ポイント·投稿者 nwthiele·16 日前·0 コメント

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com
9 ポイント·投稿者 nwthiele·6 か月前·4 コメント

コメント

nwthiele
·6 か月前·議論
Update: Thanks for the early feedback!

To clarify the “beyond Turing” claim without fluff—it’s not about hypercomputation magic, but introducing μ-bits as a constrained bit model that enforces physical realism (e.g., conservation laws via Noether’s theorem) in chaotic/emergent systems. This makes it “stricter” than TMs for certain real-world simulations, while still universal (proven in Coq, zero admits).

If you’re curious:

• Quick Python sim to play with: https://github.com/sethirus/The-Thiele-Machine/blob/main/sim... (try running a simple chaotic iteration).

• Hardware angle: Verilog for FPGA prototyping—anyone with ASIC experience want to collab on optimizing for low-power emergent logic?

• Thesis highlights: Ch. 7 on emergence in physics/AI, or Ch. 10 on why this could matter for verifiable ML training under constraints.

What breaks it for you? Proof holes, sim perf, or just the physics tie-in? Open to PRs or discussions!
nwthiele
·6 か月前·議論
Fair, but the Coq proofs are zero-admit. Here is why it's falsifiable... https://github.com/sethirus/The-Thiele-Machine/blob/main/the... (Chapter 5)