Math Flashcards
Analytic proposition
statement that is true by defnition
ie transitive property
A posteriori
a proposition cannot be known to be true independent of experience
A priori
if a proposition can be known true independently of experience
Axioms
starting points or basic assumptions in a formal system
4 requirements: consistent, independent, simple, fruitful
conjecture
a hypothesis that seems to work, but has not been show to be necessarily true (inductively reasoned)
Deduction
reasoning from general to particular, often using syllogims
empiricism
school of thought in which knowledge begins with experience
euclidean geometry
elucid: first person to organize geometry into a rigorous body of knowledge and his ideas have hand an enduring influence on civilization
formal system
model of reasoning developed by elucid; 3 elements: axioms, deductive reasoning, derive theorems
formalism
Math is invented and exists only in our mind, so mathematical truths are true by definition.
godel’s incompleteness theorem
it is impossible to prove that a formal mathematical system is free from contradiction
goldbaach’s conjecture
mathematical conjecture according to which every even number is the sum of two primes
idealization
ideal values that are not attainable because everuthing is created or measured with uncertainty
platonism
school of thouht; argument for the superior reality of mathematical over physical objects; math is more cerptain than perception and is timelessly true
synthetic proposition
any proposition that is not analytic