Section 1

Preview this deck

Synthetic proposition

Front

Star 0%
Star 0%
Star 0%
Star 0%
Star 0%

0.0

0 reviews

5
0
4
0
3
0
2
0
1
0

Active users

0

All-time users

0

Favorites

0

Last updated

7 years ago

Date created

Mar 1, 2020

Cards (15)

Section 1

(15 cards)

Synthetic proposition

Front

a proposition that is not true by definition

Back

Euclidean geometry

Front

A system of geometry developed by the Greek mathematician Euclid

Back

axiom

Front

a starting point for reasoning that is accepted without proof

Back

conjecture

Front

a hypothesis that appears to work but which has not yet been proved

Back

deductive reasoning

Front

reasoning from the general to the particular

Back

theorem

Front

a statement that can be proved to be true on the basis of axioms or other already established theorems

Back

Goldbach's Conjecture

Front

a famous mathematical conjecture which states that every even number is the sum of two primes

Back

Godel's Incompleteness Theorem

Front

a theorem that suggests it is impossible to prove that a formal mathematical system is free from contradiction

Back

a priori knowledge

Front

Knowledge which can be justified independently of experience

Back

Formal System

Front

a model of reasoning that consists of the key elements of axioms, deduction, and theorems

Back

analytic proposition

Front

a proposition that is true by definition

Back

a posteriori knowledge

Front

knowledge which can be justified only on the basis of experience

Back

Platonism

Front

the view that mathematical truths give us a priori insight into the structure of reality

Back

Empiricism

Front

a school of thought which claims that all knowledge is ultimately based on sense perception

Back

Formalism

Front

The belief that mathematical truths are true by definition

Back