Flag 10 users think it is non-scientific; after 15 it will be moderated. 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…
read moreFlag 0 users think it is non-scientific; after 15 it will be moderated. 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…
read moreFlag 0 users think it is non-scientific; after 15 it will be moderated. AFAIK, 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…
read moreHow western civilization ended with a “buffer overflow” error.
read moreFlag 0 users think it is non-scientific; after 15 it will be moderated. Please participate in the project or at least put stars at GitHub (links above). Article text. Flag 0 users think it is non-scientific; after 15 it will be moderated.
read moreFlag 0 users think it is non-scientific; after 15 it will be moderated. Victor Porton Lemme model what happens if somebody finds an efficient NP-complete algorithm and it is published. Article text. Flag 0 users think it is non-scientific; after 15 it…
read moreFlag 2 users think it is non-scientific; after 15 it will be moderated. An earlier version of this work was published by scientific publisher INFRA-M. See also: Why Algebraic Theory of General Topology is Super-Important. Introduced several new axiomatic systems not less…
read more