https://mage.uber.space/dokuwiki/ 2026-05-03T16:18:28+00:00 https://mage.uber.space/dokuwiki/ https://mage.uber.space/dokuwiki/lib/tpl/dokuwiki/images/favicon.ico text/html 2016-09-28T10:50:23+00:00 Anonymous (anonymous@undisclosed.example.com) https://mage.uber.space/dokuwiki/info_science/arithmetic_logic?rev=1475052623&do=diff Arithmetization Arithmetization can be viewed in many contexts. This topic is referring to the arithmetization of mathematical theorems into integer optimization problems and therefore open the possibility to computer-based mathematical proving. Introduction \begin{align} \left( A \vee B \right) & \mapsto & 1 - \left( 1-A \right) \cdot \left( 1-B \right) \\ \left( A \wedge B \right) & \mapsto & A \cdot B \\ \neg A & \mapsto & 1-A \end{align}\begin{equation} \neg \left( A \wedge B \right) \Lef… text/html 2016-10-12T18:27:22+00:00 Anonymous (anonymous@undisclosed.example.com) https://mage.uber.space/dokuwiki/info_science/start?rev=1476289642&do=diff pages in this topic are: * arithmetic_logic : wiki on how to arithmetize boolean formulas " changes my me: topics in this namespaces are pages themselves, not namespaces item lists are inserted with * but with additional double white space in front --- Markus 2016/10/12 18:21