Real Analysis, The Game!
This course is was developed for Rutgers University Math 311H by Alex Kontorovich.
Follow along with the course lecture notes and videos, available here:
https://alexkontorovich.github.io/2025F311H.
This course takes you through an Introduction to the Real Numbers, rigorous ε-δ Calculus, and basic Point-Set Topology.
#site #game
This course is was developed for Rutgers University Math 311H by Alex Kontorovich.
Follow along with the course lecture notes and videos, available here:
https://alexkontorovich.github.io/2025F311H.
This course takes you through an Introduction to the Real Numbers, rigorous ε-δ Calculus, and basic Point-Set Topology.
#site #game
❤6💯1
Mathematics Channel
Real Analysis, The Game! This course is was developed for Rutgers University Math 311H by Alex Kontorovich. Follow along with the course lecture notes and videos, available here: https://alexkontorovich.github.io/2025F311H. This course takes you through…
YouTube
Alex Kontorovich - Teaching Real Analysis as a Video Game (Lean Together 2026)
Conference website: https://leanprover-community.github.io/lt2026/
Full schedule: https://leanprover-community.github.io/lt2026/schedule.html
Lean community: https://leanprover-community.github.io/
Full schedule: https://leanprover-community.github.io/lt2026/schedule.html
Lean community: https://leanprover-community.github.io/
Forwarded from xkcd
'There's also a proof without content of a conjecture without content, but it's left as an exercise for the reader.'
😁16😭2🤔1
You're walking alone at night through a dark alley in the middle of the night[1] when a hooded figure stops you. They tell you: "Solve the following mathematical problem right now OR I WILL SHOOT YOU DEAD.". They give you a piece of paper with the problem statement.
They have a gun so you have no choice but to solve it. Now, because you're super stressed you have no idea how to do this in some funky clever way by appealing to symmetry or whatever. You'll just have to do it the old fashioned way and painstakingly calculate the result. Luckily the hoodlum doesn't seem to care how long it takes you to arrive at the answer. He told you as much. He provides a notebook and pen.
#site
Three points are chosen independently and uniformly at random from the interior of a unit circle. What is the probability that their circumcircle is entirely contained within the unit circle?
They have a gun so you have no choice but to solve it. Now, because you're super stressed you have no idea how to do this in some funky clever way by appealing to symmetry or whatever. You'll just have to do it the old fashioned way and painstakingly calculate the result. Luckily the hoodlum doesn't seem to care how long it takes you to arrive at the answer. He told you as much. He provides a notebook and pen.
#site
blog.szczepan.org
Dark Alley Mathematics
Base changing and other calculations
😨5🤯3