[tlaplus] TLA+ Lecture Series - possible mistake

[John Calcote <john.calcote@xxxxxxxxx>]

Hi,

In the TLA+ video tutorial series, Lecture 7, at time offset 3:43, the following is given:

Maximum(S) == IF S = {} THEN -1

                                             ELSE smallest number in S

I believe this should say "largest number in S". If not, please explain why "smallest" is appropriate here. The math that follows describes a search for the largest number in S.

Note Dr. Lamport's verbal treatise in the video also mentions "smallest number in S".

Perhaps this was modified from an earlier version of the video where the formula was called Minimum(S)? 

Kindest regards,

John

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/50e6fc15-05ae-46c2-a293-492f7d47e99bn%40googlegroups.com.