- An attempt at unpacking mathematics and how it is created/discovered in layman's terms.
-
def mathematics¹(Lockhart, 2009: 3): is an art like music and painting.
-
def mathematics²(Lockhart, 2009: 4): is about pure reason to get at the truth about something.
-
def mathematics³: is a formal language. this means it has precise definitions for its words(+,-,*, π,e, etc) and grammar.
- the symbols such as
∧,Σ,∀,+,×are merely shorthands.∧means: ANDΣmeans: sum∀means: for all+means: add[which you know from Grade 1 Mathematics]-means: subtract[which you know from Grade 1 Mathematics]
- the symbols such as
-
def side of Mathematics:(Hammack, 2018:viii):
-
computation focused:
- primary goals:
- solve equations.
- compute derivatives.
- compute integrals.
- multiply matrices.
- find determinants.
- ...
- use the above-mentioned computations to answer practical questions about the real world.
NB: Mathematical techniques and procedures used in this side, are founded in the theoretical side.
- primary goals:
-
theoretical focused:
- primary goals:
- understand Mathematical structures.
- prove Mathematical statements.
- invent or discover new Mathematical theorems and theories.
- primary goals:
-
-
plain english: ???
-
Formal Classification Scheme:
-
def how is it created:
- The repository is configured to use devcontainers for development.
- Lean Prover
- The South African Mathematical Society
- The African Mathematical Society
- Institute of Mathematics & its Applications
- Mathematical Association of America
- American Mathematical Society
- Clay Mathematics Institute
- Mathematical Logic
- Math Overflow
- Math Stackexchange
- Mathematics Genealogy Project
- The Academic Genealogy of Mathematics
- Asaf Karagila
- Emmy Noether
- Katherine Johnson
- Loyiso Nongxa
- Norman J Wildberger
- Richard Hammack
- Terry Tao
- Index
- MΣΣT a Mathematician
- Math-life balance - Interviews
-
pytest
pyspelling -c spellcheck.yaml- Mathematics Subject Classification. 2020
- Mathematical Association of America
- Lockhart, P. 2009. A Mathematician's Lament.
- Hammack, R. 2018. Book of Proof. 3.3 ed. Richmond, Virginia.
Q: Question for later research
MYINC: My Insight/Conjecture [Could Be Unoriginal/False and Likely Is]
Disclaimer: This is an ongoing and incomplete project to unpack these concepts and serves as my distributed memory.