Chapter 133: Logic

In order to allow Ou Ye to fully understand the logic of his thinking, Shen Qi expanded the original 100-word essay outline to 800 words.

In the process of revising the outline, Shen Qi and Ou Ye kept communicating.

Shen Qi: "In the body of the paper, you need to make two quadratic forms into a sum of squares, and you need to add a citation here, Ou Ye, do you know what to cite?"

Ouye: "Bundle." ā€

Shen Qi: "Very good, you are making rapid progress." So when making a summary, you also need to cite to correspond to the previous invariant factor, do you know what to cite?"

Ouye: "Set. ā€

Shen Qi: "Very good, you are a smart girl." ā€

The waiter gave Shen Qi boiled water, and he couldn't understand what Shen Qi and Ou Ye were talking about.

Ordinary college student couples come to drink coffee, and the most talked about topics are food, clothing, housing and transportation, which store is delicious, kissing you This dress is so beautiful and your temperament is particularly compatible, let's go out for a trip at Christmas, or open a room in the local area, and so on.

The young man and woman who drink boiled water, the content of their daily conversation belongs to another category, they are either Mizuki or students of Yan University, right?

Shen Qi's logical theory is only understood by Ou Ye among his peers, and Ou Ye is slowly understanding.

Ouye's language expression is also only Shen Qi can grasp the core point, and Shen Qi is gradually adapting.

All in all, the daily conversation between these two people is incomprehensible to ordinary people. It's useless to understand, I don't know what they want to do or what their purpose is.

Shen Qi paid the bill, copied the outline of the thesis into a USB flash drive and handed it to Ou Ye: "I'm ready to retreat, you won't see me for half a month to a month, the squad leader has entrusted the work to Zhou Yu'an, if there is anything particularly urgent, you can call me." ā€

Ou Ye took the USB flash drive and said, "One last thing." ā€

Shen Qi said expressionlessly, "Speak." ā€

Ouye: "The handwritten manuscript of question 26, give it to me." ā€

Shen Qi was still expressionless: "Oh." ā€

Oye: "You're insane. ā€

Shen Qipi didn't smile: "Heh." ā€

"Huh. Ou Ye was amused by Shen Qi, and she showed an obvious smile, which was already very obvious to her.

"Look, you smile very charmingly, and you even have two shallow dimples, Ou Ye, why are you always expressionless? If you don't cry, laugh or get excited for a long time, it is easy to cause facial paralysis. In the future, you should smile more, do you hear?" Shen Qi made a pertinent suggestion.

Oyepi didn't smile: "Oh. ā€

"Ou Shen, I don't accept the water and soil, just obey you, your original version of 'Oh' is full of charm, and I will never learn it in my life. Shen Qi got up, shook his head with a smile, and went back to the bedroom to get a copy of the handwritten manuscript of question 26 and handed it to Ou Ye.

The handwritten manuscript records Shen Qi's initial logical thinking and solution process, which has certain reference significance for Ou Ye.

A few days later, Shen Qi went into retreat, leaving his dormitory at 6 a.m. and returning at 12 p.m., and his roommates didn't know where he went or what he did.

In the process of collating the verification of problem 23, Shen Qi encountered a new problem, and he needed a new method to solve the generalized nonlinear complementarity problem constrained by linear inequality.

Shen Qi thought about this question for three days and three nights, but to no avail, no idea.

The original question 23 of Sun Erxiong is not difficult, it is nothing more than to verify a Jacobian determinant.

In the 48 hours of frenzied brushing, Shen Qi experienced the first leap of thought, and he hypothesized a new method of proof, proved that this new method of proof, and then went to verify the Jacobian determinant set by the question.

In the last three days and three nights, Shen Qi has experienced the second leap of thought, and he believes that the new method of proof created by himself needs to be further improved, the solution is OK, and there are many places worth scrutinizing when writing a thesis.

Constantly overthrowing, rebuilding, denying, and affirming, Shen Qi sat in a corner of Yanda for a day, sitting for three days and three nights, except for eating, sleeping and going to the toilet.

The biggest problem that plagues Shen Qi is whether there is an algorithm for generalized Jacobian matrices based on semi-smooth equations composed of generalized complementarity problems to form a linearized quadratic model with ellipsoidal constraints.

A high-level question, which was originally not difficult, became more and more complicated by Shen Qi, and the more he thought about it, the more profound it became, and he couldn't solve it himself.

Mathematics, as well as all natural sciences, is advancing in a process of constant overthrow and re-argumentation.

Someone succeeded and went down in history.

Someone went crazy and was sent to a psychiatric hospital.

Shen Qi was hungry, and he wanted to eat.

In a trance, he floated to the cafeteria, the noodle window, and Shen Qi waited in line for dinner.

While waiting for the meal, Shen Qi noticed that a large rectangular pot was placed inside the window, and there were many large steamed buns with white flowers inside.

These steamed buns are stacked in a singular way, taking on a distinctly mathematical arrangement.

"It turns out that the academic masters hidden in the people are not only librarians and typists, but also canteen masters. Shen Qi had to look at the chef a few more times, the tall white hat highlighted his wisdom, and his bright eyes flashed with aura. He must be a master, and he must have a last resort to succumb to the Yanda canteen.

When it was Shen Qi's turn to eat, he took out his meal card and faced the chef.

"Hello classmates, what are you eating?" the master asked with a smile, very affinity.

Shen Qi was not in a hurry to order, he pointed to the pile of steamed buns inside the window and said, "They are non-linear. ā€

"That's absolute, classmate, of course the big steamed bun is non-filled, and the stuffed one is a bun. The master replied and asked, "How many steamed buns?"

Shen Qi humbly asked: "Master, may I ask which institution of higher learning you graduated from and which master you studied with?"

The chef revealed his study experience: "I graduated from New Oriental Cooking School, and the master who taught me steamed steamed buns is called Li Baota. ā€

That's right, masters generally don't easily reveal their true identities, Shen Qi continued to probe: "You are talking and laughing and posing for the local nonlinear feature elements of the quadratic model at the xk point, and the theoretical foundation is very solid. Hibernate in the Yanda cafeteria, you must be researching some major topic, have you had preliminary results?"

Okay, it's not uncommon for Yan University to go crazy again, the master didn't dare to ask more, he focused on his catering business: "Young man, do you buy steamed buns?"

"Buy, buy five steamed buns. Shen Qi swiped his card and bought steamed buns.

Find a table to sit down, Shen Qi ate a big steamed bun and tore the remaining four.

Shen Qi's method of tearing steamed buns is very particular, obviously after strict calculation, and the size of each piece of steamed bread fragments is almost the same.

The fragments of steamed buns were arranged by Shen Qi into three columns, representing some kind of matrix.

Observing a table of steamed bun matrices, Shen Qi fell into a more confused logical deadlock, if ā–½G(x)^-1ā–½F(x) is a P-matrix, then my previous assumption is not true?

Assuming that ā–½G(x) is reversible, and that each of its principal and sub-formulas is non-negative, each stable point of the φ satisfies H(x)=0.

According to this logic, ā–½G(x)^-1ā–½F(x) is a P-matrix defined in linear algebra, so is V∈ðH(x) non-singular?

There is an obvious logical error in this horse, it doesn't make sense!

Shen Qi became more and more confused, and the topic of the dissertation based on question 23 became more and more profound by him, and he put forward hypotheses, overturned hypotheses, proposed them again, and overturned them again.

Logic is invincible, because defeating logic also requires the use of another logic. Shen Qi fell into a dead end of logical self-consistency, he had never been so confused, he didn't know that kind of logic was really effective logic.

There is a pair of students and lovers sitting at the same table, the two of them are affectionate and affectionate, you eat a piece of my stuffed tofu, and I drink a sip of your milk tea.

The girl found Shen Qi not far away, and she said to the male ticket curiously: "You look at that person's appearance is so strange." ā€

The boy glanced at Shen Qi and smiled cynically: "I saw it too, he looks like a dog, a math dog." ā€

"How do you know he's from the Academy?" the girl asked.

"I can recognize him when he burns to ashes, Shen Qi. The boy is a sophomore, majoring in materials in the College of Engineering, and lost to Shen Qi in the 5000-meter race not long ago: "Ignore him, he is a neurotic, there is no normal person in the number of hospitals, come, eat, let's go to the movies after eating." ā€

The girl didn't go to the stadium to cheer for the engineering man, she didn't know Shen Qi before, but now she does.

Eating the chicken wings from the men's ticket clip, the girl couldn't help but peek at Shen Qi, she felt that although this math dog was weird, he was quite handsome and charming when he thought about the problem seriously.