Explore >> Select a destination


You are here

researchinpractice.wordpress.com
| | rjlipton.com
16.3 parsecs away

Travel
| | Gifts of all kinds: a site, theorems, and proofs Ron Rivest is one of the most famous computer scientists in the world. While he has done many important things in many aspects of computer theory, he is best known as the ``R'' in RSA. This is the renowned public key system based on the hardest...
| | mattbaker.blog
25.8 parsecs away

Travel
| | In this post, I'd like to explain a proof of the Law of Quadratic Reciprocity based on properties of Lucas polynomials. (There are over 300 known proofs of the Law of Quadratic Reciprocity in the literature, but to the best of my knowledge this one is new!) In order to keep this post as self-contained...
| | rjlipton.com
12.8 parsecs away

Travel
| | We must know. We will know---David Hilbert Mihai Prunescu is at the Institute of Mathematics of the Romanian Academy. He works in logic and complexity theory. We recently discussed his work on Hilbert's Tenth. Today we thought we would do a follow up discussion of a recent paper of his on the famous Hilbert's Tenth...
| | scottaaronson.blog
135.7 parsecs away

Travel
| In Michael Sipser's Introduction to the Theory of Computation textbook, he has one Platonically perfect homework exercise, so perfect that I can reconstruct it from memory despite not having opened the book for over a decade. It goes like this: Let f:{0,1}*?{0,1} be the constant 1 function if God exists, or the constant 0 function...