More of my philosophy about formal methods and more of my thoughts..
From Amine Moulay Ramdane@21:1/5 to All on Fri May 20 08:09:20 2022
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.