Cf: Animated Logical Graphs • 39 http://inquiryintoinquiry.com/2020/09/10/animated-logical-graphs-39/
Happy Peirce's Birthday, Everyone !!! Re: Richard J. Lipton https://rjlipton.wordpress.com/about-me/ ::: Logical Complexity Of Proofs https://rjlipton.wordpress.com/2020/08/19/logical-complexity-of-proofs/ We've been discussing aspects of proof style arising in connection with the complexity of proofs. In previous posts we took up (1) the aspect of formal duality, reflecting in passing on the prospect of higher symmetries, and (2) the spectrum ranging from information-reducing to information-preserving inference rules. Here's a quick recap -- * Animated Logical Graphs ========================= https://inquiryintoinquiry.com/2020/08/19/animated-logical-graphs-35/ https://inquiryintoinquiry.com/2020/08/21/animated-logical-graphs-36/ https://inquiryintoinquiry.com/2020/08/22/animated-logical-graphs-37/ https://inquiryintoinquiry.com/2020/08/25/animated-logical-graphs-38/ A third aspect of proof style arising in this connection is the degree of insight demanded and demonstrated in the performance of a proof. Generally speaking, the same endpoint can be reached in many different ways from given starting points, by paths ranging from those exhibiting appreciable insight to those exercising little more than persistence in sticking to a set routine. A modicum of insight suffices to suggest the quality of "insight" resists pinning down in a succinct definition but we do tend to recognize it when we see it, so let me inch forward by highlighting its salient features in a graded series of examples. To be continued ... Regards, Jon
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with no subject, and with the sole line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
