Flag 0 users think it is non-scientific; after 15 it will be moderated. Group theory is super-important. There is no modern science without groups. If we’d value group theory economically, it would be many trillions of dollars, probably hundreds. Without group theory,…

read more

Flag 0 users think it is non-scientific; after 15 it will be moderated. Victor Porton (ORCID 0000-0001-7064-7975, no affiliation)Israelporton.victor@gmail.com Abstract I add a new inference rule to formal systems in such a way that we introduce additional statements that can be proved…

read more

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 more

Flag 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 more