[All Lists] [By Thread] [By Date] [Previous] [Next]


From: R. Halevi
Subject: What counts as proof?
Date: 23 Kislev 5782


Reb Kovacs's story illustrates a difficulty.

The Munkács community used one proof type: collective knowledge. The Pressburg rav required another: attestation by named authorities. The same underlying fact required different encoding for different contexts.

Should we encode the fact, or the proof?

—Dov Halevi


Thread:

[Previous] [Next]


DEP Discussion Archives
https://dep-specs.org/