Enter the Immortal Cultivation

When Chen Youjia woke up, his mind was still numb.

She felt as if her brain had been replaced with an iron lump and was still buzzing.

Wang Qi sat opposite her, with a book on his lap. But he didn't look at it. Instead, he sighed: "Yujia... what are you doing?"

Chen Youjia opened his mouth: "I might..."

"I was still chatting over there, and you just banged your head on the table." Wang Qi sighed: "Did you know that that guy Dai Taichong was so frightened that he asked for leave and said he wanted to go back? Change your mind..."

Chen Youjia opened his mouth: "Wang Qi, I..."

"Really... if you can't think of it, don't force it, okay? Don't you feel tired? Huh? The last person who did this is still watching us from the sky!"

"You asked me to say..."

"What did I tell you before? Huh? Pay attention to safety. Don't think about competing with me, I'm different." Wang Qi sighed: "Why don't you listen?"

"Give me……"

Wang Qi felt that his emotions were almost brewing: "Do you know, I am very worried..."

"Let me finish! Give me a pen and paper!"

Wang Qi was stunned: "I think the atmosphere is very good now..."

Chen Youjia gritted her teeth and waved her hand, and three pieces of paper and a pen automatically jumped into her palm. But just this movement made her head hurt: "Well..."

"Didn't you hear what I just said?" Wang Qi frowned, feeling really unhappy: "Only the living can hear the truth..."

"I know!" Chen Youjia said: "I know what Zuanjun does... that... is..."

With a snap, she broke the pen barrel.

Wang Qi had no choice but to draw another pen and put it in her hand: "Don't worry, don't worry...What on earth did you think of?"

"Suanjun's thinking is different from mine...and yours from the beginning. The definitions he uses...he has his own understanding of the calculator language."

Chen Youjia wrote on the paper and explained in his mouth: "His thinking is different from yours and senior Feng Luoyi's. There is a difference between Li Zong and Lian Zong."

Wang Qi nodded: "Indeed, but... have you found the gap?"

"Comparing the two, we can extract a brand new concept. Just like your 'formal linguistics'... about language... no, that's not right..." Chen Youjia couldn't find the right words to describe this for a while. kind of gap. She could only write silently.

Wang Qi understood.

Chen Youjia was in an inexplicable coma just now because she suddenly touched an "inspiration" and then continued to use all her mind, resulting in excessive mental consumption and overload.

But that's the good thing about monks.

A moment of overload brought tangible results.

Wang Qi watched Chen Youjia write slowly.

Soon, a large circle of operators appeared on the paper.

Wang Qi was stunned: "What are you doing?"

Chen Youjia opened his eyes wide and stared at him: "I just touched on the arithmetic in Suanjun's achievements... It's a very vague feeling, but another monk's paper actually mentioned it... This is undoubtedly Lian Zong's thinking, but some Lian Zong monks expressed it in a Li Zong way - look at this? "

With that said, Chen Youjia struggled to get up from the bed, only to find that this was no longer a study room.

"What about that pile of papers? That...that...that Chinese specialty?"

Wang Qi understood that Chen Youjia had indeed realized something. Afraid of interrupting this state, he directly took out the paper: "Look, this is..."

Chen Youjia dodged those papers with one hand, and then found one: "Well, here it is." She quickly scanned it, and then threw it to Wang Qi: "Look at it too... He redefined logic." ’

Wang Qi blinked: "Hai Ting...oh."

Lian Zong Xiaoyao took the initiative to learn the techniques of leaving the sect. Wang Qi still has an impression.

"He and Suan Jun both belong to the Lian Zong, so this set of expressions is very close to Suan Jun - although, although, the feeling, just that feeling, is not the same." Chen Youjia usually doesn't like to talk much, but now he is even more talkative. It's a lack of words. She could only poke at the paper with her finger: "Look at this, just this paragraph..."

"Well, that's interesting..."

"This leads to the achievement of Suanjun."

Chen Youjia said: "This is a key, a key, pointing to..."

She stamped her feet anxiously. The headache made it harder for her to stop talking.

Wang Qi looked at the papers and was gradually stunned.

He shook another paper: "Is it Teacher Feng's paper?"

"Yes, this is also one, but not all of it..." Chen Youjia took the paper and scanned it: "Through the study of good foundation sets, the security of the infinite axiom is proved...the direction...that is, the direction..."

Chen Youjia patted his head: "Chen Feng...Chen Feng...Chen Feng...well, I heard it before, what's it called...what's it called - forget about your book...forget it, I can't read it for now. I remember You have said that his first attempt..."

"Simulating the brain nervous system..." Wang Qi thought for a moment and blurted out: "Convolution method? [Convolution function]"

On Earth, the history of "artificial neural networks" is older than computers. As early as 1943, neurophysiologists and mathematicians collaborated to develop artificial neural networks. But a single artificial neuron cannot even compute XOR. The problem of being unable to calculate XOR can be overcome by connecting multiple artificial neurons into a network. But for such a network - a multi-layer perceptron network, people at the time did not find a way to train it. Scholars at the time believed that such a network had no future. Humans would not be able to work on top of such networks, or train them the way we do today.

Until they introduced a mathematical tool called the convolution function.

The combination of different convolution functions can well simulate the impulse conditions of the nervous system.

However, this process is reversed in China.

Due to the huge technical black box brought by Aura, Turing completed the original calculator model in his first attempt, and then found that this thing showed the characteristics of a convolution function.

Many years ago, it was considered the intersection of Yangshen Pavilion and Wanfamen.

However, after the development of modern calculators, this part of the research is not so important. What people want is not a "calculator that looks like a human", but a "calculator with specific functions", or a "calculator that looks like a calculator". There are still people studying it, but most of the researchers are from Yangshen Pavilion.

"It's your design...don't tell me, it's quite retro from this point of view." Wang Qi nodded.

"Because of this, I caught Suanjun's train of thought...so I saw through it a little bit. The 'language' he used is also self-contained." Chen Youjia nodded. Her whole life has never gone by so fast. She continued to point to Feng Luoyi's paper: "The super-finite totality of Liangjiji... This is an idea... This..."

In the end, Chen Youjia didn't find the right words and just said: "This is considered one side."

Then, she added: "Your formal linguistics is a self-contained language of calculators, and then... the existing calculator theory is on the other side."

"Based on the logic of Senior Feng and Senior Hai Ting... I have completed... the definition and classification of 'language' like formal linguistics..."

Chen Youjia breathed a sigh of relief and continued writing.

Wang Qi suddenly became petrified.

"Well, although... I have some doubts, the peony stone could not be 'that'..."

Wang Qi murmured to himself.

Soon, Chen Youjia finished writing. Then, she fell on the bed with peace of mind.

"Here, why don't you let go of your last obsession and ascend to heaven?" Wang Qi hurriedly patted Chen Youjia's face.

Then he was slapped away.

"Well, fortunately, I'm just tired." Wang Qi nodded, and then looked at what Chen Youjia wrote.

Click... click...

The floor cracked silently.

boom.

The table shattered.

Even the bed collapsed.

As a result, Zhao Qingtan, who came to visit Chen Youjia a moment later, was frightened: "You two, are you playing so rough... Didn't I say that junior sister was exhausted just now..."

"No, it's just that a little bit of my mana leaked out." Wang Qi rubbed his face, waved his hand, and all the fragments began to restore.

During this process, Chen Youjia was still asleep.

Wang Qi shook his head.

"What's wrong with you?" Zhao Qingtan was very curious.

"If I said that the world of calculators is destined to be dominated by Lian Zong, would you believe it?" Wang Qi asked confusedly.

Zhao Qingtan trembled: "Is Suanjun really that powerful?"

"No, it's just that I was shocked for a moment and was talking nonsense."

Wang Qi held his forehead.

Just now, he suddenly realized that he seemed to have some fundamental misunderstanding - that is, a layer of ignorance.

He just remembered that the backbone of computer science on earth is intuitionism...

Intuitionism…

It’s actually intuitionism!

how to say……

Because in this world, Feng Luoyi, the national player of the world, is always there, Turing is always there, and calculator theory is booming. He also subconsciously believed that this area was the world of Li Zong.

Um……

It’s not wrong to think so.

After all, peers of computer research pioneers such as von Neumann and Alan Turing are indeed outright deviant mathematicians in this world.

However, the subsequent development of earth computer theory is completely different from that of this world.

In addition to being born much later, it can only be said to be an approximation theory that "biases towards Lian Zong"...

Intuitionism and type theory among the three pillars of computer science...

According to the classification of this world, they are all...

Lian Zong’s calculation...

Yes, although formalism and intuitionism are incompatible, computers were invented by formalist mathematicians.

However, the later development of computers relied on Henri Poincaré’s disciples!