### Week 10 - What is thinking?

Click on the title of each topic below to be
linked to an article about that topic. Each student is responsible for
reading every article.

Somewhat lengthy overview of cognitive science.

Turing Machines are an abstraction of computing that has become the
basis of the theory of computing.

Godel realized that arithmetic (or any other formal system) can never
be proven consistent (and thus correct)

BNF (one way of writing a context free grammar) is the most common way
to express many computer (and some non-computer) linguistic
concepts.

Big O notation, also known as algorithmic complexity, is a way of
discussing how much work an approach requires.