Victor Porton Finite and infinite formulas are considered axiomatically. Part 1. Axiomatic Theory of Formulas Preface Overview This new mathematical theory developed by the book author researches the properties of mathematical formulas (aka expressions). Naturally this theory is essential for the mathematics….
read moreVictor Porton Lemme model what happens if somebody finds an efficient NP-complete algorithm and it is published. Lemme model what happens if somebody finds an efficient NP-complete algorithm. In layman terms an efficient NP-complete algorithm is: an algorithm that reaches any given…
read moreVictor Porton 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 software (XML Boiler) to…
read moreVictor Porton In this article I consider vaguely formulated hypothesis that scientific method is not applicable to objects more complex than our brains. Imagine a big construction and an engineer has moved a little detail from an one place of this construction…
read moreAFAIK, in mathematical literature there is met no definition of “subjective 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%”. Moreover, encyclopedias say that there…
read moreAbstract 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…
read moreVictor Lvovich Porton The author proposes the conjecture that sense of humor is a mean to protect from forming false associations and so is one of the most important components of human mind. Keywords: humor, sense of humor, laughing, evolutionary psychology Previous…
read more