The Foundations of a Non-Naive Mathematics

[matt grime]

what on Earth does it mean to 'in the framework' of sometihng in order to understand it? i understand how a cd player works, but I'm not in any sense in a framework of a cd player... the mind boggles.

 

[Lama]

Direct experience baby, not just theory.

 

[matt grime]

oh, so how about theoretical physics such as black holes or string theory? why must a theory be experienced directly? well, obviously it mustn't, but that's your problem. of course if you must have direct experience then you can't possibly use the real numbers or any such since they can't be directly experienced (they don't exist, in any physical sense, and we all know how subjective you can get).

 

[Lama]

Matt,

Physics has two legs, the theoretical leg and the experimental leg, and they both complement each other.

Only by these two legs we can say that we understand something.

When we deal with ‘theory_only’ system then ‘in’ and ‘out’ frameworks are the inductive/deductive interactions of our ideas, or our local/global points of view.

 

[Lama]

Matt,

I thought about something and I'll be glad to know your opinion.

It goes like this:

When two violins in the same room are tuned with each other, if we play on one of them we find that the strings of the other violin are also vibrate.

Now let as say that intuition is our tuned instrument, and if a person expresses its intuitions by developing a way of thinking, the people that embrace this way of thinking probably share the same intuitions.

On the basis of these common intuitions a community can be established.

Let us say that this community is the first organization that deals with some part of the human knowledge, so in these early stages this community has no comparators on this part of the human knowledge.

Quickly this community becomes the most developed organization, which holds this part of the human knowledge, and other parts of human civilization look at this organization as the one and only one possible intuition which standing in the basis of a one and only one way (school) of thought (and I am not talking about variations, which are actually different brunches of the same way of thought, or the same school of thought if you like).

2500 years are passing and this school of thought survives because of two main reasons:

1) This way of thought was fitting to the needs of the human civilization along these 'slow' (linear) years.

2) Any other alternative intuitions (if they where at all) where put aside because:

a) They where not useful in their time.

b) And if they where useful and also a real alternative to the current school, then the current school used its power and money to block this alternative intuition by forcing its educational methods on the public.

We have to understand that intuitions cannot be learned, but a lot of external power can distort them until they lost their ability to be the source of a new school of thought.


The 120 century is the time where our civilization moved from linear time to non-linear time.

In this time the power of few holds the destiny of our civilization, and most of their power is based on the technical abilities that where developed by this school of thought, that was established 2500 years ago.

But our technical achievements, which are not balanced by another ways of thought, are like a government with no opposite.

We have learned that evolution needs diversity; otherwise we quickly get a dead planet.

The field of evolution in our non-linear time splits to "hardwhere" and "softwhere" parallel paths, where the hardwhere side is our technology and the softwhere side is our morality.

We can clearly see that there is no balance between the levels of these two paths, and this lack of balance in a non-linear time can quickly lead us to a dead-end street.

Therefore I think that we have to do the best we can to find the balance between our morality level and our technical abilities.

The first place that binds both paths is the language of mathematics.

In my opinion people how learn this powerful language, must first of all to develop their moral abilities by opening themselves to another intuitions which are not their intuitions and let them flourish in their communities.

By this way we develop our tolerance and learn how to live side by side, and if other intuitions are better then our intuition in this period of time, we do our best to help them flourish instead of trying our best to shut them down.

And we have the motivation to do that because we understand that we are all in the same boat.

My intuitions and ideas about the language of mathematics are different then the standard school of mathematics.

But in my opinion the most important difference, which I think fits to our non-linear time (more then the standard school) is that I include the mathematician cognition's ability to develop Math as a part of the mathematical research.

By this self-reference attitude I hope to develop the gateway that can connect between our moral abilities to our technical abilities.

And for that I need you help.

What do you think?

 

[sparkster]

It is too general, please be more specific, thank you.

It's not too general at all. I can list the field axioms and the least upper bound axiom, etc, that give tells how the real numbers work.

He's just asking you to list the axioms you're using. And if you do so, please try to it concisly and precisely.

 

[sparkster]

2) My logical reasoning is based on an included-middle reasoning, where the contradiction concept does not exist because two opposites are simultaneously preventing/defining each other.

Therefore I cannot fail to produce a proof by contradiction in an included-middle reasoning framework.

Don't you see how ridiculous this is? You say that contradictions do not exist in your "framework," but you cannot fail to prdocue a proof by contradiction. If contradictions don't exist, then a proof by contradiction cannot work! The proof by contradiction rests on A or not A being a tautology. If you don't hold to this, then you can't do proof by contradiction. You can post a "proof" that isnt' really one, and call it by "contradiction" which it wouldn't be, but don't use math terms unless you mean them. You'll just be harder to understand than you are usually.

3) If you read carefully http://www.geocities.com/complementarytheory/No-Naive-Math.pdf then I think that you will understand what is the meaning of ‘<’ or ‘>’ in my framework.

I think I expressed how arrogant and tiring it is for you to give out reading assignments. Are trying to get more hits on your website or something? Just post it for god's sake.

 

[arildno]

It's not too general at all. I can list the field axioms and the least upper bound axiom, etc, that give tells how the real numbers work.

He's just asking you to list the axioms you're using. And if you do so, please try to it concisly and precisely.

I think such a list will never come forth.
Usually, the inability to produce such a list, is indicative of the fact that the claimant is an arrogant ignoramus spouting incoherent blather; however we can't rule out completely the possibility that Lama does not belong in that august company.

 

[Lama]

Don't you see how ridiculous this is? You say that contradictions do not exist in your "framework," but you cannot fail to prdocue a proof by contradiction. If contradictions don't exist, then a proof by contradiction cannot work!

You missed the point because of your aggressive approach about my work.

Because contradiction does not exist in my framework, my ideas are not based on it at all, instead they are based on the complementary approach, where two opposites are simultaneously preventing/defining their middle domain.

Whole my work is based on this 'school of thought', where contradiction is the basis of your 'school of thought' of excluded-middle reasoning.

We are in two different worlds, and because of your aggressive attitude you still do not understand this, and still continue to examine my work from your 'school of thought' point of view.

So, the two simple questions that I want to ask you are:

1) Why are you so aggressive about my work?

2) Can you put aside your aggressive attitude before we continue?

 

[Lama]

He's just asking you to list the axioms you're using

Because my work examines several fundamental concepts of the language of mathematics, I need first to know what in what fundamental concept you are interested.

From your post I understand the you wish to see the list of the axioms that are related to the real numbers, so here they are:

A definition for a point:
A singleton set p that can be defined only by tautology ('='), where p has no internal parts.

A definition for an interval (segment):
A singleton set s that can be defined by tautology ('=') and ('<' or '>'), where s has no internal parts.

The axiom of independency:
p and s cannot be defined by each other.

The axiom of complementarity:
p and s are simultaneously preventing/defining their middle domain (please look at http://www.geocities.com/complementarytheory/CompLogic.pdf to understand the Included-Middle reasoning).

The axiom of minimal structure:
Any number which is not based on |{}|, is at least p_AND_s, where p_AND_s is at least Multiset_AND_Set.

The axiom of duality(*):
Any number is both some unique element of the collection of minimal structures, and a scale factor (which is determined by |{}| or s) of the entire collection.

The axiom of completeness:
A collection is complete if an only if both lowest and highest bounds are included in it and it has a finite quantity of scale levels.

The Axiom of the unreachable weak limit:
No input can be found by {} which stands for Emptiness.

The Axiom of the unreachable strong limit:
No input can be found by {__} which stands for Fullness.

The Axiom of potentiality:
p {.} is a potential Emptiness {}, where s {._.} is a potential Fullness {__}.

The Axiom of phase transition:
a) There is no Urelement between {} and {.}.
b) There is no Urelement between {.} and {._.}.
c) There is no Urelement between {._.} and {__}.

Urelement (http://mathworld.wolfram.com/Urelement.html).


The axiom of abstract/representation relations:
There must be a deep and precise connection between our abstract ideas and the ways that we choose to represent them.


(*) The Axiom of Duality is the deep basis of +,-,*,/ arithmetical operations.

Tautology means x is itself or x=x.

Singleton set is http://mathworld.wolfram.com/SingletonSet.html .

Multiset is http://mathworld.wolfram.com/Multiset.html .

Set is http://mathworld.wolfram.com/Set.html .

(By the way the diagrams in my papers are also proofs without words http://mathworld.wolfram.com/ProofwithoutWords.html )



The Axiom of the paradigm-shift:

Within any consistent system, there is at least one well-defined set, which its content cannot be well-defined within the framework of the current system.



Let us stop here to get your remarks.

 

[matt grime]

Here's a simple comment: you have not shown that the object which we call the real numbers satisfies any of those axioms. Nor do those axioms imply that the real numbers even exist (in a mathematical sense). Nor have you demonstrated that from these axioms alone can you construct anything, never mind something that is our real numbers.

 

[Lama]

Here's a simple comment: you have not shown that the object which we call the real numbers satisfies any of those axioms. Nor do those axioms imply that the real numbers even exist (in a mathematical sense). Nor have you demonstrated that from these axioms alone can you construct anything, never mind something that is our real numbers.

The real numbers are the shadow of my system.

You can still use Dedekind's sentence of the continuum that is based on the axiom of 'least upper bound', if you wish.

Before you continue Matt, please read https://www.physicsforums.com/showpost.php?p=270261&postcount=255

Thank you.

 

[matt grime]

You have not shown that there is any object that satisfies your axioms, and certainly the real numbers don't do it. you've failed to define almost all of the terms you use (the axiom of duality is, for instance, unintelligible).

so, start from the beginning, your "numbers" are a set S satisfying ... whatever your axioms are, prove that a model of this exists (you've not done that) then demonstrate what it is that you mean by "shadow" since it is not clear at all what that means. You might occasionally want to listen to a mathematician without being deaf to the objections: after all you want the dialogue.

 

[Lama]

what it is that you mean by "shadow"

You can still use Dedekind's sentence of the continuum (L < c < R) that is based on the axiom of 'least upper bound' ( http://mcraefamily.com/MathHelp/CalculusLimitUpperBound.htm ), if you wish.

the axiom of duality is, for instance, unintelligible

Did you read https://www.physicsforums.com/showpost.php?p=270261&postcount=255 ?

Also please look at http://www.geocities.com/complementarytheory/No-Naive-Math.pdf starting from page 5.

 

[matt grime]

the pdf does not define what any of those terms mean on page 5, I've read the other link to your post, not interested in commenting here, or there, and you've still not proven that there is a model for you axioms. all we know is that the real numbers aren't it, being only a shadow (something still not adequately defined), so what are they? that do you?

 

[Lama]

I wrote 'starting from page 5'.

Also I see that you chose to ignore my post to you at https://www.physicsforums.com/showpost.php?p=270261&postcount=255

So, let me put it this way:

There is no way to explain intuitions, it means that we already have them or not.

You do not share with me any common intuitions that are related to fundamental concepts of the Langauge of Mathematics, therefore you cannot understand my axioms.

On the contrary I can understand your axioms because they are based on intuitions that are less deep than my intuitions, and this is the reason why I am talking about a paradigm shift in the langage of Mathematics.

You will never understand me, and that is a clear fact after almost 2 years of dialogs between us.

So I want to ask you:

I'll be glad to continue our dialog, but why do you continue our dialog?

 

[matt grime]

does that reply imply that the terms on page 5 are defined on another page in the pdf? care to point out which one?

i understand that you're a crank, doron, and taking time out to answer yout trivial posts doesn't adversely affect my day, and after all it only takes for good men to do nothing for the crackpots to advance their theory, to paraphrase someone. better to debunk the garbage than let it fester.

 

[Lama]

I understand that you're a crank

So why do you continue your dialog with me if I am a crank, which his work cannot be understood by you?

better to debunk the garbage than let it fester.

How can you do that if you have no ability to understand even the most trivial thing of my work?

So, I am right about you.

You are no more then a full_time_job_sanitarian of the current school of thought of the Langauge of Mathematics.

 

[Hurkyl]

Let me point out one problem. (More later)

The Axiom of the weak limit:
No input can be found by {} which stands for Emptiness.

The Axiom of the strong limit:
No input can be found by {__} which stands for Fullness.

These are the only axioms that involve the terms "no input", "found", "{}", and "{__}". Thus, the only theorems you can prove about these three terms must be proven with only these two axioms.

Some examples of why this is a problem:
You cannot prove {} and {__} are different.
You cannot prove anything can be found by anything.
You cannot prove the existence of any input.

 

[Lama]

1) axioms are not proven

2) |{}|=0 , |{_}|=1 (The 1 continuum)

Please read http://www.geocities.com/complementarytheory/No-Naive-Math.pdf (please start from page 10 until the end of my article, if you wish to understand my work).

 

[Hurkyl]

If you're adding, as axioms, that |{}| = 0 and |{__}| = 1, then we can now prove:

If 0 and 1 are different, then {} and {__} are different. (Assuming that | | is supposed to be a logical function)

You still can't prove any of the things I said you couldn't prove, though.

 

[Lama]

Again, axioms are not proven

|{}|=0 , |{__}|=1 (The 1 continuum)

Please read http://www.geocities.com/complementarytheory/No-Naive-Math.pdf (please start from page 10 until the end of my article, if you wish to understand my work).

 

[Hurkyl]

Yes, but things may only be proven from axioms.

(Incidentally, any axiom proves itself)

 

[Lama]

Do you want to understand my work or not?

If yes then please read http://www.geocities.com/complementarytheory/No-Naive-Math.pdf (please start from page 10 until the end of my article).

 

[Hurkyl]

http://www.geocities.com/complement...-Naive-Math.pdf doesn't work.

Does it have more axioms than the ones you listed in #260?

 

[Sporg]

terrabyte has been banned. He used to call himself ram1024, ram2048, ram4096, etc. We have banned this person three times already, yet he still does not seem to understand that he is not welcome here, and nor are his pointless threads.

If any of you see activity that you suspect is due to the same individual, please let the staff know so we can deal with it.

- Warren

Warren, i get the feeling that you don't like me...

for the record, i wasn't banned three times i was banned once for all three accounts. for "spamming" which i wasn't. but that's neither here nor there.

 

[Lama]

doesn't work.

My first response to "doesn't work" was:
(If you cannot understand what are the unreachable limits of any information system (including the Langauge of Mathematics) and how I use the reachable information forms, which exist between these unreachable limits, to create Math that is based on an Included-Middle reasoning, then dear Hurkyl I cannot help you.)

Then I realized that it is technically doesn't work, so sorry about my first response and here it is again the link of my work: http://www.geocities.com/complementarytheory/No-Naive-Math.pdf (please start from page 10 until the end of my article).


Please read a post of mine to Matt, to understand more https://www.physicsforums.com/showpost.php?p=270261&postcount=255

Thank you.

 

[Lama]

Here is again a list of my axioms, which are related to R:

A definition for a point:
A singleton set p that can be defined only by tautology ('='), where p has no internal parts.

A definition for an interval (segment):
A singleton set s that can be defined by tautology ('=') and ('<' or '>'), where s has no internal parts.


The axiom of independency:
p and s cannot be defined by each other.

The axiom of complementarity:
p and s are simultaneously preventing/defining their middle domain (please look at http://www.geocities.com/complementarytheory/CompLogic.pdf to understand the Included-Middle reasoning).

The axiom of minimal structure:
Any number which is not based on |{}|, is at least p_AND_s, where p_AND_s is at least Multiset_AND_Set.

The axiom of duality(*):
Any number is both some unique element of the collection of minimal structures, and a scale factor (which is determined by |{}| or s) of the entire collection.

The axiom of completeness:
A collection is complete if an only if both lowest and highest bounds are included in it and it has a finite quantity of scale levels.

The Axiom of the unreachable weak limit:
No input can be found by {} which stands for Emptiness.

The Axiom of the unreachable strong limit:
No input can be found by {__} which stands for Fullness.

The Axiom of potentiality:
p {.} is a potential Emptiness {}, where s {._.} is a potential Fullness {__}.

The Axiom of phase transition:
a) There is no Urelement between {} and {.}.
b) There is no Urelement between {.} and {._.}.
c) There is no Urelement between {._.} and {__}.

Urelement (http://mathworld.wolfram.com/Urelement.html).


The axiom of abstract/representation relations:
There must be a deep and precise connection between our abstract ideas and the ways that we choose to represent them.


(*) The Axiom of Duality is the deep basis of +,-,*,/ arithmetical operations.

Tautology means x is itself or x=x.

Singleton set is http://mathworld.wolfram.com/SingletonSet.html .

Multiset is http://mathworld.wolfram.com/Multiset.html .

Set is http://mathworld.wolfram.com/Set.html .

(By the way the diagrams in my papers are also proofs without words http://mathworld.wolfram.com/ProofwithoutWords.html )



The Axiom of the paradigm-shift:

Within any consistent system, there is at least one well-defined set, which its content cannot be well-defined within the framework of the current system.



Let us stop here to get your remarks.

 

[arildno]

"A definition for a point:
A singleton p that can be defined only by tautology ('='), where p has no internal parts."

1. What is a singleton?
2. What is "="?
3. What is an "internal part"?
4. What is an external part?

 

[Lama]

1. What is a singleton?
2. What is "="?

1. Singleton set http://mathworld.wolfram.com/SingletonSet.html
2. Tautology (x is itself or x=x).

3. What is an "no internal parts"?
4. What is an external part?

3. Non divisible or Urelement (http://mathworld.wolfram.com/Urelement.html).
4. I did not use these words.

(By the way the diagrams in my papers are also proofs without words http://mathworld.wolfram.com/ProofwithoutWords.html )

 

[Erck]

A point with no internal parts does not exist.

 

[Lama]

You missed the point.

I said "no internal parts".

Which means, it is non-divisible.

 

[hello3719]

A definition for a point:
A singleton set p that can be defined only by tautology ('='), where p has no internal parts.

A definition for an interval (segment):
A singleton set s that can be defined by tautology ('=') or '<' or '>', where s has no internal parts.

A number is consider as a point in your system right ?

If yes, then by the 1st definition it would follow that there can only exist one number,because in our system, numbers are constructed using previous numbers (ex. 1 + 1 = 2) Unless i misunderstood the internal parts thing.

 

[Lama]

A number is consider as a point in your system right ?

A number in my system is |{}| or p_AND_s , where p_AND_s is at least Multiset_AND_Set.

 

[hello3719]

A number in my system is |{}| or p_AND_s

what is |{}| ?

 

[Lama]

The cardinal of {}.

 

[matt grime]

But, Doron, the only people to agree with anything you've said are also cranks (though moshek is borderline), so let me have my fun. Remember you're the one who asked me to come here and comment on your work. Tough if you don't like it.

 

[Lama]

Matt, there is a time (after more then a year) when you have to realize that you have no ability to give any useful comment about my work, because you demonstrate time after time that its most basic principles are beyond your basic intuitions that you have about the language of Mathematics and its reasoning.

I can show you the most beautiful things in the world, but if you are blind to them, then it is a waste of time for both of us.

As I said before (https://www.physicsforums.com/showpost.php?p=270261&postcount=255), in my opinion your school of thought is based on the shadow of the intuitions of my school of thought.

If you insist and give comments to things that you cannot see (understand) then this is your problem.

 

[Lama]

Let us think about Mandelbrot set http://aleph0.clarku.edu/~djoyce/julia/julia.html .
The set itself is the black areas, where no information can be found.

This black area is the invariant or the constant side of Mandelbrot set, but the other side of it is its border area, where the interesting information is created when Mandelbrot set goes to infinity.

No one of these sides can be ignored if we want to understand what is a Mandelbrot set.

The same approach has to be used if we want to understand what is R collection.

Any R member is a unique (invariant and constant) element in the collection, but on the same time each constant is a scale factor of the entire R collection.

It means that the entire R collection exists between two opposite states (minus is the mirror -not the oppisie- of plus side).

In one state, when 0 is the scale factor, no R member except 0 can be found.

On the other state No R member can be found when we reach oo (as clearly can be shown here: http://www.geocities.com/complementarytheory/RiemannsLimits.pdf ).

Furthermore, because of this duality of any R member, we get a system which is both absolute (when a single scale is examined) and relative (where the same place of the real line is examined simultaneously on several different scales).

Another example:

Pi = the relations between the perimeter and the diameter of a circle.

Pi is invariant in any arbitrary given scale, but when several scale levels are simultaneously compared, we can clearly see that each circle has a different curvature.

If our system is a circle, then if we want to understand what is a circle, then both its invariant and its variant properties cannot be ignored.

(We also have to be aware to the fact the no circle can be found when Diameter or Perimeter = 0, or Diameter or Perimeter = oo.

In short, our basic approach is to find the gateways between opposite properties, and the best way to do it, is by an including-middle logical reasoning (http://www.geocities.com/complementarytheory/CompLogic.pdf).

 

[Hurkyl]

You claim that standard mathematics is a "shadow" of your system.

This suggests that you can take any concept or any proof in your system, and simply look at its shadow to get something in standard mathematics.

To state this again, you should be able to provide a standard mathematical description of some concept by taking your concept and looking at its shadow.

You should be able to provide proof that would be acceptable in standard mathematics simply by taking your proofs and looknig at the shadow.


You keep claiming that standard mathematics is merely a shadow of your system, but you never demonstrate any understanding of the shadow.

 

[Lama]

You keep claiming that standard mathematics is merely a shadow of your system, but you never demonstrate any understanding of the shadow.

If someone developing a x,y,z system, he first must understand the a x,y system.

If you understand my work (and you did not demonstrate this even once), then you can clearly see that I understand the foundations of the standard x,y system.

On the contrary all we need is, for example, to read your reply in https://www.physicsforums.com/showthread.php?p=273568#post273568 in order to understand that you have no sense of symmetry to simple mathematical ideas.

Please demonstrate some fundamental mathematical idea, which can clearly show that I do not understand (again, not disagree with, but do not understand) its standard interpretation.

 

[moshek]

Matt , I ask now your explantion to that :

"But, Doron, the only people to agree with anything you've said are also cranks (though moshek is borderline), so let me have my fun. Remember you're the one who asked me to come here and comment on your work. Tough if you don't like it."


Moshek

 

[matt grime]

YOu ask for comments, Doron, and because they aren't what you want to hear you dismiss them. You know nothing of mathematics as you repeatedly demonstrate, and I will keep pointing out where you make gross errors in your representations of what mathematics is, or does. You make lots of mistakes and say things that are out right lies abot mathematics; I will not stand for that.

 

[Lama]

You are a seek person Matt, and I am going to call your university to tell them that, if you continue to bother me.

 

[quantumdude]

This is a Forum, Lama. You have no right to tell anyone not to respond to your posts, and you certainly have no right to threaten reprisals against anyone who does.

 

[Hurkyl]

I'll start with binary logic.


You've had trouble understanding quantification.

"For all q, P(q)"
"There exists z such that P(z)"

(Where, in both cases, P is some logical proposition, and I've specifically used letters other than x for the dummy variables to indicate that x is not special)


You've had trouble understanding proof by contradiction.

From "If P then false"
We conclude "not P"

 

[Lama]

This is a Forum, Lama. You have no right to tell anyone not to respond to your posts, and you certainly have no right to threaten reprisals against anyone who does.

Do you allow a parson like Matt to write what ever he likes, including to hurt another persons that are posting in my thread (https://www.physicsforums.com/showpost.php?p=274454&postcount=292), without any limits to his vulgarity?

Is there any tool in this forum where I can block persons like Matt?

 

[Lama]

I'll start with binary logic.

1) My reasoning is not binary logic, because binary logic is a trivial logical reasoning, when you look at it from the point of view of an included-middle logical reasoning, as you clearly can see in http://www.geocities.com/complementarytheory/CompLogic.pdf.

And I developed my included-middle logical reasoning system, after I understood the triviality of the binary logic.

2) The triviality of a proof by contradiction and the trivial use of a universal quantification as something that can be related to a collection of infinitely many elements, are clearly demonstrated here: http://www.geocities.com/complementarytheory/Anyx.pdf

 

[quantumdude]

Do you allow a parson like Matt to write what ever he likes, including to hurt another persons that are posting in my thread (https://www.physicsforums.com/showpost.php?p=274454&postcount=292), without any limits to his vulgarity?

It looks like you have a different definition of "vulgar" than I do, because I don't consider calling someone a crank to fall in that category.

Is there any tool in this forum where I can block persons like Matt?

Yes, you can use the "Ignore" feature. It will take Matt's posts right off your screen. In fact you can use that feature to make all voices of disagreement evaporate from your screen. Wouldn't that be wonderful?

 

[Lama]

Tom Mattson,

It looks like you have a different definition of "vulgar" than I do, because I don't consider calling someone a crank to fall in that category.

1) I do not care when Matt call me a crank (sometimes you can find 'crakpot' or 'idiot' in his "rich" vocabulary), but when he add other persons as cranks just because they understand my work, then for me he went too far.

2) Matt did not write any meaningful comments on my work, because he did not show any ability to understand it.

When time passes, he becomes more and more aggressive and instead of write about my work, he writes about me, which is irrelevant.

Please see by yourself his basic tune in this thread.

On the contrary you can see persons that can understand my work, for example: https://www.physicsforums.com/showpost.php?p=266203&postcount=76 and also have a high-quality ability to communicate and explain themselves.

you can use the "Ignore" feature

In this forum I do not have any abilities except of open a new thread or add and edit my posts only in "theory development", i even have no ability to get or send private messages, or to see public profiles or change my profile.

In fact you can use that feature to make all voices of disagreement evaporate from your screen

This is a cynic and unnecessary response from a person that his job is to be a super mentor of a public forum.

Can you give us the reason why you clearly take Matt's side?