[单选] 数理逻辑最初是由哪位科学家提出的（）？

现代逻辑使用的是自然语言 布尔的重要贡献是发现了一加一不等于二，而是等于一的逻辑代数。 近代逻辑包括哪两方面的逻辑（）？ A、归纳逻辑和辩证逻辑。 B、因明学和论理学。 C、名辩学和归纳逻辑。 D、逻辑学和辩证逻辑。 世界上第一台计算机是由哪位逻辑学家发明的（）？ A.黑格尔。 B.罗素。 C.哥德尔。 D.冯·诺依曼。 逻辑是关于思维规律和规则的学问。 数理逻辑最初是由哪位科学家提出的（）？