summaryrefslogtreecommitdiff
path: root/README.md
blob: c0052fcff90f5a80f964566e70a561ad7346beab (plain)
1
2
3
4
5
6
7
8
9
# Incompleteness Notes

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.

> Young man, in mathematics you don't understand things. You just get used to them. 
> *John von Neumann*