summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYuval Adam <yuv.adm@gmail.com>2014-10-26 17:47:52 +0200
committerYuval Adam <yuv.adm@gmail.com>2014-10-26 17:52:11 +0200
commit2821204807f68e8768294bc21c7208f05cc0623b (patch)
treebe8d5f4137454f77a0fdc9cc3338d21cfbf20efc
parent4e8805e241c93f306016a51872362e35ffe13866 (diff)
Add README
-rw-r--r--README.md9
1 files changed, 9 insertions, 0 deletions
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..c0052fc
--- /dev/null
+++ b/README.md
@@ -0,0 +1,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*
+