diff options
| author | Yuval Adam <yuv.adm@gmail.com> | 2014-10-27 10:57:14 +0200 |
|---|---|---|
| committer | Yuval Adam <yuv.adm@gmail.com> | 2014-10-27 10:57:14 +0200 |
| commit | ff3c539d718987c450cc16c5f1bb45c6c7113cd9 (patch) | |
| tree | 64aa10331fea18d57b7c18b651974a752c7167cc | |
| parent | 2821204807f68e8768294bc21c7208f05cc0623b (diff) | |
Update README
| -rw-r--r-- | README.md | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,9 +1,11 @@ # 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. -> Young man, in mathematics you don't understand things. You just get used to them. -> *John von Neumann* +HTML version for quick viewing (but horrible rendering) is available on https://yuvadm.github.io/incompleteness-notes/ |