八哥电影网 src剧情介绍:布尔的工作表明，算法思想的确立并非“单向度”的；在一定程度上，算法思想与演绎思想实现了某种程度的融合。在布尔代数的逻辑化工作之后，逻辑学家弗雷格等人加快了算术的逻辑化进程。弗雷格认为，算术是可计数的领域，因而“数”是算术中最基本的概念。但是，通常人们对数的理解要么满足于直观，要么认为其无法下定义。对此，弗雷格从集合论出发来“定义”数。认为一个数就是一个集合，“所谓数就是某个类的数”。这样来理解数，数就成了一个普遍的概念。也即对数的理解被置于形式化的一系列条件当中；它不再是被当作直观的对象...