2 citations · 2 across the 2 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2006★ 2 cited
The diagonal lemma as the formalized Grelling paradox
Gyorgy Sereny
Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet t…
math.LO2003
Boolos-style proofs of limitative theorems
Gyorgy Sereny
Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
math.LO1999
Godel, Tarski, Church, and the Liar
G. Sereny
The fact that the famous Godel incompleteness theorem and the archetype of all logical paradoxes, that of the Liar, are related closely is, of course, not only well known, but is a…