"Gödel, Turing, and K-Graph Machines" by Wilfried Sieg and John Byrnes

Skip to main content

Department of Philosophy

Authors

Wilfried Sieg, Carnegie Mellon University
John Byrnes, Carnegie Mellon University

Title

Gödel, Turing, and K-Graph Machines

Date of Original Version

1997

Type

Technical Report

Abstract or Table of Contents

Wilfried Sieg and John Byrnes. Gödel, Turing, and K-Graph Machines.

Comments

CMU-PHIL-76

Included in

Philosophy Commons

COinS