PR !4#10998: feat(Logic): Arithmetization of partial recu...

Stream: triage

[Random Issue Bot]

Today I chose PR 10998 for discussion!

feat(Logic): Arithmetization of partial recursive functions (toward Gödel's first incompleteness theorem)
Created by @Hunter Monroe (@hmonroe) on 2024-02-27
Labels: awaiting-author, t-logic

Is this PR still relevant? Any recent updates? Anyone making progress?