proofs - Concepts

Explore concepts tagged with "proofs"

Total concepts: 2

Concepts

Cantor's Diagonal Argument - A mathematical proof technique showing that the real numbers are uncountable by constructing a number missing from any proposed complete listing.
Gödel's Incompleteness Theorems - Two fundamental theorems proving that any consistent formal system powerful enough to express arithmetic contains true statements that cannot be proven within the system.