From: aminer68@gmail.com   
      
   Hello,   
      
      
      
   More of my philosophy about formal methods and more of my thoughts..   
      
   I am a white arab from Morocco, and i think i am smart since i have also   
   invented many scalable algorithms and algorithms..   
      
      
   I invite you to read the following new article of a known computer expert   
   called Leslie Lamport that says programmers need more math, and how Lamport   
   discussed some of his work, such as the TLA+ specification language (developed   
   by Lamport over the past    
   few decades, the TLA+ [Temporal Logic of Actions] specification language   
   allows engineers to describe objectives of a program in a precise and   
   mathematical way), and also cited some of the reasons why he gives a prominent   
   place to mathematics in    
   programming.   
      
   Read more here:   
      
   https://www-developpez-com.translate.goog/actu/333640/Un-expert-   
   n-informatique-declare-que-les-programmeurs-ont-besoin-de-plus-d   
   -mathematiques-ajoutant-que-les-ecoles-devraient-repenser-la-fac   
   n-dont-elles-enseignent-l-informatique/?_x_tr_sl=auto&_x_tr_   
   tl=en&_x_tr_hl=en   
      
   But to answer the above expert called Leslie Lamport, read in the following   
   interesting web page why don't people use formal methods:   
      
   WHY DON'T PEOPLE USE FORMAL METHODS?   
      
   https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/   
      
      
   Thank you,   
   Amine Moulay Ramdane.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)