Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		inquiryintoinquiry.com Praeclarum Theorema \| Inquiry Into Inquiry
\|	\|	richardzach.org An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach	3.5 parsecs away Travel
\|	\|	Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780...	3.5 parsecs away Travel
\|	\|	divisbyzero.com Bolzano-Weierstrass Rap - David Richeson: Division by Zero	3.5 parsecs away Travel
\|	\|	In my next real analysis lecture, we'll be discussing the Bolzano-Weierstrass theorem. (It says that any bounded sequence of real numbers contains a convergent subsequence.) I'll be showing my class this video in which Steve Sawin(AKA Slim Dorky) raps the complete proof of the theorem. https://www.youtube.com/watch?v=dfO18klwKHg You can read the lyrics here. He has some...	3.5 parsecs away Travel
\|	\|	fabricebaudoin.blog Lecture notes: A short introduction to Dirichlet spaces \| Research and Lecture notes	4.0 parsecs away Travel
\|	\|	Here are the lecture notes of the minicourse given at NYU Abu Dhabi. DirichletDownload	4.0 parsecs away Travel
\|	\|	festivalforcomedy.com The One That Rolled Away Short Film - Audience FEEDBACK from the Dec. 2018 COMEDY Festival - Comedy FESTIVAL	7.9 parsecs away Travel
\|		https://www.youtube.com/watch?v=4h85e84NHKc THE ONE THAT ROLLED AWAY, 6min., USA, Comedy Directed byJared LaPine Dating in Los Angeles can be hard. CLICK HERE- and see full info and more pics of the film!	7.9 parsecs away Travel