Qal wa-[image omitted]omer and Theory of Massive-Parallel Proofs
In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa-[image omitted]omer. He claims that this rule assumes a massive-parallel deduction, and for formalizing it, he builds up a case of massive-parallel proof theory, the proof-theoretic cellular automata, where he draws conclusions without using axioms.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
Document Type: Research Article
Affiliations: Department of Philosophy and Science Methodology, Belarusian State University, Belarus
Publication date: 2011-02-01