Blue Star Sea Diamond

Ginny said: "Then you are in physics. I have been exposed to the study of heartbeats in this area, are you familiar with it?"

Zu Wenyuan said: "I know that they use different salts to the human body to study the changes in the heart muscle. It seems that the results are not ideal."

Jini said: "Are you proficient in calculating non-integer differential calculations?"

Zu Wenyuan said: "I have done a few, but it is too difficult. If you are happy, I can show you some results."

Zu Wenyuan said that his mind was not about non-integer differentiation, but he felt that he had made some extraordinary breakthroughs in the field of expressing algebraic numbers.In addition to addition, subtraction, multiplication, division, radicals, trigonometric functions, continued fractions, there are also some symbols that can represent algebraic numbers in many other fields.These symbols are also deduced from the most primitive starting point of group theory, and still conform to the deduction of group theory.

Gini saw Zu Wenyuan in a daze, and asked: "Electromagnetism may be applied to the knowledge of non-integer differential. It must be somewhat different from electromagnetic equations."

Zu Wenyuan said: "Which electromagnetic equation, and in what form?"

Jini smiled and said, "You are just a lucky person. You don't have real talents. You don't even have the nerve to say that you do physics by yourself."

Zu Wen was far from answering, he was just in a daze, suddenly thinking about the technical problems that he did about the interpretation of genes, which caused him a headache, let alone the interpretation of the cancer regional fund, which is technically a huge one. Methodological problems, or complex mathematical problems.The person in front of him who can't tell what he is doing will not help him.I was just a sip of coffee with a blank mind.

Jinnizi said: "We now have a certain degree of control over the gene editing system. Whether it can be used or not is still an ethical issue. After all, few people are willing to do experiments. Only a few immortal ones can be seen. Rats. I heard that someone had conducted these experiments secretly, but I don’t know if it’s true."

Zu Wenyuan was in a daze and did not answer the question.After drinking coffee, the two hurriedly left.

In the afternoon, Wu Jun found Zu Wenyuan and asked: "How do you feel?"

Zu Wenyuan said: "I don't feel anything, it's probably impossible."

Wu Jun said: "You have to take the initiative, she is not bad, she is still a very good biologist."

Zu Wenyuan said: "If people don't agree, they take the initiative and bother."

Wu Jun said: "The feelings are discussed by myself, I can only help here."

Zu Wenyuan said: "I am not here, I am still thinking about messy things."

Wu Jun said: "You are studying nonlinear physics. It would be a torture for you to transfer you to the field of automatic proof machines."

Zu Wenyuan said: "That's okay, I think it's very interesting. Although it won't help much, I can learn something, and I can see if we can learn from each other."

While Wu Jun spoke, he took out a pen and paper from his pocket, and drew some patterns over and over again.

Wu Jun said: "In the past ten years, our company produced a machine proof 1.0. We can see whether a proposition can be proved. It is very important to understand the proposition. Propositions must be aggregated, using first-order and second-order logic predicates. come and see."

Zu Wenyuan said: "Can you also express the conjecture theorem with first-order logic predicates?"

Wu Jun said: "We express many theorems and axioms with first-order logic predicates. The expressions of many first-order logic predicates can be expressed as various mathematical theorems, and the ring language can be expanded and mapped."

Zu Wenyuan said: "Is it troublesome to simplify the calculation?"

Wu Jun said: “If you don’t add other forms of calculations, there will be no simple behavior in other situations. So there is no so-called simplification.”

Zu Wenyuan said: "Can calculate all rational number fields?"

Wu Jun said: "It's very simple, rational numbers can be mapped out by the finite expansion of integer rings."

Zu Wenyuan said: "What is the key to making automata?"

Wu Jun said: "This is the second machine proof 2.0 five years ago, which can prove provable propositions. It is just a complicated accumulation of messy logical predicates and small theorems. He can prove that this accumulation is correct. Error. The key is that we have created a set of algorithms that can be judged negatively, that is, a device that can be stopped without infinite search. We have also developed an algorithm that can repeatedly verify that wrong guesses cannot be deduced. There is no similarity in predicate language expression, and correct guesses can be expressed in this way, although the language is difficult to understand. So only need to translate the difficult language through the logical predicate translator to what an adult can understand."

Zu Wenyuan said: "Can you prove a conjecture in multiple ways?"

Wu Jun said: "Multiple different expressions are multiple or one kind, and one way may be able to make multiple expression first-order predicates."

Zu Wenyuan said: "Have you tried to use it?"

Wu Jun said: "It's very interesting to say, so we verified that Riemann's conjecture is correct, Goldbach's 1+1 is correct, and some p-np problems can be solved to the optimal and comparative advantages, and some problems cannot be solved."

Zu Wenyuan said: "Is the language of the proof easy to understand? Can it give us a deeper insight into the mathematical mechanism?"

Wu Jun said with a smile: "It is difficult for people who have just translated it to understand what kind of method it is. There are only a large number of changes in elliptic curves, modular spaces, extended domains, and exchange groups. It is difficult for people around to understand, it is simply difficult to understand. Understand. The complexity of the four-color conjecture has become inhumane. The distribution of points on the 0.5 axis in Riemann’s conjecture has nothing to do with the distribution of prime numbers, but there is a peculiar change."

Zu Wenyuan also smiled and said: "It turns out to be so interesting? I want to read these books. If they are correct, I might be able to develop more mathematical tools based on this work."

Wu Jun said: "Many international mathematicians have done this for a long time, but they are very suspicious of my proof machine, because they don't understand the mathematical proofs here, so they even think that these proofs are wrong. So Say that we are now developing the third machine proof 3.0, which can be combined with several different mathematical modules. We can understand what this machine proves, and of course we can also promote the fourth machine proof 4.0, which can be created The new proposition has a major boost to mathematics."

Zu Wenyuan said: "I will participate in the 3.0 research with you, I am very interested."

Wu Jun said: "The most important thing for you is to understand the connection between a lot of mathematical theories and logic, so that you can create a machine proof 3.0 by finding an algorithm."

Zu Wenyuan said: "If you can get machine proof 4.0, that is what many mathematicians dream of."

Wu Jun said: "However, you still need to meet that girl. After a long time, you may be able to develop feelings. Moreover, she is doing gene editing research. Genetic calculations may need your help."

Zu Wenyuan said: "Well, she just doesn't reject me."

Between Wu Jun drew patterns of various angles of Riemann's zeta function, Zu Wen was far surprised.

Zu Wenyuan said: "Can you teach me? Can you draw graphics that are difficult for a computer to calculate?"

Wu Jun said: "If I can catch up with Gini, I will teach you again."