Archive - RP: For Math and For You

Teaching Computer Science and Mathematics, One Puzzle at a Time; Let's take a look at a simple problem which could be solved many ways.

Aug 10, 2024 •

Metamath: An Intro to “All of Mathematics”

How a simple proof validation engine was built from the ground up and without anything beyond a variable substitution scheme handles many fields of…

Aug 2, 2024 •

April 2024

Math is a Sport

And the referees sometimes take too long to issue decisions.

Apr 29, 2024 •

This is RP: For Math and For You.

Apr 28, 2024 •

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts