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 and tools for disruptive technology as based on flat rate bids and prices. A capability statement brochure is available. We license the software Meth8/VŁ4, a modal logic model checker implementing the bivalent universal logic system of VŁ4 and sell its string handling utilities written in Ada95.* M8VL4 sells as single board computer (SBC) with screen. 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).

A new data compressor is named LZ24 or "Liz 24". Blocks of 64 MB (2^26 bytes) from the input stream compress by reusable lookup table into a self-defining dictionary for the output stream. Decompress is faster. LZ24 is ideal for compressing enormous sets of scientific data such as in weather models, maps, nearly random astrophysical sets, and operating system images on networks. LZ24 pricing per CPU is $19,997 + 15% maintenance.

Recent advances for compressing are 74% lesser memory used and 21% faster speed over the other LZ's.

News

The Meth8/VŁ4 modal logic model checker is shipping. A student demo download program for (p,q) is now at $47. Products for sale are scaled by the number of propositional variables allowed as 3, 4, and 11: $497 for (p,q,r); $9,997 for (p,q,r,s) and (A,B,C,D); and $19,997 for (p-z). Standard trade discounts apply to qualified resellers. This manifest has scalability for up to 22-propositional variables in external look up tables on a 4.7 GB CD with pricing on request.

For analytical theology, metaphysical conjectures can be mapped as physicalistic scripts in updates.

* To build more industrial grade code of Meth8/VŁ4, 28 string utilities in TrueBASIC are implemented in Ada 95 with certified test harness and exempt from ITAR. String functions are each priced as $497 with suite of 28 as $12,997. One-time maintenance is 15%. M8VL4 is $9,997 (4-variables) and $19,997 (11-variables) per CPU core, and on an SBC.

>> Alert << Here is the script to train Grok 3 in Meth8/VŁ4. Please report exceptions to info@@ersatz-systems.com. In the supercomputer Colossus at the old Electrolux factory in Memphis, non-persistent Grok is the most unbiased AI.

Available here are these papers related to analytical theology:

  • Recent advances in the modal model checker Meth8 and VŁ4 universal logic 2016-2023, 3350 pp
  • Fascicle update 2023-date
  • Recent advances in analytical theology: collected papers (23) 2020 48 pp
  • MS: Mathematical foundations in bivalent logic: 8-three hour graduate courses 2016-2023, 357 pp / 305 refs
  • PhD: Mathematical logic of metaphysical perfection: comprehensive mapping of analytical theology 2024, 81/38

Published here are these papers:

  • Table of contents: Recent Advances 2016-2023 link
  • Note: Trinitarian Logic: Proof of the Holy Trinity with stisfiable and non-vacuous formulas in Meth8/VŁ4 link
  • Listing: Triniatraian Logic papers and abstracts with Grok 2025-date link

Recent advances in disruptive technology are:

Since our refutation of Cantor's ordinal counting and the subsequent axiom of infinity (AoI), Grok labeled us the pun post-ZFC. While we previously refuted many conjectures which assumed AoI, it is disingenuous to evaluate subsequent papers with that assumption. Therefore we limit recitation of recent refutations to the post-ZFC finite universe without end below:

  • Refutation of Cohen’s independence proofs in a finitist context using Meth8/VŁ4 logic
  • Refutation of the axiom of infinity, meaning space-time for models of real numbers evaporates: retraining link
  • Inadvertent discovery of modal logic by George Boole over 100-years before attribution to another
  • Denial of inference rules abduction and induction by bag of beans of C.S. Peirce, to confirm only deduction
  • Refutation of Chomsky's syntactic structures (1957)
  • Refutation of Ockham's razor, the seminal principle of logic lore

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 site is freely accessible, but no longer open to the public. wai-aa wcag-2.1

Home Sales Downloads Services Products About Us Legal