User Tools

Site Tools


Animated Proofs

  • 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.
  • 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)