Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
math.andrej.com
|
|
| | | | | [AI summary] A blog post discusses Paul Taylor's lambda calculus approach to real analysis, highlighting its logical structure and computational implications for understanding topology and continuity. | |
| | | | |
richardzach.org
|
|
| | | | | The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and... | |
| | | | |
www.logicmatters.net
|
|
| | | | | Logical notes and papers Some logical blog pieces Philosophy of maths: a reading list Does mathematics need a philosophy? Philosophical logic: five books from the back catalogue On Frege seeing what is in front of his nose. Begriffsschrift and absolutely unrestricted quantification What Frege didnt tell you Tarski on Truth, a thumbnail sketch Partial functions [] | |
| | | | |
mathematicaloddsandends.wordpress.com
|
|
| | | I recently learned of Craig's formula for the Gaussian Q-function from this blog post from John Cook. Here is the formula: Proposition (Craig's formula). Let $latex Z$ be a standard normal random variable. Then for any $latex z \geq 0$, defining $latex \begin{aligned} \mathbb{P}\{ Z \geq z\} = Q(z) = \dfrac{1}{\sqrt{2\pi}} \int_z^\infty \exp \left( -... | ||
