User Tools

Site Tools


animated_proofs

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

animated_proofs [2010/12/02 22:42] (current)
Line 1: Line 1:
 +===== Animated Proofs =====
 +
 +  * [[http://​www.win.tue.nl/​~keesh/​ow/​animatedproofs/​Sangaku-step.mov|Proof of a Sangaku]], mathematical theorem expressed without words. The proof hardly uses words either. The file is in Quicktime format. Advance by clicking in the window.
 +
 +  * [[http://​www.win.tue.nl/​~keesh/​ow/​2if25/​answer-3.1-step.mov|Gentzen derivation]],​ the answer to an exercise in formal logic, with some animation to help the reader understand the process. The file is in QuickTime movie format. Click on the screen to see the next step. 
  
animated_proofs.txt ยท Last modified: 2010/12/02 22:42 (external edit)