Home | Journal | Bookshelf | Index | Other | Summaries | Timeline | Help | Copyright
Theorem
Previous | Next | Cards | Index | Cloud

Ross indexed the following pages under the keyword: "Theorem".


Previous | Next | Cards | Index | Cloud
1965
Summary: Learning by pleasure is sophisticated.
Learning pleasure versus pain
Pain simpler than pleasure
Summary: Almost all the operations used in proving theorems do not raise cylindrance.
Cylindrance of a theorem
Theorem proving, and cylindrance
6550 6551

Previous | Next | Cards | Index | Cloud
1968
Summary: One independent variable in a interaction term makes it zero. 6976
Summary: Meaning of "true".
Set or Ensemble "is true" in set
Theorem truth of, in set theory
Truth in set theory
6892 6893
Summary: Conant's measures HL,TL,QL have the freedom from absolute value called for in the "Bio Science" paper.
Information Conant's HL,TL,QL
Library retrieval equals theorem-proving
Theorem theorem proving equals information retrieval
Transmission Conant's TL
Homomorphism of machines with input
Machine homomorphic
6926 6927

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