1.7.10

 

Visualization of Natural Deduction as a Game of Dominoes



The usual Gentzen-style rules make some use of visual layout, but I suspect it may be possible to exploit the potential of graphical techniques far more effectively. Here is one attempt to do so. I'm not entirely convinced by this particular approach, but it is a brave attempt and worth noting.

Comments:
If you like “Domino on Acid”, then you likely also like “The Incredible Proof Machine”: http://incredible.pm/
 
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?