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
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 probabity and perceived value
How western civilization ended with a “buffer overflow” error.