3 citations · 3 across the 1 of their papers we have counts for
1 paper
Sebastian Oberhoff
In this essay we'll prove Gödel's incompleteness theorems twice. First, we'll prove them the good old-fashioned way. Then we'll repeat the feat in the setting of computation. In th…