Showing math.LOShow all
2 papers · 1 filter
math.LO2020
How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions
Dan E. Willard
Our earlier publications showed semantic tableau admits partial exceptions to the Second Incompleteness Theorem where a formalism recognizes its self consistency and views multipli…
math.LO2018
About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem
Dan E. Willard
We have published several articles about generalizations and boundary-case exceptions to the Second Incompleteness Theorem during the last 25 years. The current paper will review s…