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
Message at very secure messenger: Session (source code) 05baf3e999e96aca2c6946d010e87196ef185f9bbebd7cc3d6086d5cfbde614e5c Hello, hearing… Victor Porton is your main carbon accounter, the author of the only good app for carbon accounting. The Earth is dying in fire and SH and H2O + SO2 ⟷ H2SO3. Victor: Isaac Newton, the author of continuous analysis, had somehow similar views on…… Continue reading A single math studybook not published – global revolution STARTED 8 Nov 2021
TL;DR: I found an error in most logic textbooks (in metalogic, not in ZF). That’s a security hazard. This shows something that appears to be a contradiction in ZF:https://arweave.net/RJ4DRuRjdVWqJ5RBHB30SXDBXATzqmAV3Qs1b6f1ykw I will denote the set described by a set comprehension (more precisely, its numeric encoding, such as Godel’s encoding) X as S(X). Let M be the…… 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 probabity and perceived value
How western civilization ended with a “buffer overflow” error.
I realized that there is a data structure in which copying an object takes almost zero time and energy. It’s possible to build a filesystem in which snapshots are taken every second!
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
The following are good projects important for mankind: Carbon accounting with world-best anti-theft (needs somebody to pay for error checking). This software also can be used for such things as calculating salaries in big companies.Linux – one of the best operating systems – get rid of WindowsRust (for highest reliability) and D language (see also…… Continue reading Some Good Projects