Typos
Typographical errors in books, papers, etc. that I have found through the years.
When there was an easy way of reporting typos, I did.
Some of these have since been fixed.
I also keep track of stories behind typos:
I also keep track of real-world mojibake, which are related to typos.
Advanced Topics in Term Rewriting
Author: Enno Ohlebusch
On page 65:
First, we show by contraction…
should be:
First, we show by contradiction…
Automatic Sequences
Authors: Jean-Paul Allouche, Jeffrey Shallit
Page 350: In Theorem 11.2.2, change the mention of u in the last line to s. (Brent[sic] Bostick, June 29 2011)
Beej’s Guide to Network Programming
Author: Brian “Beej Jorgensen” Hall
In chapter 7.7:
You should be now be able to do all those sends that failed, above.
should be:
You should now be able to do all those sends that failed, above.
The Best Writing on Mathematics 2020
Editor: Mircea Pitici
Author: Stan Wagon
On page 35:
We know that \(\frac{-mile}{kWh}\) and \(\frac{kWh}{-mile}\) are mathematically identical…
should be:
We know that \(\frac{-mile}{kWh}\) and \(\frac{mile}{-kWh}\) are mathematically identical…
A Course in p-adic Analysis
Author: Alain M. Robert
In Table of Contents, Section 5 Differentiation:
4. The Exponentiel and Logarithm
should be:
4. The Exponential and Logarithm
On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results.
Author: Liesbeth De Mol
Section 3 opens with a quote from Marvin Minsky:
Post found this (00, 1101) problem “intractable”, and so did I even with the help of a com- puter. Of course, unless one has a theory, one cannot expect much help from a computer (unless it has a theory) except for clerical aid in studying examples; but if the reader tries to study the behaviour of 100100100100100100100 without such aid, he will be sorry.
Marvin Minsky, 1967.
but the correct quote is:
Post found this (00, 1101) problem “intractable”, and so did I even with the help of a com- puter. Of course, unless one has a theory, one cannot expect much help from a computer (unless it has a theory) except for clerical aid in studying examples; but if the reader tries to study the behavior of 100100100100100100 without such aid, he will be sorry.
Marvin Minsky, 1967.
OpenGL ES 2 for Android
Author: Kevin Brothaler
PDF page: 211
In the last sentence of the paragraph:
“To
do this, we can take the difference between the current system time and
globalStartTime, and since System.nanoTime() returns the time in nanoseconds, we’ll
just need to divide the difference by 1 trillion to convert this into seconds”
But it should say 1 billion, not 1 trillion.–Brenton Bostick
Term Rewriting and All That
Authors: Franz Baader, Tobias Nipkow
On page 114, in section (1) of the proof of Kruskal’s Tree Theorem, the sentence:
Otherwise, \(t_i = f_i(s^{(i)}_1. \dotsc, s^{(i)}_{n_i})\) for a function symbol \(f_i \in \Sigma^{(n_i)}\) and terms \(s^{(i)}_1. \dotsc, s^{(i)}_{n}\), and we define \(S_i := \{ s^{(i)}_1. \dotsc, s^{(i)}_{n} \}\).
should be:
Otherwise, \(t_i = f_i(s^{(i)}_1. \dotsc, s^{(i)}_{n_i})\) for a function symbol \(f_i \in \Sigma^{(n_i)}\) and terms \(s^{(i)}_1. \dotsc, s^{(i)}_{n_i}\), and we define \(S_i := \{ s^{(i)}_1. \dotsc, s^{(i)}_{n_i} \}\).
The occurrences of \(n\) need subscripts, i.e., \(n_i\).
Term Rewriting Systems
Author: Terese (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.)
On page 209, the first full paragraph starts with the sentence:
Between total termination and simple termination one has the notion of non-self-embeddingness from Plaisted [1985b]…
should be:
Between termination and simple termination one has the notion of non-self-embeddingness from Plaisted [1985b]…
Non-self-embeddingness is between simple termination and termination, not total termination and simple termination.
On page 224, on the (1) line for the definition, it says:
\(s_i = t\)or …
but there is no space between the \(t\) and or.
On page 251, the paragraph starting Assume that…:
…we conclude that \(x^{\sigma_i}\) contains one more f-symbol then \(x^{\sigma_{i+1}}\)….
should be:
…we conclude that \(x^{\sigma_i}\) contains one more f-symbol than \(x^{\sigma_{i+1}}\)….
The Theory of Well-Quasi-Ordering: A Frequently Discovered Concept
Author: Joseph B. Kruskal
On page 300, paragraph 2 sentence 2:
sequence of positive interges
should be:
sequence of positive integers
Paragraph 2 sentence 5:
Using the qo based on divisibility, tthis
should be:
Using the qo based on divisibility, this
On page 302, previous paragraph last sentence:
Bqo is stonger …
should be:
Bqo is stronger …
Writing a Compiler in Go
Author: Thorsten Ball
On page 267 of the PDF, there is:
…besides the fact that countDown so simplified that it never stops…
but should be:
…besides the fact that countDown is so simplified that it never stops…
Zero Configuration Networking: The Definitive Guide
Authors: Daniel H Steinberg, Stuart Cheshire
Version: Printed
Location: Page 53, 1st paragraph
Description: connec[t should be connect
Submitted by: Brenton Bostick
Date Submitted: Aug 04, 2021
Zero Trust Networks
Authors: Eval Gilman & Doug Barth
On page ix, there is strange spacing with We’d.
On page 190, there is:
The following case study is based on excerpts from those three articles, with permission from Google and :login;.
but should be:
The following case study is based on excerpts from those three articles, with permission from Google and ;login:.