recursion-theory

Here are 5 public repositories matching this topic...

n-goodman / effective-horizons

Four working papers modelling cognitive reach as a Turing ideal: rungs, voids and effective closure, with applications to AI oversight and the Fermi problem; why the sky can be silent and still not be empty. Papers, synopsis and code.

epistemology astrobiology ai-alignment computability fermi-paradox dark-forest recursion-theory turing-degrees

Updated Oct 4, 2026
Python

cizekmilan / universal-turing-machine-simulator

Sponsor

Star

Universal Turing Machine Simulator with text/binary machine definitions, demos, simulation core, and WinForms GUI.

simulator csharp dotnet turing-machine theoretical-computer-science formal-languages turing-machine-simulator theory-of-computation universal-turing-machine automata-theory computability recursion-theory

Updated Jul 18, 2026
C#

cizekmilan / skeletsharp-interpreter

Sponsor

Star

Educational .NET interpreter for a minimal skeleton/while language demonstrating computability through increment, decrement, and while loops.

parser interpreter csharp dotnet grammar theoretical-computer-science formal-languages theory-of-computation automata-theory computability minimal-language recursion-theory recursive-language

Updated Jul 18, 2026
C#

cb-g / lizhi

Star

crabsatellite / einstein-test-lean4-formalization

Star

Lean 4 formalization companion to 'What the Karpowicz Theorem Does Not Prove' (Li, 2026)

formal-verification kolmogorov-complexity mathlib lean4 large-language-models recursion-theory philosophy-of-ai verification-asymmetry einstein-test

Updated Sep 2, 2026
Lean

Add this topic to your repo

To associate your repository with the recursion-theory topic, visit your repo's landing page and select "manage topics."

Learn more