Victor Porton Finite and infinite formulas are considered axiomatically. Part 1. Axiomatic Theory of Formulas Preface Overview This…

Victor Porton Lemme model what happens if somebody finds an efficient NP-complete algorithm and it is published. Lemme…

Victor Porton Please participate in the project or at least put stars at GitHub (links above). The project…

Victor Porton In this article I consider vaguely formulated hypothesis that scientific method is not applicable to objects…

AFAIK, in mathematical literature there is met no definition of “subjective probability” like “I (or my computer) think…

Abstract I add a new inference rule to formal systems in such a way that we introduce additional…

Victor Lvovich Porton The author proposes the conjecture that sense of humor is a mean to protect from…