No matter what supercomputer Fugaku is excellent, as long as all computers are established by binary logic, as long as it is led by quantum computer, for example, unless it is a genome or genetic computer, human beings will be some rational genius forever. We will not break away from the reality of being dominated. Need math, logic, analytic philosophy and the computer science revolution.

The logic symposium held at Ritsumeikan University in Kyoto a few years ago was wonderful in retrospect. After all, Kripke's possible worlds semantics, David Lewis's plural-worlds semantics, and Frege's conceptual notation all refer to ∃ = the reproducibility of the universe. ∃ miraculously exists only once, and eventually ends and disappears.

Whether it is the Godel's incompleteness theorem or the cutting of Dedekind's number logic, the ultimate goal of mathematics is ultimately a proof of the irreproducibility of existence. In other words, existence only appears once as a world and eventually returns to nothing. Perhaps all mathematics is carried out only by the absolute proof of the truth. If ∃ can appear many times, only to find inconsistencies.

For example, as with the Rihmann hypothesis, if mathematics itself is completely consistent and all paradoxes and proofs of contradiction resolution are made, the world may appear many times, and existence may repeat extinction and birth. But if that isn't possible, it's possible that existence will only appear once, and eventually it will return to nothing and never be born again.

❇Actually, just all intuitively habitually indwelling ideas.

If the truth is that it is not a good poem to take time as Mr. Shuntaro Tanikawa says, even if the whole mathematical proposition theory goes from contradiction proof to contradiction resolution proof, it is not by repetitive efforts, but by some kind. It must be based on a very accidental discovery that completely solves the mystery from the contradiction attending like egg of Columbus. In a different way from the gradual order.

Feb. 11th.     2022