Unlike many mathematically significant proofs—such as the proof of the twin prime conjecture—the proofs of incompleteness and undecidability were actually quite simple.
The many Myriad Dharma Sect disciples attending this intensive training had already had their worldview cleansed and reshaped many times. They had long since developed a trace of doubt regarding the completeness, consistency, and decidability of mathematics.
Now, apart from their long-standing subjective experience, what prevented them from delving deeper was also their interpretation of the classics.
Most of those "classics" had been written by the Master of Calculation.
Feng Luoyi, who alongside the Master of Calculation stood as a contemporary representative of the Gottingen Sect, dealt completeness its final blow. The barriers of understanding within everyone's minds began to shatter.
The proof of undecidability was taught to them as well.
Finally, Feng Luoyi said to them all, "At present, we have only released the first-stage paper, A Preliminary Discussion of Formally Undecidable Statements and Related Systems in the Arithmetic Section of Volume One of the Myriad Dharma Calculation Collection. Everyone knows only that completeness has been lost. Some cultivators are still entirely unaware of it.
And very soon, we will release the second-stage paper, On Computable Numbers and Their Application to the Entscheidungsproblem. That will trigger an even greater shock.
Now, you must put the results of these past months of intensive training to use. Find ways to gently tell the Myriad Dharma Sect disciples you know that completeness and decidability have both become history. That is your task now."
"Go!"
Within moments, the many cultivators in the training grounds scattered like stars streaming apart and clouds dispersing. Only a very small number, including Chen Youjia, headed out at an unhurried pace.
Chen Youjia was still hesitating. She kept turning the matter over in her heart. *Should