Skip to content

add(Incompleteness): First incompleteness theorem from the halting problem#836

Merged
SnO2WMaN merged 2 commits into
masterfrom
halting-incompleteness
Jul 4, 2026
Merged

add(Incompleteness): First incompleteness theorem from the halting problem#836
SnO2WMaN merged 2 commits into
masterfrom
halting-incompleteness

feat(Incompleteness): prove ComputablePred.iff_decoded_pred

871a3c7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check references.bib format
succeeded Jul 4, 2026 in 32s