John W Dawson

1. The compactness of first-order logic:from gödel to lindström
   1993/01/01 by John W Dawson · 4 citations
   Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory #Advanced Algebra and Logic
2. Constrained-optimization Approach Delivers Superior Classical\n Performance for Graph Partitioning via Quantum-ready Method
   2020/06/26 by Uchenna Chukwu, Raouf Dridi, Chukwu, Uchenna +13 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Quantum Computing Algorithms and Architecture #Cloud Computing and Resource Management
3. Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel’s Impact on Logic, Mathematics, and Computer Science
   2006/01/01 by John W Dawson · 2 citations
   Computer Science · #Computability, Logic, AI Algorithms
4. Gödel and the Limits of Logic
   1999/06/01 by John W. Dawson, John W Dawson · 1 citation
   Arts and Humanities · Psychology · #Philosophy and Theoretical Science #Wittgensteinian philosophy and applications