逻辑学研究不仅仅是关于形式系统,而是理解理性思维的基本结构。
我现在承担了一项严肃的任务,恐怕这是一项在给定时间内任何人都无法完成的更艰巨的任务——但现在已经来不及回头了。
宁可要1个超级用户,也不要100个普通用户。
量子密码学不依赖于数学问题的难度,而是依赖于物理学的基本定律。