Skip to content

Typo fixes#818

Open
mzhao80 wants to merge 1 commit into
boazbk:masterfrom
mzhao80:master
Open

Typo fixes#818
mzhao80 wants to merge 1 commit into
boazbk:masterfrom
mzhao80:master

Conversation

@mzhao80
Copy link
Copy Markdown

@mzhao80 mzhao80 commented Dec 8, 2023

Chapter 8: Equivalent Models of Computation

  1. Extra period when rendered: ### {.theorem title="Enhanced λ calculus equivalent to pure λ calculus." #enhancedvanillalambdathm} -> ### {.theorem title="Enhanced λ calculus equivalent to pure λ calculus" #enhancedvanillalambdathm}

Chapter 9: Uncomputability:

  1. Syntax: Set input of M' as z instead of w in pseudocode for consistency with the text.

Chapter 19: Cryptography

  1. Update for consistency with rest of book "$E_k(a NAND b)$" -> "$E_k(NAND(a,b))$
  2. Fix typo: "The question of existence of such a scheme" -> The question of the existence of such a scheme"
  3. Update for John Nash section "However, he has struggled" -> "However, he struggled"

Chapter 22: Quantum Computing

  1. Fix typo "On input a an integer" -> "On input an integer"
  2. Fix typo "NAND gates,and so" -> "NAND gates, and so"
  3. Fix typo "cummbersome" -> "cumbersome"

Chapter 8: Equivalent Models of Computation
1. Extra period when rendered: ### {.theorem title="Enhanced λ calculus equivalent to pure λ calculus." #enhancedvanillalambdathm} -> ### {.theorem title="Enhanced λ calculus equivalent to pure λ calculus" #enhancedvanillalambdathm}
1. (no fix): Throughout the section talking about how enhanced lambda calculus is equivalent to pure lambda calculus, the FILTER function is not mentioned despite being introduced as part of the enhanced lambda calculus earlier.

Chapter 9: Uncomputability:
1. Syntax: Set input of M' as z instead of w in pseudocode for consistency with the text.

Chapter 19: Cryptography
1. Update for consistency with rest of book "$E_k(a NAND b)$" -> "$E_k(NAND(a,b))$
1. Fix typo: "The question of _existence_ of such a scheme" -> The question of the _existence_ of such a scheme"
1. Update for John Nash section "However, he has struggled" -> "However, he struggled"

Chapter 22: Quantum Computing
1. Fix typo "On input a an integer" -> "On input an integer"
1. Fix typo "NAND gates,and so" -> "NAND gates, and so"
1. Fix typo "cummbersome" -> "cumbersome"
@CLAassistant
Copy link
Copy Markdown

CLAassistant commented Dec 8, 2023

CLA assistant check
All committers have signed the CLA.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants