1小时中英文详解【逻辑学】bbc纪录片。逻辑学破解德军密码？1+1=2如何证明？计算机发明靠逻辑学？图灵对未来的预言！什么是悖论？亚里士多德、罗素逻辑分析、哥德尔不完备定律（字幕修正重发版）