Nah, no! Leslie Lamport is quite far away from constructive mathematics. You wil...

auggierose on July 12, 2019 | parent | context | favorite | on: Constructive mathematics and computer programming ...

Nah, no! Leslie Lamport is quite far away from constructive mathematics. You will for example see his explanation of logic in the TLA+ video lectures is entirely classical.