哥德尔数-一流百科

哥德尔数

哥德尔数在数理逻辑中，哥德数是一种函数，它为某些形式语言的每个符号和格式正确的公式分配一个xxx的自然数，称为哥德尔数。这个概念是由库尔特·哥德尔为证...