2020/04/22 by Joost van Dijk, van Dijk, Joost, Alexander Gietelink Oldenziel +1
Computer Science · #03A02 #03F02 #18C02 #18D02 #18E02 (Primary) #Advanced Algebra and Logic #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2004.10482
openalex publication_date 2020/04/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We give proofs of Gödel's incompleteness theorems after A. Joyal. The proof uses internal category theory in an arithmetic universe, a predicative generalisation of topoi. Applications to Löb's Theorem are discussed.