Ersatz Systems Machine Cognition, LLC
Let the bits speak for themselves. Home
Home Sales Downloads Services Products About Us Legal
Welcome Place Order Articles Requirements Bivalent Neuron BVN Contacts Acceptable Use
Product Price
News Demos Analysis Kanban Cells History Copyright
Service Price
Papers Logical Connectives
Design Mission
Posters Scalability φΦ Phigit Computing
Philosophy Infringement
Slide Shows Portability Standard Notation
Service Terms
Track Order
US Patents Training Patent Licenses
Privacy Policy
Welcome Ersatz Systems Machine Cognition, LLC sells services, tools, software, and hardware for disruptive technology:

Method and system for the Kanban cell neuron network, US Patent 9,202,166 (issued 12/01/2015); and Method and system for prediction of time series by Kanban neuron model, US Patent 9,501,737 (issued 11/22/2016).

We license the software Meth8/VŁ4, a modal logic model checker implementing the universal logic system of VŁ4.

All software and hardware services are based on flat rate bids and prices. A Capability Statement brochure is available.


The Meth8/VŁ4 modal logic model checker is shipping. A free student demo program for (p,q) is available.

Products for sale are scaled by the number of propositional variables allowed as 3, 4, and 11: $47 for (p,q,r); $97 for (p,q,r,s) and (A,B,C,D); and $147 for (p-z). Standard trade discounts apply to qualified resellers. This manifest has further scalability pricing for up to 22-propositional variables in external look up tables on a single 4.7 GB CD.

The current abstract and toc results for 1600 artifacts in 14000 assertions at a 93% refutation rate is here with updates. The current document is available by request from "".

Recent advances in disruptive technology are:

1. Inadvertent discovery of modal logic by George Boole over 100-years before attribution to another;
2. Falsification of Georg Cantor's diagonal argument in most compact form using fractions of 1, 2, and 3;
3. Denial of rules of inference for abduction and induction by C.S. Peirce using his bag of white beans;
4. Refutation of Mary Tiles' ten ZF axioms for modern set theory;
5. Denial of Courelle's theorem and refutation of derived theory;
6. Cauchy product inequality (serious humor);
7. Falsification of many agricultural, business, economic, logical, medical, and military models;
8. Unifying mathematical principle of the brain's basic wiring and computational logic.

Other products, papers, and free software source code are at the subsite. For example, this handy N-by-M contingency test with Fisher P in TrueBASIC source code derives expected values from the observed values.

Accessibility 508 immunity statement: This web site is no longer open to the public. WAI-AAA WCAG-2.1

Home Sales Downloads Services Products About Us Legal