<html><body><span style="font-family:Verdana; color:#000; font-size:10pt;"><div>This formal logic mathematical stuff has been pitched for over 20 years.</div><div><br></div><div>NIST also are on this trip with the IEEE 1622 work formalizing rules for elections.</div><div><br></div><div>There's a couple of big issues -</div><div><br></div><div>#1 - only mathematicians can verify / create the logic</div><div>#2 - mathematicians deriving the business requirements is invariably conflicted - see #1</div><div><br></div><div>This stuff is much more applicable to operating systems and computer chip firmware development.</div><div><br></div><div>Fortunately there is another way forward that is much simpler and easier - declarative programming - where you state the outcomes and rules and the computer performs the operations needed without explicit programming being needed. </div><div><br></div><div>The cute term for this is 'low code' - minimizing the amount of code needed.</div><div><br></div><div>And you don't need a course at Princeton.</div><div><br></div><div>David</div><div><br></div><div><br></div>
<blockquote id="replyBlockquote" webmail="1" style="border-left: 2px solid blue; margin-left: 8px; padding-left: 8px; font-size:10pt; color:black; font-family:verdana;">
<div id="wmQuoteWrapper">
-------- Original Message --------<br>
Subject: [CAVO] 10 m to Appel for more os study<br>
From: Brent Turner <<a href="mailto:turnerbrentm@gmail.com">turnerbrentm@gmail.com</a>><br>
Date: Wed, December 07, 2016 7:16 pm<br>
To: CAVO <<a href="mailto:CAVO@opensource.org">CAVO@opensource.org</a>><br>
<br>
<div dir="ltr"><a target="_blank" href="https://www.princeton.edu/main/news/archive/S45/07/21I60/">https://www.princeton.edu/main/news/archive/S45/07/21I60/</a><br></div> <hr>_______________________________________________<br>
CAVO mailing list<br>
<a href="mailto:CAVO@opensource.org">CAVO@opensource.org</a><br>
<a href="https://lists.opensource.org/cgi-bin/mailman/listinfo/cavo">https://lists.opensource.org/cgi-bin/mailman/listinfo/cavo</a><br>
</div>
</blockquote></span></body></html>