Web Comm, 2017-18 edition

Minutes for lecture III

----- Plan for the day -----

1. Everything is digital:

-text
-image
-sound
-code, source
-code, executable


2. what is computable is computable with a Turing Machine

---video of the Turing machine

---notion of state


3. Not everything is computable, really


-video of the undecidability of the Halt problem

-Rice's theorem: all non-trivial properties of code are undecidable

-consequence: no automated software Engineering is possible


4. Examples of why and how everything is digital.

Bitmap

RGB encoding

color/texture control as RGB algebra

Python source code

Python executable