Univalent foundations and Type Theory are interesting.


  • Math can be learned, it's just a bit silly to dive into a homotopy type theory book and expect to get a firm grasp of things. It's like picking up a chinese news paper and expecting to get an idea of what its content is about.
  • Without understanding the domain, you cant read a text well. Without understanding the grammar you cant read a text. Without understanding the symbols you cant even figure out the grammar.

results matching ""

    No results matching ""