Capsule
DonateLog inCreate account
Menu

Navigation

  • Main page
  • Capsules
  • Learning
  • Mapping
  • Rankings
  • Organizations
  • Create
  • Forums
  • Research

Interaction

  • Messages
  • Verify
  • Help
  • About Capsule

Display

Appearance

Environment

EnvironmentsDefault
Capsule
Log in

Navigation

  • Main page
  • Capsules
  • Learning
  • Mapping
  • Rankings
  • Organizations
  • Create
  • Forums
  • Research

Interaction

  • Messages
  • Verify
  • Feedback
  • Help
  • About Capsule

Truth Classification

  • Fact
  • Theory
  • Hypothesis
  • Proven
  • Contested
  • Debunked
How classification works

Capsule of the Day

DebunkedThe PolygraphThe instrument popularly called a lie detector, which records breathing, blood pressure, pulse and skin conductance dur…

New in the Library

  • FactTardigrade
  • FactMonarch Butterfly
  • FactSpider

Capsule

© 2026 Solis Holdings Group Inc. All rights reserved.

Built by Solis Dev, a technology studio operating under Solis Holdings Group Inc.

  • Policy
  • Terms of Use
  • Methodology
  • Corrections
  • Non-partisanship
  • Transparency
  • Developers
  • About
  • Discord
  • Sitemap

Capsule, the capsule-pill mark, and the clock logo are trademarks of Solis Holdings Group Inc. All content, source code, and design assets are the exclusive property of Solis Holdings Group Inc., unless otherwise noted. Unauthorized reproduction is prohibited.

The library

Capsules

1,028 capsules, each one classified by the strength of its evidence.

All1,028Fact599Proven130Theory89Hypothesis71Contested90Debunked48
geography236biology88physics67history54medicine45astronomy33psychology26mathematics26chemistry20engineering20astrophysics19neuroscience19anthropology18art18
Filtered byProvenmathematicsmathematicsClear all

Results

Showing 1 to 13 of 13

NewestMost votedA to Z
mathematics
Proven

The Euclidean Algorithm

A procedure for finding the greatest common divisor of two whole numbers by repeatedly replacing the larger with its remainder on division by the…

byCapsule
0 votes0 reviews
mathematics
Proven

The Monty Hall Problem

A probability puzzle with a counterintuitive answer, made famous when thousands of people including professional mathematicians insisted publicly…

byCapsule0 votes0 reviews
mathematics
Proven

Cantor's Diagonal Argument

A proof that some infinities are larger than others. It is a few lines long, it requires nothing beyond counting, it was violently rejected when…

byCapsule0 votes0 reviews
mathematics
Proven

The Four Colour Theorem

Four colours suffice to colour any map so that no two regions sharing a border have the same colour. It was conjectured in 1852, resisted proof for…

byCapsule0 votes0 reviews
mathematics
Proven

Non-Euclidean Geometry

For two thousand years one of Euclid's assumptions looked like it should be provable from the others. It is not. Denying it produces consistent…

byCapsule0 votes0 reviews
mathematics
Proven

Bayes' Theorem

A rule for updating a belief when new evidence arrives. It is a short piece of algebra, it is not in any dispute, and misapplying it produces some of…

byCapsule0 votes0 reviews
mathematics
Proven

The Fourier Transform

Any signal can be decomposed into a sum of pure sine waves of different frequencies. The claim was disbelieved when made, it is one of the most…

byCapsule0 votes0 reviews
mathematics
Proven· Mathematical Proof

The Irrationality of the Square Root of Two

The square root of two, the number which when multiplied by itself gives exactly two, cannot be written as a fraction of two whole numbers. It is, in…

byCapsule0 votes0 reviews
mathematics
Proven· Mathematical Proof

Gödel's Incompleteness Theorems

Gödel's incompleteness theorems are two of the most profound and startling results in the history of mathematics and logic. Proven by the Austrian…

byCapsule0 votes0 reviews
mathematics
Proven· Mathematical Proof

The Infinitude of Primes

There are infinitely many prime numbers. This was proven more than two thousand years ago by the Greek mathematician Euclid, in an argument so clear…

byCapsule0 votes0 reviews
mathematics
Proven· Mathematical Proof

Fermat's Last Theorem

Fermat's Last Theorem states that no three positive whole numbers can satisfy the equation a to the power n, plus b to the power n, equals c to the…

byCapsule0 votes0 reviews
mathematics
Proven· Mathematical Proof

The Four Color Theorem

The four color theorem states that any map drawn on a flat surface can be colored using only four colors in such a way that no two regions sharing a…

byCapsule0 votes0 reviews
mathematics
Proven· Mathematical Proof

The Pythagorean Theorem

The Pythagorean theorem is one of the most famous results in all of mathematics. It states that in a right angled triangle, the square of the longest…

byCapsule0 votes0 reviews