希尔伯特公理

希尔伯特公理希尔伯特公理
  1. 即,找到一个机械的过程,来判定一组给定的符号,在希尔伯特公理体系中是否可证明——总体来说是无解的……

    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 ....

  2. 论希尔伯特对数理经济学公理化进程的一个贡献

    Hilbert 's contribution to the formulation process of mathematical economics