Home | Journal | Bookshelf | Index | Other | Summaries | Timeline | Help | Copyright
Gödel's theorem
Previous | Next | Cards | Index | Cloud

Ross indexed the following pages under the keyword: "Gödel's theorem".


Previous | Next | Cards | Index | Cloud
1955
Summary: Structure of machine in a protocol. 5170, 5192, 6071
Equivalence relation over protocol
Homomorphism over protocol
Protocol equivalent relations over
Summary: The problem of "simplifying" a machine.
Gödel's theorem described
Simplicity in homomorphisms
5084 5085

Home | Journal | Bookshelf | Index | Other | Summaries | Timeline | Help | Copyright