You are viewing a single comment's thread from:
RE: The First Million-Person Conversation [Interview Ohad Asor of Tau-Chain]
Yea it is, can check out the blog http://www.idni.org/blog/, and https://github.com/IDNI/tau. For starters can read up on descriptive complexity, finite model theory, the halting problem, etc. Anyway, the blog posts are good imo and pretty much indicates the range of topics required to dig into it.