Vol 3 Chapter 2067: Category Theory 【Chapter Three】

Due to some reasons, a large number of users suddenly cannot open the web page to visit this site today. Please keep in mind the domain name of this site EbookFREE.me (the first letter of literature + org dot com, EbookFREE.me) to find the way home!
Although this is the case, but ...
Seriously, Wang Qi actually has little confidence in calculator theory.
In fact, from any earth person's perspective, the field of calculator theory in this world is very strange.
First of all, the concept of "computer" in the two worlds is actually slightly different.
On Earth, there has never been only one classic route, from George Boole, to Frege and Russell, to Gödel, Church, and Turing, in fact, it is a continuous and progressive route. But this is just the development route of the Turing machine.
In fact, the earth's electronic computer has another source that almost everyone has forgotten.
In 1943, a neurobiologist Warren McCulloch and a mathematician Walter Pitts made an abstract figure of the human brain system by simulating the human brain. It is based on a simplification of the human nervous system. But this achievement is to prove that a system that can be thought of can be built with wires, and the connection of the wires plays the role of a neuron. Where current flows or not, it means the presence or absence of synaptic reactions.
What these neural networks implement is exactly a set of "predicate logic".
It's just that in that era, human cognition of the brain and electronic technology was very shallow and narrow.
Most people think of "neural networks" when they think of the achievements of the 21st century.
Because materials and engineering in the 1940s could not support the ideal neural network of those two scholars.
The real significance of this experiment is to give a "turing machine" a achievable structure.
And its optimization in engineering is the von Neumann architecture.
However, in the Aura Universe, the entire universe is huge in black boxes.
Qianji Pavilion itself has the idea of ​​"simulating everything with organs". Here, the creation of artificial intelligence, the so-called "acquired will", is actually very simple, a split of souls, and even the use of spelling to print soul activities. The magic of the magic weapon can barely be counted.
The earliest Turing human prototype was also based on the idea of ​​"simulating the process of soul operation".
As for the pre-mathematical research that was originally developed as a computer, that is, part of the achievements of Church and Turing, the pursuit that is closely related to the dream of Charles Babbage is not in this world to "create computable The "machine" itself is born.
They are by-products of the critical questions asked by Ximen's twenty-three questions.
If you don't look at the background of the Aura Universe, then this history of technology is simply crazy.
Artificial intelligence existed before the advent of computers. Then, the computer was invented, and "Yin Yang Yao" was used to indicate the basis of change. Then, the monks extracted high-level language from the spells and manipulated the calculator with the idea of ​​"refiner" and "imperial object". Then, in the field of pure mathematics next door, incomplete theorems appeared, which in turn drove the development of computers.
You just follow the earth, and that earth will not believe that there is such a nonchalant history of technology.
As for the "chaotic topology network structure" of Shujun, after the first line is developed to the extreme, another line parallel to the calculator is opened.
If it wasn't for the king, Wang Qi didn't believe that such a technology existed.
The reason why Wang Qi gradually handed over this piece to Su Junyu to take care of it after he had formed a pill, in addition to being busy destroying the remnants of the ancient law of the Linghuang Island, it was also delayed because of fear of his own knowledge on the earth One line of development.
The common sense of the earth has a limited role in this field. He also withdrew from some of the "motivation" of the rapid progress of computer technology on the earth-such as open source, and the like. Even if he sorted out the Alpha Dog, it was nothing.
Shenzhou doesn't need "the ability to play chess better than the acquired will of the country's players" with limited computing power. They have this kind of thing. Instead, they are more concerned, "Why is there such a thing".
This piece is his weakness.
However, I can't care about it now.
Wang Qi thought so.
You have to learn this well to be at ease.
It's not that he thinks that Shujun will really harm himself by means other than arithmetic, and he doesn't even hope that he can overtake Shujun in a predictable time.
It's just a possible loophole.
"Moreover, it is also very important to find a solid foundation for your fictitious body.",
Wang Qi puffed himself up, then looked at the other two in the quiet room.
Zhao Qingtan and Wei Cang are both the main force in the compilation of "The Original Calculation".
"Our task in the next stage is to continue to study the structure. In the previous few" original calculations ", we have established the brand of" structure ". However, this is not finished, we need to continue to go deeper.
Zhao Qingtan frowned: "Or is it pure math? But you don't mean that life-saving matters ..."
"Without this step, how can I save myself!" Wang Qi spread his hand: "Brother Zhao, did I make it clear yesterday?"
"Yes, I see." Zhao Qingtan sighed slightly.
"The structure is still good. Our" structure "is still a new concept, but it is not powerful enough-I think it is powerful. It should change the way of thinking of all Falun Dafa disciples."
Wang Qi originally proposed an incomplete theorem, which almost destroyed half of the 10,000 methods.
But why is it only half? Why is there still only "half" when the accountants are in the sky and there are more delinquents than lianzong?
Because, logic, in fact, is not so close to the whole of mathematics.
In other words, only logicians are concerned with logic itself. More operators do not care about logic. There are contradictions in logic, there is no contradiction, nor does it affect any practical proof of mathematics.
The reason why there are many monks who lost their minds is because the beautiful picture of the fortuneteller "finding the unified foundation of mathematics" is too tempting, which leads many people to believe it.
It is as if atomic theory does not affect the perception of normal things by normal people. When counting, Falun Dafa disciples do not think of natural numbers as "equipotential sets".
There are even many mathematicians who think that incompleteness and incompatibility are just problems of "logic" and "collection", not of mathematics.
Suanjun is a representative of this kind of thinking. When the fortune-teller practiced his ideals, the fortune-teller did not care at all, and it seemed that it had nothing to do with Chengdu.
Incompleteness and incompatibility also have this tendency-the problem is only a logical problem, not a problem of mathematics itself.
They look more like roadblocks on the main road.
The benefits of set theory with a 10,000 method seem to be only in the category of "uniform and convenient language for expressing various abstract concepts".
The "structure" is another level of things.
The Bulbaki School claims that "structure" is "the basis of mathematics used by mathematicians" [instead of "the basis of mathematics used by logicians"] they embarked on another path to unify the entire field of mathematics.
Before the Bulbaki School, the concept of "structure" already existed. They are just like Hilbert's wish to use Cantor's set theory to rule the mathematical world, pointing out that the concept of "structure" can be used as "integration". This method has achieved great success, because on the earth, only a very small number of "parent structures" are needed to discuss a large number of typical and interesting examples.
The Bulbaki school even influenced the division of mathematics. Mathematics is no longer divided into several categories such as arithmetic, algebra, geometry, and analysis, as in the classical period, but there are categories such as "topological algebra" and "algebraic geometry".
This foundation can change the world.
The further sublimation of the concept of "structure" is the "category".
The class of all possible examples of a certain type of structure, plus all the functions that maintain this structure, is the "category".
Category is a more flexible concept than structure.
Category can be regarded as a special case of the concept of structure, while on the other hand, sets and their functions can be regarded as a special case of category.
Sets and their functions, structures and morphisms can all constitute categories.
It also has the potential to "become the basis of the entire mathematics".
This is another important addition to the Bulbaki school.
On the other hand ...
This thing is finally a little more grounded than the previous theories.
At least, category theory can be applied to computer science-although Wang Qi has forgotten what is going on.
After all, this is a relatively high-end atmospheric skill on the earth, and the general program ape may not understand it.
In addition, regarding the history of China, which is completely different from the earth ...
It really makes people unsure.
But Wang Qi only got stuck on his head.
Basic theory has become an inseparable part of his practice.
If there is a conflict between his practice and practice, then it is likely that it originated from the calculation of the virtual phase of Shujun and the conflict with this part.
Xianmeng rarely encountered such problems before. Because even if the "theory" is different, the "application" is not incompatible. For him, the cluster of veterinary institutions is just "used", and there should be no problems.
However, the Dragon Emperor's prophecy is beyond the ordinary cause and effect, can not help but guard.
Therefore, Wang Qi has to choose this way.
In this way, he can better combine his own level of arithmetic with the clusters of veterinary institutions and his own practice.
Although it is also a black road.
But he Wang Qi, just intend to walk out of the way.
After arranging the two of them, Wang Qi said again: "Brother Zhao, I plan to visit the Yu nationality in the future and solve some problems in advance ... It may be a problem. I remember you also plan to go there The education of the Yu nationality? Let's go on the road together. I have something to do. Please ask you alone. "
"Okay, no problem." Zhao Qingtan has nothing to do.
Wei Cang left first. Zhao Qingtan called for Jiao Shuhaihua, and walked to the Yu people's settlement together with Wang Qi.
If you like to walk into Xiuxian, please collect it: (EbookFREE.me) Entering Xiuxian's pen has the fastest literature update.