News for hackers. Stuff that matters.

A comment on Whitehead and Russell’s Principia rewritten in Coq. Parent comment

Re:Whitehead and Russell’s Principia rewritten in Coq by coldtea on Monday December 06, 2021 @01:02AM (#29456679)
>Cs in Latin have been universally soft for several hundred years so using the classical pronunciation is anachronistic.

Well, latin are anachronistic themselves - so the classical pronunciation would still matter.

[ Parent | on HN ]

There are no comments on this comment yet.