String replacements of code words: Difference between revisions
| Line 13: | Line 13: | ||
| As you should verify || | | As you should verify || | ||
|- | |- | ||
| Theorem/proposition || | | Theorem/proposition || [https://twitter.com/michael_nielsen/status/1018655486697095169] | ||
|- | |- | ||
| Proof (at the start of a proof) || | | Proof (at the start of a proof) || | ||
Revision as of 22:20, 7 January 2019
Occasionally when learning through a book, there are certain "code words" where one should perform a string replacement of the "code word" with some different phrase or list of instructions. For the sake of having a name for this sort of thing, this will be called string replacements of code words.
If one does not understand the meaning of the code word, this can lead to frustration or confusion.
Examples in mathematics
| Code word | Replacement |
|---|---|
| Trivial, clearly, obviously | [1] |
| As you should verify | |
| Theorem/proposition | [2] |
| Proof (at the start of a proof) | |
| Definition | Follow some of the steps in Understanding mathematical definitions. |