A pair of slides this time. Again for Models of Computation I held a presentation, this time about the Church-Turing Thesis and some interesting variants of it. As a computer scientist one should really know the general ideas surrounding it.

And finally slides for a Philosophy of AI course about Gödel's Incompleteness Theorems (mostly the first theorem). In the slides I tackle some possible misconceptions when interpreting the theorem and try to convince you that Gödel's Incompleteness Theorems, although very interesting, are not very usable in a philosophical argument, but can be used as a starting point for devising new philosophical theories.

I hope you'll find it interesting and comments are always welcome.

The slides for the Church-Turing Thesis can be downloaded here.

The slides for Gödel's Incompleteness Theorems can be downloaded here.

Slides Church-Turing Thesis (MoC)

Slides Gödels Incompleteness Theorems

The slides for the Church-Turing Thesis can be downloaded here.

The slides for Gödel's Incompleteness Theorems can be downloaded here.

A blag containing my current adventures in logic, haskell and agents.

Subscribe to:
Post Comments (Atom)

## No comments:

## Post a Comment