Faculty

Institution

Unit

Venue

Dan Edward Willard

University at Albany, SUNY

Affiliations

College of Nanotechnology, Science, and Engineering

Department of Computer Science

NoneDan Edward Willard is currently serving as a College Of Nanotechnology, Science, And Engineering faculty at University At Albany, Suny.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Dan Edward Willard

University at Albany, SUNY

You can click a keyword to filter the displayed items

computer science applied mathematics information retrieval machine learning logic in computer science data science second incompleteness theorem incompleteness mathematics data mining mathematical logic information theory scientific computing databases automated reasoning informatics computational science information science machine learning research data management combinatorial optimization computational optimization search technique database processing applied logic orthogonal range queries self-verifying axiom systems relational calculus expressions conflict resolution numerical algorithms database theory formal systems lower bounds query expansion computational complexity theory computational learning theory classical logic query analysis computability theory dense sequential files quasilinear algorithms semantic tableaux version multi-dimensional search trees reduced memory space information technology mathematical optimization function spaces data retrieval spatial computing geometric learning hash functions data indexing search technology decision tree learning tree automaton sorting algorithms matrix analysis database tuning query optimization sampling theory sampling techniques sampling (statistics) hidden markov model algorithmic information theory proof complexity information theoretic bound range restriction capability polygon retrieval fast search operations density control algorithm fusion tree fusion trees computational model theory knowledge representation and reasoning computational logic database systems biological computation database technology

Notable Scholarly Works

Notable Federal Grants

Collaborators

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)

Dan E Willard

theory of computationsemantic tableau deductionlogic in computer sciencesecond incompleteness theoremboundary-case exceptionsincompletenesscomputer sciencecomputational logicformal semantics

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)

Dan E. Willard

logic in computer sciencetheoretical computer sciencesecond incompleteness theoremsemantic tableaux deductionboundary-case exceptionsincompletenesscomputer science

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)

Dan E. Willard

function symbolformal theoryown hilbert consistencyaxiom systemsapplied mathematicsmathematicspure mathematics

On the Broader Epistemological Significance of Self-Justifying Axiom Systems. Lecture notes in computer science (2014)

Dan E. Willard

broader epistemological significanceepistemic logicepistemologycomputer scienceself-justifying axiom systems

A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics. arXiv (Cornell University) (2011)

Dan E. Willard

self-justifying logicslogic in computer scienceformal methodslogical formalismapplied logicapplied mathematicsmathematical logicautomated reasoning

Some Specially Formulated Axiomizations for I Σ 0 Manage to Evade the Herbrandized Version of the Second Incompleteness Theorem. Information and Computation (2009)

Dan E. Willard

scientific computingcomputational optimizationoperator theorydiscrete mathematicscomputational complexitycomputational sciencealgebralogic in computer scienceinformation theoryfunction spacescomputability theoryproof complexityalgorithmic information theoryapplied mathematicscomputational complexity theorycomputer sciencemathematicsautomated reasoning

Passive Induction and a Solution to a Paris–Wilkie Open Question. Annals of Pure and Applied Logic (2007)

Dan E. Willard

logic in computer scienceparis-wilkie open questionapplied logicapplied mathematicsmathematical logicpassive inductionpure mathematics

A Generalization of the Second Incompleteness Theorem and Some Exceptions to It. Annals of Pure and Applied Logic (2006)

Dan E. Willard

second incompleteness theoremapplied logicapplied mathematicsincompletenessmathematical logicclassical logic

On the Available Partial Respects in Which an Axiomatization for Real Valued Arithmetic Can Recognize Its Consistency. Journal of Symbolic Logic (2006)

Dan E. Willard

mathematical logicmathematics

On the Nature of Godel's Second Incompleteness Theorem. (2006)

Dan E. Willard

non-classical logicsatisfiabilitytheory of computationlogic in computer scienceformal methodssecond incompleteness theoremautomated reasoninggroup theoryapplied mathematicscomputability theoryincompletenessmathematical logicclassical logicmathematicsphilosophical logiccomputer science

1
2
3
4
5
6
10 / page

Dan Edward Willard

University at Albany, SUNY

Affiliations

College of Nanotechnology, Science, and Engineering

Department of Computer Science

NoneDan Edward Willard is currently serving as a College Of Nanotechnology, Science, And Engineering faculty at University At Albany, Suny.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Dan Edward Willard

University at Albany, SUNY

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Dan E Willard

theory of computationsemantic tableau deductionlogic in computer sciencesecond incompleteness theoremboundary-case exceptionsincompletenesscomputer sciencecomputational logicformal semantics

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)

Dan E. Willard

logic in computer sciencetheoretical computer sciencesecond incompleteness theoremsemantic tableaux deductionboundary-case exceptionsincompletenesscomputer science

Dan E. Willard

function symbolformal theoryown hilbert consistencyaxiom systemsapplied mathematicsmathematicspure mathematics

On the Broader Epistemological Significance of Self-Justifying Axiom Systems. Lecture notes in computer science (2014)

Dan E. Willard

broader epistemological significanceepistemic logicepistemologycomputer scienceself-justifying axiom systems

A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics. arXiv (Cornell University) (2011)

Dan E. Willard

self-justifying logicslogic in computer scienceformal methodslogical formalismapplied logicapplied mathematicsmathematical logicautomated reasoning

Some Specially Formulated Axiomizations for I Σ 0 Manage to Evade the Herbrandized Version of the Second Incompleteness Theorem. Information and Computation (2009)

Dan E. Willard

Passive Induction and a Solution to a Paris–Wilkie Open Question. Annals of Pure and Applied Logic (2007)

Dan E. Willard

logic in computer scienceparis-wilkie open questionapplied logicapplied mathematicsmathematical logicpassive inductionpure mathematics

A Generalization of the Second Incompleteness Theorem and Some Exceptions to It. Annals of Pure and Applied Logic (2006)

Dan E. Willard

second incompleteness theoremapplied logicapplied mathematicsincompletenessmathematical logicclassical logic

On the Available Partial Respects in Which an Axiomatization for Real Valued Arithmetic Can Recognize Its Consistency. Journal of Symbolic Logic (2006)

Dan E. Willard

mathematical logicmathematics

On the Nature of Godel's Second Incompleteness Theorem. (2006)

Dan E. Willard

1
2
3
4
5
6
10 / page

Similar Faculty Members

Boris Glavic

Institution

University of Illinois Chicago

data engineering

data provenance

Jianwen Su

Institution

University of California, Santa Barbara

data management

access languages

Guozhu Dong

Institution

Wright State University

computer science

data science

K. Subramani

Institution

West Virginia University

computer science

applied mathematics

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Samuel R. Buss

Institution

University of California, San Diego

mathematical logic

logic in computer science

Farshad Fotouhi

Institution

Wayne State University

biomedical ontologies

databases, information systems, ai/ml, medical informatics

Dirk Van Gucht

Institution

Indiana University Bloomington

applied logic

informatics

William Gasarch

Institution

University of Maryland, College Park

discrete algorithm

extremal graph theory

John Iacono

Institution

New York University

algorithm design

geometry

Similar Faculty Members

Boris Glavic

Institution

University of Illinois Chicago

data engineering

data provenance

Jianwen Su

Institution

University of California, Santa Barbara

data management

access languages

Guozhu Dong

Institution

Wright State University

computer science

data science

K. Subramani

Institution

West Virginia University

computer science

applied mathematics

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Samuel R. Buss

Institution

University of California, San Diego

mathematical logic

logic in computer science

Farshad Fotouhi

Institution

Wayne State University

biomedical ontologies

databases, information systems, ai/ml, medical informatics

Dirk Van Gucht

Institution

Indiana University Bloomington

applied logic

informatics

William Gasarch

Institution

University of Maryland, College Park

discrete algorithm

extremal graph theory

John Iacono

Institution

New York University

algorithm design

geometry