Anti Gaslighting Path Semantics

Anti-Gaslighting Path Semantics

A common internet argument by trolls is known as gaslighting. It is a form of emotional abuse where trolls try to distort the mental reality around other people.

There are people who try to "figure out" whether Sven Nilsen is a crackpot online. None of these people have ever shown genuine interests in Sven Nilsen's ideas and projects. There has never been a single issue opened on Github by these people, or simply asking Sven Nilsen directly.

None of the people who contributed to AdvancedResearch, has ever behaved like these internet trolls. They have been respectful toward Sven Nilsen and provided valuable feedback, discussed ideas and helped to find related research.

Sven Nilsen has deep knowledge of very complex topics from programming, mathematics and philosophy. He works every day in collaboration with other people, who are at the top of their fields, to advance the state of the art of human knowledge.

An internet troll might say something like "this looks like something generated by GPT" or "this is not peer-reviewed". Or, for example, a claim that none academic papers are based on Sven Nilsen's work, without asking Sven Nilsen about help to find those papers. They also attack the credibility of anyone that work with Sven Nilsen.

Another kind of personal attack is to claim Sven Nilsen is the only person working on something, when in fact there are many papers with multiple authors.

At the same time, over 100 million people every day benefit from Sven Nilsen's work (the image library in Rust that he started). He also developed AI behavior trees with parallel semantics, which other people use. Sven Nilsen was awarded the title "Friend of Tree" by the Rust community for his contributions to the Rust ecosystem.

The contrast between the "reality" represented by the trolls and actual reality is stark.

Sven Nilsen works on a deeper propositional foundation for mathematics, which is needed since e.g. Martin-Löf Type Theory starts at a high level of abstraction. In modern mathematics, the combined knowledge of top experts from fields such as theoretical physics, philosophy and logic emerges toward a common understanding of the underlying first principles. One important language for the unification of the first principles in these fields is Intuitionistic Logic. Sven Nilsen's work is firmly based on this tradition and use sources that dates back to the beginning of modern mathematics in the previous century and thousands of years in the philosophical tradition.

Internet trolls might claim that Sven Nilsen uses "strange definitions" that in reality are used by experts. They might also complain e.g. that Sven Nilsen names a new logical theory "HOOO EP" as something that they never heard of before, as if they expected a new theory to be named in existing literature.

Internet trolling is not a uncommon phenomena and those who do it are often people with dark personality traits and who might struggle with emotional abusive relationships in their lives.

Finally: Research posted online by Sven Nilsen is not about having a hidden agenda to deceive you. There is no "magic" going on in formalized mathematical theories, even though they can be powerful tools. ;-)