Note: there are two kinds of rules: formal rules and regularities; Turing machines and words in a natural language

Quotation

There are two kinds of rules: formal rules and regularities. A formal rule is equivalent to a Turing machine. A regularity is a word in a natural language -- something shared by most members of a community. People communicate with regularities. Regularities are not rules -- they can't be proved. A vivid huge number is rule since it is based on a fixed set of primitives and it is a regularity because it can be understood, modified, and communicated.   Google-1   Google-2

personal notes

Additional Titles

Note: a vivid huge number is a rule based on a fixed set of primitives and a regularity based on naming

Related Topics

Group: naming   (32 topics, 784 quotes)
Group: systems   (17 topics, 526 quotes)
Topic: rules (43 items)
Topic: vivid representation of programs (22 items)