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 bivalent 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.

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 8.5GB CD.

The current abstract and toc results of 1430 artifacts in 11674 assertions at 92.66% refutation rate is here. This updates continuously the list of papers. A link for the current draft document of 46 MB in 2701 pages is available by request to "info@cec-services.com".

Recent advances in disruptive technology are: the inadvertent discovery of modal logic by George Boole over 100-years before its false attribution to Saul Kripke (under the further false colors of set theory, renamed possible worlds); the logical analysis of Georg Cantor's diagonal argument in its most compact form, fractions made from 1, 2, and 3, showing the schema is a theorem to produce the same number of cardinals as ordinals, regardless of arbitrary exclusion of repeated identities to produce a lesser number of cardinals than ordinals; and refutation of Mary Tiles' ten ZF axioms to deny set theory, the modern mathematical canard.

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 derives expected values from the observed values.

Legal
Products About Us
Home Downloads
Sales Services