Mathematical Reasoning and Distributed Systems by Erik Meijer and Leslie Lamport

Re:Mathematical Reasoning and Distributed Systems by Erik Me... by joel_ms on Monday December 05, 2016 @05:13AM (#13104478)

>Oh, that article is especially trollish, but there are articles like that in both camps

Do you have any examples?

>Sometimes you need to prove `A ∨ B ⇒ C`; that's your proof goal. To do that, you prove `A ⇒ C` and `B ⇒ C`. That's all.

Yeah, I was just confused, it's just or-elimination with a different notation.

[ Parent | on HN ]

Re:Mathematical Reasoning and Distributed Systems by Erik Me... by pron on Monday December 05, 2016 @07:26AM (#13104949)

> Do you have any examples?

I wrote about some aspects of this mutual... hmm... let's call it skepticism here: https://pressron.wordpress.com/2016/08/30/what-we-talk-about...

[ Parent | on HN ]