Skip to content

Commit 7fce4df

Browse files
committed
Lecture 8: Small typo in recap
1 parent 034748d commit 7fce4df

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

lec_08_uncomputability.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -852,7 +852,7 @@ Moreover, even phrasing the right theorem to prove (i.e., the specification) is
852852

853853
* Unlike the finite case, there are actually functions that are _inherently uncomputable_ in the sense that they cannot be computed by _any_ Turing machine.
854854

855-
* These include not only some "degenerate" or "esoteric" functions but also functions that people have deeply care about and conjectured that could be computed.
855+
* These include not only some "degenerate" or "esoteric" functions but also functions that people have deeply cared about and conjectured that could be computed.
856856

857857
* If the Church-Turing thesis holds then a function $F$ that is uncomputable according to our definition cannot be computed by any means in our physical world.
858858
:::

0 commit comments

Comments
 (0)