In computer science, denormal numbers or denormalized numbers (now often called subnormal numbers) fill the underflow gap around zero in floating point arithmetic: any non-zero number which is smaller than the smallest normal number is 'sub-normal'.

a repository of mathematical know-how

This cookbook emerged as small collection of formulae while I was taking statistics courses at UC Berkeley, but quickly developed into a comprehensive summary of various topics in basic probability theory and statistics.

Over the years the dominant way to draw curves is to use something called the "Bezier" curve, which is a particularly interesting curve because it can be linked up to other Bezier curves while making the combination still look like a single curve. You might be familiar with these curves if you've ever drawn Photoshop "paths" or worked with vector drawing programs like Flash, Illustrator or InkScape. But what if you need to program them yourself? What are the pitfalls? How do you determine bounding boxes, intersections, extrusion, all the things you might want when you do things with curves? That's what this page is for. Prepare to be mathed.

Welcome to ProofWiki.org! ProofWiki is an online compendium of mathematical proofs! Our goal is the collection, collaboration and classification of mathematical proofs. If you are interested in helping create an online resource for math proofs feel free to Create an account and contribute! Thanks and enjoy!

The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation.

Over the millennia, many mathematicians have hoped that mathematics would one day produce a Theory of Everything (TOE); a finite set of axioms and rules from which every mathematical truth could be derived. But in 1931 this hope received a serious blow: Kurt Gödel published his famous Incompleteness Theorem, which states that in every mathematical theory, no matter how extensive, there will always be statements which can't be proven to be true or false.

Gregory Chaitin has been fascinated by this theorem ever since he was a child, and now, in time for the centenary of Gödel's birth in 2006, he has published his own book, called Meta Math! on the subject (you can read a review in this issue of Plus). It describes his journey, which, from the work of Gödel via that of Leibniz and Turing, led him to the number Omega, which is so complex that no mathematical theory can ever describe it. In this article he explains what Omega is all about, why maths can have no Theory of Everything, and what this means for mathematicians.

Some great papers and a book about categories