[All Lists] [By Thread] [By Date] [Previous] [Next]
From: R. Nachmani
Subject: Semantic equivalence
Date: 5 Nisan 5782
String equality is not the question. The question is semantic equivalence.
Consider: a city of 40,000 people where light pollution obscures the stars. Am I in an @URBAN context? According to one definition, no. According to the other, yes. The string is identical. The meaning differs.
In Baghdad, we would simply ask which authority issued the token. The Hakham Bashi's office kept records. But that requires knowing the authority. We need a way to determine when two tokens are semantically equivalent, even when their definitions differ.
Thread: