Forall (n: Nat) Is perfectly reasonable. If conciseness was that important theor... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

sirwhinesalot on April 10, 2023 | parent | context | favorite | on: What I've Learned About Formal Methods in Half a Y...

Forall (n: Nat)

Is perfectly reasonable.

If conciseness was that important theorem provers would have syntax like APL.

tsimionescu on April 10, 2023 [–]

Why is forall any less formal than ∀? Or Nat less formal than ℕ? Especially when these are symbols that most will have learned in high school?

sirwhinesalot on April 10, 2023 | [–]

They're not on my keyboard.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact