数字逻辑与文化传统