"Why!" Wang Qi thought hard with his head in his hands.

Why did my special move turn into a mosaic slash?

This is not scientific!

Bo Xiaoya leaned over to Wang Qi and asked, "Senior brother, have you ever used this sword outside?" -- You know, sometimes the moves you realize will have some problems that cannot be established, and then here, the moves that cannot be established will appear that kind of irregular and chaotic picture. ”

"My trick is 'established', how can it not be established. Wang Qi cried with a sad face: "And I obviously used it outside!"

Bo Xiaoya pressed her index finger against the corner of her forehead and pondered: "Could it be that it is completely different from the existing spells of the Immortal League, and the calculator can't deduce the effect? Unless it is a very small number of top techniques with weighted ten, the calculator cannot be analyzed in a short period of time-and all the great techniques of the weighted ten are in the Lingxi library, and there is no need to analyze them...... No way...... Senior brother, could this be a new top-notch technique?"

Wang Qi shook his head: "It's impossible, I've seen the technique of weighting ten, the flame of life of the demon girl Ai Qinglan of Tianlingling...... I only have 'one sword' in this swordsmanship, and no matter how I look at it, I can't do it like the flame of life. ”

"The effect of a sword?" Bo Xiaoya tilted her head to look at Wang Qi: "What does this mean?"

"The first-order logical calculus on which my swordsmanship is based...... Can you understand the predicate logic?" Because he had made up his mind to cooperate with Bo Xiaoya in probability theory, Wang Qi had already treated the other party as his own, and he did not hide his own killing moves: "My swordsmanship is taken from predicate logic, and there is only one order and one sword. But this sword is absolutely established and complete. It's just that on the other hand, because it's predicate logic, there can only be one sword. ”

In predicate logic, atomic propositions are broken down into individual words and predicates. An individual word is an object that can exist independently, it can be a concrete thing or an abstract concept. A predicate is a word that is used to characterize the nature of an individual word or the relationship between things. Quantifiers are words that represent quantities in propositions, and there are two types of quantifiers: quantifiers (?), which mean "all" or "each", and quantifiers (?), which mean "some" or "at least one". Predicate logic that contains only individual predicates and individual quantifiers is called first-order predicate logic, referred to as first-order logic, also known as narrow predicate logic.

First-order predicate logic is very rudimentary, so simple that it can't even accurately describe a concept, and something as simple as "defining natural numbers" is beyond the capabilities of first-order predicate logic.

However, according to Gödel's completeness theorem proved by Wang Qi, or in other words, Wang Qi's completeness theorem of Shenzhou, only the first-order predicate logic is complete, and all valid propositions under the first-order predicate calculus can be proved.

Therefore, if there is only one sword, the sword that is absolutely established is incomparably powerful!

Wang Qi said solemnly: "You should remember that in this system, if you say it, you will be wrong, and if you think about it, you will be wrong, and the only person who can explain this truth is this 'sword' except for my paper." ”

In other words, this sword cannot cooperate with any subtle swordsmanship, cannot contain any changes, and can only be a "sword".

Bo Xiaoya was bluffed and nodded. asked, "Such a powerful sword, did the senior brother choose a name?"

"It's just a 'first-order sword'. ”

Bo Xiaoya looked stunned, and said angrily: "How can such a powerful brief description have such a name." ”

Wang Qi chuckled: "You are really very persistent in such an inconsequential place." ”

"No. Bo Xiaoya blushed rarely: "This is your first theorem, senior brother, and I personally think that this must be a great theorem." Such a great theorem naturally leads to a great sword, and then this sword must also deserve a great name......"

"Okay, I'd better think about what the reason is. Wang Qi stood up and slashed out two swords again, still a large mosaic.

Nima, Holy Light, Mosaic, and another shadow will make up the power of harmony, right? Or should it be called "the way of harmony" in the world of Xianxia?

Bo Xiaoya also pondered: "There will be no problem with the illusion itself...... Senior brother, your swordsmanship is also capable of using it...... What is the other step than the problem?"

Wang Qi swung two more swords and sighed, "I'll try a few more times......

"You try a few more times, and you'll have to be ready to sell yourself to the Bo family. Suddenly, Feng Luoyi appeared in front of Wang Qi. He glanced at Bo Xiaoya, and then said, "Or are you going to go straight to the door upside down?"

Bo Xiaoya's face turned pale: "Senior Feng, how can you make such a joke?"

"Teacher Feng. Wang Qi saluted: "Why are you here? It has something to do with my swordsmanship? Do you know why?"

Feng Luoyi sat down and said, "It does have something to do with it. Do you know how the calculator works? You should know that. ”

Wang Qi nodded: "The bottom level is the binary judgment of existence and non-existence, yin and yang. After the accumulation of countless binary judgments, a set of systems can be formed......"

"Brother Turing's conception, a very well-established logic, is like a tower. Feng Luoyi said: "But our arithmetic is not complete, when we established this system, none of us could see where the foundation of the rough one was laid, whether it was a solid rock or a bottomless swamp. ”

This is again a technical difference caused by the different physical laws of the two worlds. The cultivators' search for the soul lasted for 80,000 years, and although there were many errors in the cognition of the ancient method, many experiences were analyzed by the present method. Shenzhou's understanding of the soul is far greater than the earth's understanding of the brain.

Then, the old Turing borrowed from the soul of the human race and used arithmetic to analyze the human mind, and constructed the original calculator, the bronze Xian'e.

It's actually a huge tech black box. Ji Lao himself didn't fully understand the principle of the calculator and the Ten Thousand Immortals Fantasy Realm, but he still built it and learned to use it.

The Divine Monk threw a tower from above the clouds, and this tower towered into the clouds, but the people above the clouds could not see its foundation.

Then, Wang Qi's first-order sword is a divine skill based on mathematical logic, which is something outside the scope of the old machine's theory, and the Ten Thousand Immortal Fantasy Realm cannot reflect it.

Bo Xiaoya looked at Wang Qi with admiration on her face: "Actually...... It's farther than the old machine!"

"If you really talk about the level, I'm still a lot older, but this time I'm lucky. "Wang Qi is rare and modest.

Feng Luoyi asked again: "Speaking of which, your rank sword is a good move." I didn't say it well before I saw it, but this should at least be a weighted four-piece swordsmanship, and if you improve it well, maybe you can have a weighted six-this can also be recommended as a true transmission in the Five Peerless Sects. ”

Wang Qi said happily: "Actually, the younger generation has another harvest. ”

Bo Xiaoya was shocked: "Senior brother, you still hid your secrets just now, aren't you kind!"

Feng Luoyi thought for a moment and guessed: "But it's the kind of 'see through'?"

"Teacher Feng, you are amazing. Wang Qi expressed his admiration: "There is only first-order logic that is complete, and the more complex the opponent's swordsmanship, the larger the logic system behind it, and the easier it is to make mistakes." I can see incompleteness between my opponent's moves and break them. This one, I privately named 'If there is discord, I will strike it'!"

Eh, wait, is this really a harmonious way?

――――――――――――――――――――――――――――――――

Ahem, the stalks of "Kunlun" and "Canghai", those who like martial arts should be able to see it.