Hello,
More of my philosophy about Logic and about the Gödel's incompleteness theorems and about Markov chains and more of my thoughts..
I am a white arab from Morocco, and i think i am smart since i have also invented many scalable algorithms and algorithms..
I have searched more on internet the much more precise and correct Gödel's First incompleteness theorem, and here it is:it
"Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F"
And in mathematics, a statement is a declarative sentence that is either true or false but not both. A statement is sometimes called a proposition. The key is that there must be no ambiguity. To be a statement, a sentence "must" be true or false, and
cannot be both.is true but that we can not prove by such logical inference or deduction, so then the system remains really useful even if it's incomplete by Gödel's incompleteness theorems, so i think that Gödel's incompleteness theorems are not so problematic.
So that means that we know that the statement is true or false but it can not be proven true or false, so we then logically infer that we can not prove the consistency of the system , so the statement can be that it is like an axiom in mathematics that
More of my philosophy about the truth table of the logical implication and about automation and about artificial intelligence and more of my thoughts..
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, and i mean that it is "above", and nowyou notice that it permits to model cases of the reality ,
i will ask a philosophical question of:
What is a logical implication in mathematics ?
So i think i have to discover patterns with my fluid intelligence
in the following truth table of the logical implication:
p q p -> q
0 0 1
0 1 1
1 0 0
1 1 1
Note that p and q are logical variables and the symbol -> is the logical implication.
And here are the patterns that i am discovering with my fluid intelligence that permit to understand the logical implication in mathematics:
So notice in the above truth table of the logical implication
that p equal 0 can imply both q equal 0 and q equal 1, so for
example it can model the following cases in reality:
If it doesn't rain , so it can be that you can take or not your umbrella, so the pattern is that you can take your umbrella since it can be that another logical variable can be that it can rain in the future, so you have to take your umbrella, so as
and it is the same for the case in the above truth table of the implication of if p equal 1, it implies that q equal 0 , since the implication is not causation, but p equal 1 means for example that it rains in the present, so even if there is anotherlogical variable that says that it will not rain in the future, so you have to take your umbrella, and it is why in the above truth table
p equal 1 implies q equal 1 is false, so then of course i say that the truth table of the implication permits to model the case of causation, and it is why it is working.truth, like saying that Jeff Bezos is the best human among humans is a subjective truth. So i can say that we are in mathematics also using the rules of logic so that to logically prove that a theorem or the like is truth or not, so notice the following
More of my philosophy about objective truth and subjective truth and more of my thoughts..
Today i will use my fluid intelligence so that to explain more
the way of logic, and i will discover patterns with my fluid intelligence so that to explain the way of logic, so i will start by asking the following philosophical question:
What is objective truth and what is subjective truth ?
So for example when we look at the the following equality: a + a = 2*a,
so it is objective truth, since it can be made an acceptable general truth, so then i can say that objective truth is a truth that can be made an acceptable general truth, so then subjective truth is a truth that can not be made acceptable general
p q p -> q
0 0 1
0 1 1
1 0 0
1 1 1
Note that p and q are logical variables and the symbol -> is the logical implication.
The above truth table of the logical implication permits us
to logically infer a rule in mathematics that is so important in logic and it is the following:
(p implies q) is equivalent to ((not p) or q)
And of course we are using this rule in logical proofs since
we are modeling with all the logical truth table of the
logical implication and this includes the case of the causation in it,
so it is why it is working.
And i think that the above rule is the most important rule that permits
in mathematics to prove like the following kind of logical proofs:
(p -> q) is equivalent to ((not(q) -> not(p))
Note: the symbol -> means implies and p and q are logical
variables.
or
(not(p) -> 0) is equivalent to p
And for fuzzy logic, here is the generalized form(that includes fuzzy logic) for the three operators AND,OR,NOT:
x AND y is equivalent to min(x,y)
x OR y is equivalent to max(x,y)
NOT(x) is equivalent to (1 - x)
More of my philosophy about eigenvectors and eigenvalues and Markov chains in mathematics and more of my thoughts..
I am a white arab from Morocco, and i think i am smart since i have also invented many scalable algorithms and algorithms..
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, and i mean that it is "above" 115 IQ, and as you know, i have just invented my philosophy and the new ideas of my philosophy and posted them here andi have just invented many proverbs and posted them here and i have invented many poems of Love and poems and posted them here... , so now i will quickly create an interesting mathematical tutorial about eigenvectors and Markov chains in mathematics, and
Say v is an eigenvector of a matrix A with eigenvalue λ. Then Av=λv.
So there is an important thing to know in mathematics and it is that mathematical eigenvectors show in phenomenons that exhibit a "stable" behavior with time, and in Markov chains we search also for
an eigenvector where the system will stabilize, so we have to solve:
A*vector(v) = I*vector(v) [1]
The identity matrix I has 1 as its only eigenvalue. All vectors are associated eigenvectors since
I*v = v = (1)v
for all v.
A is the transition matrix
and v a vector.
So since the Eigenvalue is 1, that means we have to solve the
following system of equation that will give you the eigenvector
where the system will "stabilize" its behavior:
(A - I)*vector(x)= vector(0)
I is the identity matrix.
So now here is my tutorial about Markov chains in mathematics:way to an equilibrium distribution.
In mathematics, many Markov chains automatically find their own way to an equilibrium distribution as the chain wanders through time. This happens for many Markov chains, but not all. I will talk about the conditions required for the chain to find its
So if in mathematics we give a Markov chain on a finite state space and asks if it converges to an equilibrium distribution as t goes to infinity. An equilibrium distribution will always exist for a finite state space. But you need to check whether thechain is irreducible and aperiodic. If so, it will converge to equilibrium. If the chain is irreducible but periodic, it cannot converge to an equilibrium distribution that is independent of start state. If the chain is reducible, it may or may not
So i will give an example:
Suppose that for a course you are currently taking there are two volumes on the market and represent them by A and B. Suppose further that the probability that a teacher using volume A keeps the same volume
next year is 0.4 and the probability that it will change for volume B
is 0.6. Furthermore the probability that a professor using B this
year changes to next year for A is 0.2 and the probability that it
again uses volume B is 0.8. We notice that the transition matrix is:
| 0.4 0.6 |
| |
| 0.2 0.8 |
So the interesting question for any businessman is whether his
market share will stabilize over time. In other words, does it exist
a probability vector (t1, t2) such that:
(t1, t2) * (transition matrix above) = (t1, t2) [2]
and notice that the mathematical system [2] looks like the mathematical system [1] above.
So notice that the transition matrix above is irreducible and aperiodic,
so it will converge to an equilibrium distribution that is (t1, t2) that
i will mathematically find, so the system of equations of [2] above is:
0.4 * t1 + 0.2 * t2 = t1
0.6 * t1 + 0.8 * t2 = t2
this gives:
-0.6 * t1 + 0.2 * t2 = 0
0.6 * t1 - 0.2 * t2 = 0
But we know that (t1, t2) is a probability vector, so we have:
t1 + t2 = 1
So we have to solve the following system of equations:
t1 + t2 = 1
0.6 * t1 - 0.2 * t2 = 0
So i have just solved it with R, and this gives the vector:
(0.25 , 0.75)
Which means that in the long term, volume A will grab 25% of the market while volume B will grab 75% of the market unless the advertising campaign does change the transition probabilities.
Thank you,
Amine Moulay Ramdane.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 297 |
Nodes: | 16 (2 / 14) |
Uptime: | 105:01:08 |
Calls: | 6,660 |
Calls today: | 2 |
Files: | 12,209 |
Messages: | 5,335,309 |