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)

# Category: Scientific software

## Absolute Logic – logic without axioms

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

## Efficient Copy-on-Write (“Forkery”) – High-Level Algorithm Description

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!

## XML Boiler – Software for automatic transformation between XML namespaces

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

## Some Good Projects

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

## “Not Science” – a new method to gain knowledge that is not science

Developing a future not scientific method to replace scientific method and traditional mathematics. The method to be developed is to be highly selective and inclusive, economically effective, requiring interdisciplinarity. Not science is like science based on mathematics, but a different kind of mathematics, with an algorithm that is “not logic”.