The Fermat method
Sign in to saveA proof by contradiction used to show that a statement cannot be true for all numbers. If a statement is true for one number, it will also be true for a smaller number, up to infinity, leading to a contradiction and disproving the original statement.
Connections
semantic theory of truth
Entity
mathematical logic
Entity
John Horton Conway
Entity
first-order logic
Entity
formal system
Entity
recursive set
Entity
Fermat's theorem on sums of two squares
Entity
semantics of logic
Entity
structure
Entity
ground expression
Entity
diagram
Entity
mathematics
Entity
logic
Entity
Euclid
Entity
algebra
Entity
International Standard Book Number
Entity
natural number
Entity
Ancient Greek
Entity
prime number
Entity
set theory
Entity