trureturing — Discovering truth
trureturing is a truth-discovery library. Its name brings together true, return and Turing: truth, return and Turing computation. Logic here includes mathematical reasoning as well as philosophical and conceptual inquiry.
If machine learning is a logical black box, this project is a logical white box. Definitions, assumptions, proof steps and dependencies make reasoning inspectable. All logic can be formalized is the guiding conviction, not a universal theorem or a completed capability. Lean proofs establish their stated claims under their assumptions; research inputs, experiments and open questions retain their own scope.
This entrance offers a glimpse of the iceberg. Bring your own question and explore its larger shape for yourself.
Start your journey with Claude Code or Codex — current upstream guidance.
Search
Follow a question
- What can these observations distinguish? Work through four states and the four information-escape questions.
- Can a plausible formula fail? Follow the refutation of the literal OEIS A175406 floor formula at an explicit index.
- Do local observations determine the whole? Explore a finite quantum-state example: two different global states have the same local marginals.
- What is recorded as resolved, and what has no recorded resolution? Explore the external problem dossiers and their snapshot resolution records.
Continue with current upstream guidance:
First run ·
Use Claude Code or Codex and contribute ·
Three places to look.
These links follow upstream dev and may describe work beyond this book’s snapshot.
About this snapshot
This site is an automatically derived projection of the Blueprint/, Problems/ and Library/ Markdown content in
the-omega-institute/trureturing, published for browsing and search.
The source of mathematical truth is always the upstream repository, never this site.
The content shown here is pinned to upstream commit ae329f04552cf7872b9430b4f31df52af784cea7.
Snapshot built at 2026-10-03T08:05:08.004217Z (UTC).
Upstream changes are checked on a nominal 15-minute schedule. GitHub may delay or skip scheduled runs, and builds and deployment take additional time. The build time describes this snapshot, not the last check for changes.
The generator, configuration and workflows in this repository are MIT licensed. For upstream content, consult the license and any content-specific notices in the upstream source at this snapshot. This site grants no rights to that content and does not sublicense it. KaTeX and Pagefind assets retain their own copyright and license notices.