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.

Public inventions include: Method and system for the Kanban cell neuron network, US Patent 9,202,166 (12/01/2015); and Method and system for prediction of time series by Kanban neuron model, US Patent 9,501,737 (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 student demo download program for (p,q) is available free. 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 approach in analytical theology for metaphysical conjectures mapped as physicalistic scripts is in updates.

Recent advances in disruptive technology are: [Papers below after 9/7/2023 are in the results fascicle file.]

  • Inadvertent discovery of modal logic by George Boole over 100-years before attribution to another
  • Celebrating the Sesquicentennial of Cantor's Theorem (Cantor's enormity, 150-years later), video
  • Falsification of Georg Cantor's diagonal argument in most compact form using fractions of 1, 2, and 3
  • Denial of inference rules abduction and induction by bag of beans of C.S. Peirce, to confirm only deduction
  • Refutation of analogical and causal reasoning to invalidate the artificial intelligence (AI) engine iAsk.ai
  • Refutation of the generalization rule as: If variable x does not occur free in p, then from p→s, infer p→∀xs
  • Refutation of the hybrid logic system for the AI propaganda engines based on truth table error, of the above
  • Refutation of the principle / rule of implied quantification / instantiation where F(x,y) = ∀x∀y(F(x,y))
  • Refutation of computational tree logic (CTL) and formulas to express system specifications [used by AI]
  • Refutation of gravitational waves from pulsars by daily-averaged-weighted random residuals
  • Refutation of time as a dimension, confirming 2D-complex Clifford tori for unit spheres
  • Refutation of claim defining insurrection in 14th Amendment, Sec. 3 for disqualification of President Trump
  • Refutation of Bergoglio blessing for same gender civil union, a blasphemy
  • Refutation of the evil software license schema GNU

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