希尔伯特公理
希尔伯特公理
-
即,找到一个机械的过程,来判定一组给定的符号,在希尔伯特公理体系中是否可证明——总体来说是无解的……
i.e. the problem of finding a mechanical way of deciding whether a given row of symbols is the enunciation of a theorem provable from the Hilbert axioms - is insoluble in its general form ....
-
论希尔伯特对数理经济学公理化进程的一个贡献
Hilbert 's contribution to the formulation process of mathematical economics