# theorem

## Fixed points

Take a calculator and enter any number. Then press the cosine key over and over. Eventually the numbers will stop…

## Stone-Weierstrass on a disk

A couple weeks ago I wrote about a sort of paradox, that Weierstrass’ approximation theorem could seem to contradict Morera’s…

## Lebesgue’s proof of Weierstrass’ theorem

A couple weeks ago I wrote about the Weierstrass approximation theorem, the theorem that says every continuous function on a…

## Fame, difficulty, and usefulness

Pierre Fermat is best known for two theorems, dubbed his “last” theorem and his “little” theorem. His last theorem is…

## An Introduction to the Powerful Bayes’ Theorem for Data Science Professionals

Source: i. ytimg. com Let E denote the event that a red ball is chosen and A, B, and C…

## Statistics 101: Introduction to the Central Limit Theorem (with implementation in R)

Let’s look at an alternate approach. First, draw groups of students at random from the class. We will call this…

## In Favor of Monotony in a Complex World

In Favor of Monotony in a Complex WorldDaily WisdomBlockedUnblockFollowFollowingApr 3Coordination seems to be a magical word for today’s digital age as…

## Towards a simple theorem prover

Why can’t it be simplified?Note: I also noticed a different problem with Cedille-Core, which may make it incompatible with the…

## Kepler and the contraction mapping theorem

We’ll make this statement more precise and give a historically important application.Definitions and theoremA function f on a metric space…

## The naive Bayes classifier

In this case, what is the probability Y belongs to a distinct class k given an observation x?πₖ is the…