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