## How Modal Logic Proved Gödel was Right, and God Exists

Does God exist? Modern software and math have verified Gödel’s proofs of a being that expresses all positive properties.

Pages: 1 2

## Free Will, Determinism and Turing’s Halting Problem

MIT’s Seth Lloyd says a test for free will versus determinism must predict decisions accurately every time. How does the Turing Machine factor into this?

Pages: 1 2

## The Lottery Paradox Versus the Math of Probability

We know one ticket must win, but are sure it couldn’t be our ticket. If the same principle applies to each ticket, there can be no winner: That’s the Lottery Paradox.

Pages: 1 2

## How to Convert the Base of an Exponent with Logarithms

Why would anyone want to convert an exponential expression from one base to another? Why would logarithms help? Mike DeHaan breaks down the math for you.

Pages: 1 2 3

## Introducing the Binomial Coefficient for Positive Integers

How many ways can we select ‘k’ outcomes from ‘n’ possible outcomes, without concern for order/sequence? The binomial coefficient holds the answer.

Pages: 1 2