There have been 1 topic suggestion tagged with incompleteness.
Completeness, Incompleteness, and Turing Machines
This topic studies the connection between Gödel’s incompleteness theorems and turing machines and how each implies the other
Possible reference materials for this topic include
Quick links: Google search, arXiv.org search, propose to present a talk
computability computer science incompleteness logic theoretical computer science turing machine