News for hackers. Stuff that matters.
Re:Kevin Buzzard on Grothendieck's use of equality by 082349872349872 on Monday May 20, 2024 @03:08PM (#40418992)
In other areas, one might compare code jurisdictions, where presumably all the legislative clauses share a common vocabulary (and probably even conceptual framework), with common law jurisdictions, where all the legislative clauses occur in different centuries and thus one adds "picking a parallel transport" between the legal languages of the times (and jurisdictions) to the difficulties of adjudication.

There are no comments on this comment yet.