Module 3 Flashcards
An axiomatic system is _______ if there is no statement such that both the statement and its negation are axioms or theorems of the system
consistent
A counting number is a number that is not in fraction form
This definition is not characteristic
Mathematical proof is fundamentally a matter of ____. This means that theorems follow from axioms by means of systematic reasoning.
rigor
Any system containing contradictory axioms is ______ and is of no practical value at all.
inconsistent
In mathematics, this is a conclusion or proposition based on incomplete information, for which no proof has been found.
Conjecture
This is the one famous conjecture
Two primes conjecture
Statements that are derived from the axioms by strict logical proof are called
theorems
Q.E.D is a an abbreviatiom for the Latin ____
Quod Erat Demonstrandum
What do they call when they place a small rectangle with its shorter side horizontal
Tombstone
The death of suspicion of the validity of the statement that was to be proved
Tombstone
Filled-in square
Halmos
Who introduced halmos?
Paul Halmos