![]() |
||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||
Servicemarks | ||||||||||||||||||||||||||||
Shipping | ||||||||||||||||||||||||||||
Posters | Scalability | φΦ Phigit Computing | ||||||||||||||||||||||||||
Philosophy | Infringement | |||||||||||||||||||||||||||
Questions | ||||||||||||||||||||||||||||
Slide Shows | Portability | Standard Notation | ||||||||||||||||||||||||||
Service Terms | ||||||||||||||||||||||||||||
Profile | ||||||||||||||||||||||||||||
Track Order | ||||||||||||||||||||||||||||
US Patents | Training | Patent Licenses | ||||||||||||||||||||||||||
Privacy Policy | ||||||||||||||||||||||||||||
Staff | ||||||||||||||||||||||||||||
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. |
|||||||||||||||||||||||||||
News |
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 "info@cec-services.com".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 cec-services.com 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 | ||||||||||||||||||||||