Also see Cherniak, “Computational Complexity and the Universal Acceptance of Logic” (1984).
Lenore Blum, Charles Chihara, William Craig, Daniel Dennett, Richard Karp, and Barry Stroud generously helped at various stages of the paper.
That’s an interesting combination.
Also see Cherniak, “Computational Complexity and the Universal Acceptance of Logic” (1984).
That’s an interesting combination.