Formalizing human interaction based on Godel, Escher, Bach conceptsmath.stackexchange.com4 points·ajani··0 commentsOpen articleSaveView on HN