Besonderhede van voorbeeld: -9155107288679328752

English

One can formally define functions that are not computable.

Chinese

我们可以正式定义不可计算的函数。