Group theory is super-important. There is no modern science without groups. If we’d value group theory economically, it would be many trillions of dollars, probably hundreds. Without group theory, hardly is quantum mechanics, and therefore no transistors, and I would not be able to write this message in Internet. I will argue that two kinds…… Continue reading Why Algebraic Theory of General Topology is Super-Important
Victor Porton (ORCID 0000-0001-7064-7975, no affiliation)Israelporton.firstname.lastname@example.org Abstract I add a new inference rule to formal systems in such a way that we introduce additional statements that can be proved without getting rid of being sure in their trueness, so producing a new logic (earlier when this was yet vaguely formulated, I called it “Not Logic”…… Continue reading A logic with a new inference rule as the new venue of math [very rough draft]
Abstract: This article intends to contribute to sociology by introducing the concept of despising and classifying various forms of despising, noting the social harm they produce. Not only humans can despise; social systems and AI can despise, too. The definition What is to despise? Despising is somebody’s (the subject of despising) reduced desire to consider…… Continue reading Despising, the scientific theory of
Personally I reported SEVERAL errors in the Ada compiler (most likely this compiler is used in the USA thermonuclear rockets control system because, accordingly my understanding, other compilers of Ada are even worse), EACH one of which can cause undefined behavior (this scientific term means ANYTHING like starting the rockets without a command or bursting…… Continue reading I know 12 errors in the USA thermonuclear weapon control system
After a long discussion at Reddit where many counter and counter-counter arguments appeared, I was pointed an error:S(… S …) is not defined. I meant to expand S inside such a statement before applying the outward S(), but I’ve realized that S is not defined solely by functional symbols but by a predicate, so “expand…… Continue reading The error in MOST logic studybooks (not in ZFC)
In first-order predicate calculus “logic” (formal system) depends on the choice of an axiomatic system. However equally expressible first-order predicate logic can be done without axioms. I construct an expressive first-order predicate logic without axioms in which only implications can be proved. Then I consider its philosophical and theological implications. We have the same rules…… Continue reading Absolute Logic – logic without axioms
AFAIK, in mathematical literature there is met no definition of “guessed probability” like “I (or my computer) think rain probability is 34%” or more fundamentally “In my opinion, the probability of Euler-Stocks hypothesis being true is 67%”. In this short note I give a formal definition of guessed probability. Let’s fix a (probabilistic or not)…… Continue reading What is guessed probability and perceived value
How western civilization ended with a “buffer overflow” error.
Imagine a big construction and an engineer has moved a little detail from an one place of this construction to an other place. What has moved? The little detail, could reply you. But what if I would say that the little detail has not moved but the rest of the construction has moved around the…… Continue reading Borders of science – objects more complex that ourselves?
XML Boiler Python version (an already functional and useful software).XML Boiler D version (an ongoing project to replace XML Boiler Python version).DocumentationDONATE Please participate in the project or at least put stars at GitHub (links above). The project in a nutshell Written a specification (congratulate me with great work) for automatic transformation of XML documents based on namespaces, written a…… Continue reading XML Boiler – Software for automatic transformation between XML namespaces