164 citations · 291 across the 10 of their papers we have counts for
Showing math.HOShow all
2 papers · 1 filter
math.HO2022
Independence of the Continuum Hypothesis: an Intuitive Introduction
Serafim Batzoglou
The independence of the continuum hypothesis is a result of broad impact: it settles a basic question regarding the nature of N and R, two of the most familiar mathematical structu…
math.HO2021
Goedel's Incompleteness Theorem
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…