ParentFull threadgnulinux·Why set an arbitrary goal like that? Why not understanding Curry-Howard correspondence or Godel's Incompleteness or Hilbert's 17 instead.View on HN