算术系统相关论文
哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑......
在数学、自然科学的教学和科学研究中,运用形式逻辑,这本来是一种常识。但多年来“四人帮”利用他们所控制的舆论阵地,打着“宣传......
我们都知道法国法语的70是soixante-dix(60+10),80是quatre-vingts(4×20),90是quatre-vingt-dix(4×20+10)。我们还知道有些国家......