1 citations · 1 across the 6 of their papers we have counts for
6 papers
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…
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…
Implications of the Trivers-Willard Sex Ratio Hypothesis for Avian Species and Poultry Production, And a Summary of the Historic Context of this Research
Dan E. Willard
At a theoretical level, the Trivers-Willard Sex Ratio Hypothesis applies to both avian species and mammals. This article, however, conjectures that at the statistical level, sex ra…
On How the Introducing of a New Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency
Dan E. Willard
A new function primitive is proposed that almost achieves the combined efficiency of the addition, multiplication and successor growth operations. This function symbol enab…
On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux
Dan E. Willard
This article will be a continuation of our research into self-justifying systems. It will introduce several new theorems and their applications. (One of these results will transfor…
A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics
Dan E. Willard
This paper will develop a single framework for unifying, simplifying and extending our prior results about axiom systems that retain a partial knowledge of their own consistency, v…