jd2718 asked in his blog if anyone knew a direct proof of the irrationality of . In this post I present a proof that, even if some don’t consider it direct, is a nice example of the effectiveness of calculational proof. But first, there are two concepts that need to be clarified: direct proof and [...]
-
‹ Home
Contents
-
Categories
-
Tags
Algorithms blog calculational check combinatorics correction distributivity domain Education fibonacci grid irrationality joaoff.com knuth Links Mathematics Methodology Opinion Perl Personal Programming proof proofs puzzles research university
-
Archives
-
Subscribe
Subscribe Joao's blog to stay informed of changes and new posts. You can also receive notifications by email. Blogs
Links
-
RSS Feeds