164 citations · 291 across the 10 of their papers we have counts for
1 paper · 1 filter
Serafim Batzoglou
I present the proof of Goedel's First Incompleteness theorem in an intuitive manner, while covering all technically challenging steps. I present generalizations of Goedel's fixed p…