# 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 | | 1 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 | | 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