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.      

Introduction to Cognitive Science

Somewhat lengthy overview of cognitive science.   

Turing Machines

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

Godel's Incompleteness Theorem

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

BNF

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

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