Dan E. Willard

Albany State University — United States

Computer Science · Physical Sciences

24h-index6.7kcitations74works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Data Management and Algorithms(28), Algorithms and Data Compression(22), Logic, Reasoning, and Knowledge(20), Logic, programming, and type systems(17), Computational Geometry and Mesh Generation(14)

Publications74 total

About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction
Journal of Logic and Computation·2020· 1 cited
How the Law of Excluded Middle Pertains to the Second Incompleteness\n Theorem and its Boundary-Case Exceptions
arXiv (Cornell University)·2020Open Access
How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions
arXiv (Cornell University)·2020Open Access
On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction
Lecture notes in computer science·2019· 2 cited
About the Chasm Separating the Goals of Hilbert's Consistency Program\n from the Second Incompletess Theorem
arXiv (Cornell University)·2018Open Access
About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem
arXiv (Cornell University)·2018Open Access
Implications of the Trivers-Willard Sex Ratio Hypothesis for Avian Species and Poultry Production, And a Summary of the Historic Context of this Research
arXiv (Cornell University)·2017Open Access
On How the Introducing of a New $\theta$ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency
arXiv (Cornell University)·2016· 2 citedOpen Access
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
arXiv (Cornell University)·2016Open Access
On the Broader Epistemological Significance of Self-Justifying Axiom Systems
Lecture notes in computer science·2014
On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux
arXiv (Cornell University)·2013Open Access
On the Significance of Self-Justifying Axiom Systems from the\n Perspective of Analytic Tableaux
arXiv (Cornell University)·2013Open Access
A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics
arXiv (Cornell University)·2011· 1 citedOpen Access
Some specially formulated axiomizations for I<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="normal">Σ</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math>manage to evade the Herbrandized version of the Second Incompleteness Theorem
Information and Computation·2009· 9 cited
Passive induction and a solution to a Paris–Wilkie open question
Annals of Pure and Applied Logic·2007· 12 cited
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
Journal of Symbolic Logic·2006· 15 cited
The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem
Electronic Notes in Theoretical Computer Science·2006· 1 citedOpen Access
A generalization of the Second Incompleteness Theorem and some exceptions to it
Annals of Pure and Applied Logic·2006· 28 cited
On the Nature of Godel's Second Incompleteness Theorem
2006
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
Journal of Symbolic Logic·2005· 24 cited
page 1 of 4Next →

Frequent Co-authors

Michael L. Fredman(4), George S. Lueker(2), Robert Trivers(1), Young Cheul Wee(1), Brenda S. Baker(1), Scott M. Lanyon(1), Douglas F. Stotz(1)