blob: 50950bca93575d48246ebea7235c43b4668c93c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# Incompleteness Notes
> Young man, in mathematics you don't understand things. You just get used to them.
> *John von Neumann*
Complete notes in Hebrew for one of the best and worst courses I ever took: "Incompleteness and Undecidability in Formal Languages", by [Assaf Hasson](http://www.math.bgu.ac.il/~hassonas/index.html) at Ben-Gurion University.
Read and weep.
PDF version available on https://yuvadm.github.io/incompleteness-notes/notes.pdf
HTML version for quick viewing (but horrible rendering) is available on https://yuvadm.github.io/incompleteness-notes/
|