불가능, 불완전성, 파라불일치,부정성, 무작위성, 계산성, 역설, 차이틴, 비트겐슈타인, 호프스타터, 울퍼트, 도리아, 다 코스타, 고델, 시얼, 로디치, 베르토, 플로이드, 모얄 샤록과 야누프스키