The story could trace back to the year 2014, when a friend in Shanghai
suggest me to research on grammar and semantics.
The concept of "formal language" and "Finite Automata
Machine" were brand new to me. Although I had 7 years’ education in theoretic
math, I had never heard about the subject of logic and Computable questions,
which ,in fact is an important branch of pure math.
The short talk inspired me a lot, I start to treat math theories and
problems encountered in my previous studies as a whole knowledge graph. I want
to find their relations.
Could everything be presented by numbers? Or could every question be
expressed in formal language and calculated by an Automata Machine.
If we want to construct the whole outline of knowledge graph, what is
needed to accomplish the construction?
To answer these questions, we must know more about our physical universe
and abstract algebraic structures.
And, what can I do as an individual to accelerate this process?
When I told my friend these ideas, he estimated that I could classify
questions and judge which type of question is solvable.
It's a prospective program if we can classify all existing questions and
problems that might be raised in the future, but it require a lot of personal
perseverance to achieve this goal.
Also, the process about how to range questions in order itself remained an
unsolvable question to discover. According to Kurt G?del’s theory, there are
question which we know its solvable but we can provide solution.
It sounds absurd, but it is strictly testified.
In that case, the global solution will not exist，why are we wasting time to sort question in order?
I'm confused on this, but I kept on exploring, on mathematic logic ,computable theory and Automata Machine.
Due to some personal issues, the exploring was stubbled.For several years, I was stayed in home.
In that period,I asked him a question, a very fundamental but meaningful question: if we want two big numbers, how will we do this caculation in computer language.
"The answer is simple, just find two digits big enough to store the numbers and their sum."
Yes, caculation is so simple, even when you need to deal with big data. All you need is enough area to store information and do caculation.
We have been taught skills to deal with all kind of complexed problems, but have you think of the basic concepts?
What is natrual number, why number can add and multiply?
And why understanding these elementary knowledge can help you understand more about the construction of this physics universe we are live in.
Let's track everything back to the beginning of its history?How math, physics, music, sound theory developed, and how we get abstract figures from these complexed system to do caculation?
What information does a music convey? how is it expressed in language and disseminate in universe?
If we understand colors comes are determined by The wavelength of light, what made up the music we hear. What generates the sound wave?
If every information including articles,figures,music,architecture is recorded in solid body like stones,wood,diode and so on.
Why can't we skip the study of music, and directly go to sound and wave theory, to see, what makes up different sound and which type of sound is music.
|我的勋章
：破军十二号
：狼埔机器人
：兵法二十四篇
：今日0 帖
：风云0-4 届
Post By：2023/12/2 10:20:09 [只看该作者]
：时间，是看不见的光线
