From university academician to chief academician

Chapter 36 Turing Equivalence Proof Successful

February 15, 2023, Computing Laboratory!

"If the definition domain of the fuzzy Zadeh operator is expanded, the fuzzy maximin operator can be redefined to satisfy the commutative law, associative law and zero element law."

Ye Fei frowned and looked at the paper filled with formulas in front of him: "You can find the Turing equivalent."

Now they're down to the final step, which they've been working on for a week.

After many failures, Ye Fei yesterday thought of using fuzzy operators, neural networks and recursive functions to find Turing equivalence.

Because Turing equivalence has not been proven yet, but the fuzzy maximin operator neuron network has been proven.

The computing power of fuzzy maximal and minimal neuron networks is similar to that of Turing machines.

Therefore, the Turing machine can be replaced by a fuzzy maximin neuron network, and the Turing equivalence can be obtained.

Now the key is how to replace it.

"Professor Zhou, come on, let's use the Godel-Kleen partial recursive function to prove it."

"good!"

At this point in the research, Professor Zhou felt that he could no longer keep up with Ye Fei's ideas. He would do whatever Ye Fei said.

At this time, he was just a robot, executing all the orders given by Ye Fei without emotion.

The longer he stayed with Ye Fei, the more he discovered Ye Fei's genius.

And he is just a waste who only knows how to execute orders.

Yes, when you are with Ye Fei, you have other ideas and only treat yourself as trash.

If you have thoughts, you will eventually find that you are still a waste.

In this case, it is better to treat yourself like a waste from the beginning.

Anyway, the topic will be researched in the end, you just need to be patient and wait to enjoy the results.

Professor Zhou will not be like Ye Fei's mentor Lu Yishan, who will reflect on why he is a waste.

But Professor Zhou doesn't know that. He completely treats himself as a waste.

Lu Yishan would be sad because he could not play a big role in the project, but Professor Zhou would not.

Since it doesn't have much effect, just listen to Ye Fei's order and complete the task.

Lu Yishan would not want to cooperate with Ye Fei because he was too talented.

Professor Zhou doesn't know how. The more talented the better, the more talented you are, you should hold your arms tighter and cooperate more.

He also thought that after the Turing equivalence proof was proved, the two of them would cooperate again next time.

Five p.m!

[Turing equivalent task completed (100%)

Reward: 100 points]

"Huh..." Ye Fei took a long breath, looked at Professor Zhou beside him, and said with a smile: "Professor Zhou, we succeeded."

"Ah..." Professor Zhou woke up from a dream and asked, "Did it succeed?"

"Yes!" Ye Fei nodded: "Successful, look at this step."

As he spoke, Ye Fei pointed to a formula on the paper.

"When the equality determination function and the Boolean selection function are combined, the fuzzy maximal and minimal neuron network can replace the Turing machine, which proves Turing equivalence."

Ye Fei smiled and said: "The rest of the finishing work will be left to you."

The following is the verification. After systematic reminder, he knew that his proof was successful.

But verification is a necessary procedure after every proof, so he gave this task to Professor Zhou.

"No problem!" Professor Zhou smiled.

Ye Fei did most of the Turing equivalent work, so in order to hold on tightly, the professor would do the rest of the work.

"Do you want to be the corresponding author of the paper?" Ye Fei asked.

After every problem is proved, a paper must be written. Ye Fei did not ask Professor Zhou who would write the paper.

Whoever writes a paper does not say that it takes a lot of effort.

But the person who writes the paper must be the first author of the paper. The first author is the most important in the paper. Ye Fei will not let this position go.

Although multiple people can work on a paper at the same time, they must contribute equally to the paper.

However, most of the credit for the research on the project belongs to Ye Fei, so it can only be done by Ye Fei alone.

Even if Professor Zhou were asked to write it, he would not be able to write it.

Because many of the difficult problems in the project were solved by Ye Fei, there are some problems that Professor Zhou has not yet understood.

"No!" Professor Zhou didn't feel that he played a big role in this project. He was embarrassed to be the corresponding author.

Although the corresponding author is slightly inferior to the first author, he holds the copyright of the paper.

Moreover, if he occupies the position of corresponding author, in the eyes of outsiders, he is the one who guided Ye Fei to write the paper.

He was really embarrassed to say that he was coaching Ye Fei, but it was Ye Fei who was coaching him.

Besides, if he really took advantage of him and annoyed Ye Fei, there would be no chance for the two of them to cooperate next time.

The scientific method of holding thighs requires careful control of the scale.

Some advantages can be taken advantage of, and some advantages cannot be taken advantage of.

Ye Fei nodded and did not refuse, saying: "Then you can be the second author!"

"Okay!" Professor Zhou nodded: "After the calculation is completed, I will send you the complete proof process."

When doing the project, all the supporting materials were a bit messy and needed to be sorted out afterwards.

During the calculation process, the data can be sorted out.

There is a complete proof process.

"Okay!" Ye Feidao.

The division of labor has been clearly defined, with Professor Zhou checking the proof process and Ye Fei writing the paper.

As Ye Fei walked towards the dormitory, he thought in his mind: "The results of the Turing equivalence problem are proved. After the paper is finished, we will start cooperation with the supercomputing center."

"By the way, I wonder if this can be set as a task?"

With that said, Ye Fei set up tasks in the system.

[Task: Cooperate with the National Supercomputing Dune Center to create supercomputing algorithms (0%)

Details: Using mathematical algorithms to create supercomputing algorithms

Reward: 50 points]

"50 points?" Ye Fei was shocked: "The points value is half of what it takes to solve problems such as Turing equivalence. It seems to be another difficult nut to crack."

Ye Fei thought that it would be quite simple to create a mathematical algorithm by himself, and then use the mathematical algorithm to create a supercomputing algorithm.

But judging from the points value, the difficulty is a bit high.

"Ye Fei!" At this time, Dean Xu came from not far away.

"Dean Xu!" Ye Feidao.

"Get ready and come with me to receive the award next month. You won the Computer Award."

Ye Fei's eyes lit up and he asked: "How many awards have you won?"

"What do you think?" Dean Xu smiled.

Ye Fei shook his head, feeling that Dean Xu was already in his fifties and still so childish.

you guess?

Do you think I can guess?

Ye Feidao: "What's the date next month?"

"15th."

"Okay!" Ye Fei nodded: "You can call me one day in advance."

March 15th is still one month away.

"Okay!" Dean Xu nodded and asked, "You left the laboratory very early today!"

Ye Feidao: "The research project was successful. All the remaining finishing work will be left to Professor Zhou. I will go back and write the thesis."

"The research was successful?" Dean Xu was surprised: "You mean Turing equivalence?"

"Yeah!" Ye Fei nodded.

"Did you really succeed?" Dean Xu's eyes widened in surprise.

Is that Turing equivalence, a problem that has troubled countless mathematicians and computer scientists for 86 years, and was it proved just like that?

"It was really successful." Ye Feidao.

"Impossible!" Dean Xu still couldn't believe it.

"Just ask Professor Zhou." Ye Fei waved his hand and said, "I'm going back."

He yawned and said, "I haven't slept well during this period. I want to go back and take a nap."

In the final stage of proving Turing equivalence, he and Professor Zhou worked day and night, sleeping only four hours a day. Except for eating and going to the bathroom, they worked the rest of the time.

After finishing speaking, Ye Fei continued to walk towards the dormitory.

Dean Xu quickly rushed to the computing laboratory.

After waiting for the computing power laboratory, I will verify that Professor Zhou really proved Turing equivalence.

He exclaimed: "It actually worked. Professor Zhou, you can't lie to me."

"What did I lie to you for?" Professor Zhou said impatiently: "Ye Fei's paper will be written in a few days, and you will be able to see it then."

"It's really proven." Dean Xu said in surprise.

He took a breath and was shocked: "It's rare to see someone who is a top genius in two fields, and Ye Fei is it."

"He is not only a top genius in mathematics, but also a top genius in computers."

"How can we dig him out?"

Dean Xu's heart felt like a hundred claws scratching his heart, and he coveted Ye Fei even more.

Tap the screen to use advanced tools Tip: You can use left and right keyboard keys to browse between chapters.

You'll Also Like