I claim that the basic ideas of Judea-Christian (and apparently Muslim, too) religion of tbe holy book and God acting
Continue readingMonth: September 2021
Improving NP-complete algorithms
Suppose we have an (efficient) NP-complete algorithm. I remind that proving a provable theorem isn’t an NP problem, because there
Continue readingHalting problem is essentially solvable
I have some error: from the below it follows that if the formal system found is distinct from the original
Continue readingCircumventing First Godel Incompleteness Theorem
A statement equivalent to First Incompleteness theorem There are theorems that can be neither proved nor disproved in a given
Continue reading