4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.AI2025
Gödel's Poetry
Kelly J. Davis
Formal, automated theorem proving has long been viewed as a challenge to artificial intelligence. We introduce here a new approach to computer theorem proving, one that employs spe…
hep-th1996★ 4 cited
M-Theory and String-String Duality
K. Davis
In this article we examine the compatibility of some recent results, results relating M-Theory to String Theory, with the string-string duality conjecture in six-dimensions. In par…