cogs 152nunez/cogs152_w20/w1.pdf2 usually answers in (pure) mathematics are dogmatic " formal...

3
1 COGS 152 Cognitive Foundations of Mathematics e πi + 1 = 0 Some questions … ! What is Mathematics? ! What is its nature? ! What is so special about mathematics? ! Can we study these questions scientifically? Mathematics: the Queen of the Sciences (… but, is it?) " Some (implicit) principles of modern science: " “The book of nature is written in mathematics” (Galileo) " Mathematics: the “universal language” " If you can put it in mathematical terms, do it " Ultimate argument or proof is stronger when formulated mathematically " The more a sc. discipline formulates facts and theories mathematically, the better, … “Hard sciences” " Education, evaluation: mathematics, always there Mathematics: the Queen of the Sciences (… but, is it?) Plaque carried by Pioneer 10 What is so special about Mathematics? Mathematics : An amazing conceptual system! " Extremely precise " Highly effective " Symbolizable " Generalizable " Stable across time and communities " (Temptation to believe that it is shared with “extraterrestrials”!) " Intrinsically abstract " Its very subject matter lies beyond experience (e.g., Euclid’s point, Actual infinity—infinitesimals, points at infinity, transfinite numbers, etc.) " Verification/falsification is not empirical (proof!) " A belief (conjecture) must be proved (accepted body of knowledge) Mathematics, an amazing(!) conceptual system … which also has many (apparently) arbitrary facts (i.e., not grounded in nature) " Why the multiplication of negative numbers yields positive numbers? " Why is the empty set a subset of every set? " Why is 0.9999… actually equal to 1? " Why is 0! = 1? " … etc.

Upload: others

Post on 17-Mar-2020

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: COGS 152nunez/COGS152_W20/W1.pdf2 Usually answers in (pure) Mathematics are dogmatic " formal definitions " axioms " rules, algorithms " etc. !The validation of those answers is provided

1

COGS 152

Cognitive Foundations of Mathematics

eπi + 1 = 0

Some questions …

!  What is Mathematics? !  What is its nature? !  What is so special about mathematics? !  Can we study these questions

scientifically?

Mathematics: the Queen of the Sciences (… but, is it?)

"  Some (implicit) principles of modern science: "  “The book of nature is written in mathematics” (Galileo) "  Mathematics: the “universal language” "  If you can put it in mathematical terms, do it "  Ultimate argument or proof is stronger when formulated

mathematically "  The more a sc. discipline formulates facts and theories

mathematically, the better, … “Hard sciences” "  Education, evaluation: mathematics, always there

Mathematics: the Queen of the Sciences (… but, is it?)

Plaque carried by Pioneer 10

What is so special about Mathematics?

Mathematics: An amazing conceptual system! "  Extremely precise "  Highly effective "  Symbolizable "  Generalizable "  Stable across time and communities

"  (Temptation to believe that it is shared with “extraterrestrials”!) "  Intrinsically abstract

"  Its very subject matter lies beyond experience (e.g., Euclid’s point, Actual infinity—infinitesimals, points at infinity, transfinite numbers, etc.)

"  Verification/falsification is not empirical (proof!) "  A belief (conjecture) must be proved (accepted body of knowledge)

Mathematics, an amazing(!) conceptual system

… which also has many (apparently) arbitrary facts (i.e., not grounded in nature)

"  Why the multiplication of negative numbers yields positive numbers?

"  Why is the empty set a subset of every set? "  Why is 0.9999… actually equal to 1? "  Why is 0! = 1? "  … etc.

Page 2: COGS 152nunez/COGS152_W20/W1.pdf2 Usually answers in (pure) Mathematics are dogmatic " formal definitions " axioms " rules, algorithms " etc. !The validation of those answers is provided

2

Usually answers in (pure) Mathematics are dogmatic

"  formal definitions "  axioms "  rules, algorithms "  etc.

! The validation of those answers is provided by proof, not by meaning ! Proof determines that something is true but not necessarily why it is true

Benjamin Peirce on eπi + 1 = 0

« Gentlemen, that is surely true, it is �absolutely paradoxical; we cannot�understand it, and we don’t know �what it means. But we have proved�it, and therefore we know it must�be truth. »

Harvard mathematician, astronomer (1809-1880)

What is Mathematics? The question of the nature of mathematics has been studied … mainly philosophically, and mathematically (formal logic, metamathematics)

"  Platonism "  Formalism "  Logicism "  …

"  Naturalism

What is Mathematics?

"  Dedekind "  Cantor "  Hilbert "  Poincaré "  Weyl "  ...

Limitations: "  subject matter "  introspection

Moral: "  purely philosophical

inquiry and introspection give a limited picture

The question of the nature of mathematics has been studied … mainly philosophically, and mathematically (formal logic, metamathematics)

Our approach: The question(s)

"  Cognitive Sciences "  Conceptual systems "  Cognitive semantics "  Psycholinguistics "  … Neuroscience

"  What is the nature of the human conceptual system called Mathematics?

"  What makes Mathematics possible?

"  A scientific, but ‘carefully’ reductionistic approach

Concepts, meaning, idealization, abstraction, and the human animal

"  Naturalizing the problem "  Living systems: Resources are limited

"  “recycling” "  New stuff with old parts

"  Concepts, ideas, meaning, minds are the result of biologically viable living cognition "  Mathematical concepts/ideas are not an exception "  NOT TAKING ANY MATH FACTS for granted

Page 3: COGS 152nunez/COGS152_W20/W1.pdf2 Usually answers in (pure) Mathematics are dogmatic " formal definitions " axioms " rules, algorithms " etc. !The validation of those answers is provided

3

A common picture in science …

Dynamical Systems

Differential Equations

Chaos Theory

Bifurcation Theory

Trigonometry Atractors

Probabilities Instability

Physics, Chemistry, etc.

Taking as given: Equations, numbers, operations, axioms, …

… Formalization and Quantification

A common picture in science …

Dynamical Systems

Differential Equations

Chaos Theory

Bifurcation Theory

Trigonometry Atractors

Probabilities Instability

Mind, Cognitive Phenomena

Taking as given: Equations, numbers, operations, axioms, …

… Formalization and Quantification

Dynamical Systems

Differential Equations

Chaos Theory

Bifurcation Theory

Trigonometry Atractors

Probabilities Instability

Mind, Cognitive Phenomena

Taking as given: Equations, numbers, operations, axioms, …

… Formalization and Quantification

? ?

A common picture in science … The Cognitive Sciences OF Mathematics

Science and “the (human) mind”

Philosophy Neuroscience

Linguistics

Education

Psychology

Anthropology Computer Science

Memory

Language

Attention

Perception Learning

“Mind”

Thought

Reasoning Communication

Concepts