Hacker GitHub

← All repos

sethirus/The-Thiele-Machine

View on GitHub ↗ ★ 11 Rocq Prover

A self-verifying proof that the Thiele Machine is a universal model of computation that strictly contains the Turing Machine as the degenerate case blind to its own structural axis. All open source.

4 mentions on Hacker News by 2 people: 2 stories, 2 comments · first 2025-08-21 · latest 2026-01-20

Mentions per year 4 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …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…
    comment by nwthiele · 2026-01-20 · in Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing
  2. 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)
    comment by nwthiele · 2026-01-14 · in Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing