#plaisted — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #plaisted, aggregated by home.social.
-
@emondb @hochstenbach @bblfish @josd
Hi Bruno,
I took a course & independent study on #AutomaticTheoremProving with David #Plaisted when he was still at #UIUC in 84–85. It was mostly about #ResolutionUnification & #NaturalDeduction provers but I was already on a different path by then as I had been working on #Peirce's & #SpencerBrown's versions of #LogicalGraphs in a computational vein since the late 60s. I'll discuss the differences that make a difference between those paradigms as we go.