[All Lists] [By Thread] [By Date] [Previous] [Next]
From: R. Halevi
Subject: Formal grammar
Date: 18 Tevet 5783
I have a concern.
Formal grammar is for machines. Machines parse strings and validate syntax. But the time assertions we are encoding are observations — human observations, made by human eyes, interpreted by human judgment.
If we provide grammar for machines, are we suggesting machines will process these assertions? To what end? A computer cannot observe twilight.
Thread: