I've slept since we had the thread about lemma concatenation. But this seems relevant:
https://philpapers.org/rec/BARAHO-17?ref=mail"In other words, if cumulative deductive progress is not guaranteed, we cannot be sure that lemmas are knowledge checkpoints. But this seems quite an important property of classical reasoning, while it certainly is not a feature of reasoning carried out in ST."
--
glen
============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
to unsubscribe
http://redfish.com/mailman/listinfo/friam_redfish.comarchives back to 2003:
http://friam.471366.n2.nabble.com/FRIAM-COMIC
http://friam-comic.blogspot.com/ by Dr. Strangelove
uǝʃƃ ⊥ glen
Locked
