Category Archives: Math

A Eulogy Of Lipschitz Maps

A Lipschitz map (/function) is one that does not extend distances by more than a pre-assigned factor: $f: X \longrightarrow Y$ is Lipschitz if there exists an $L \in \mathbb{R}$ such that $$ \forall x, \ \  \forall y \ … Continue reading

Posted in Analysis, Math | Tagged , , , | Leave a comment

Introduction to Ideal Class Groups

Algebraic number theory is a really interesting subject, but unlike some other subjects, it’s not 100% clear what objects people study. This post provides an introduction to the class group of a finite dimensional field extension of $\mathbb{Q}$, an object often … Continue reading

Posted in Math, Number Theory, Uncategorized | Tagged , | 1 Comment

Intersection of a Chain of Subsets

Assume $\{F_x\}_{x \in \Gamma}$ is a collection of subsets (of a not-so important set!) such that every two are comparable, i.e for any $x$ and $y$, either $F_x \subset F_y \ \ $ or $\ \ F_x \supset F_y \ … Continue reading

Posted in Analysis, Math | Tagged , , , | 2 Comments

Machine-Checked Proof

“In my view, the choice between the conventional process by a human referee and computer verification is as evident as the choice between a sundial and an atomic clock in science.” – Tom Hales (from [4]) “The rapid advance of … Continue reading

Posted in Math, Technology & Math | Tagged , , , | Leave a comment

AMS Notices Spotlight October 2017

Hello and welcome to the October AMS Notices Spotlight. As we are now into the swing of the busyness of the semester it is sometimes nice to take a break and think about math not related to our classes. With … Continue reading

Posted in Algebra, AMS, Mathematics in Society, Topology | Tagged , , | Leave a comment