Numbers Algebra Geometry Probability Analysis Dynamics I loved this talk, but these concepts are like an attempt at dimensional reduction of math research, science, the academics knowledge. I would have loved to have his thoughts on the mathematical mind, the process, how to reason, infer vs deduct, abstract, prove.. I don’t really know, what are the primitives, essential concepts of math reasoning?
The essential concepts of mathematical reasoning, if there are such things, are the concern of mathematical logicians, or maybe even psychologists, not, in general, of working mathematicians. One of my professors once told me something to the effect of "if you think you are going to learn any of that here, you are in the wrong place." If you are interested in Terence Tao's personal mathematical inner world, he touche…
Terence Tao explains 6 essential mathematical concepts [video]
71–80 of 94 posts
Re: Terence Tao explains 6 essential mathematical concepts [video]
#72I love the fact he mentioned the Riemann rearrangement theorem [1] briefly in his examples about analysis. That is (in my opinion) one of the coolest and least intuitive consequences of infinities. Requires some intro to different types of convergence to fully appreciate. More about the theorem here if you’re interested. [2] Weird as it seems it’s definitely true and one of the things you would prove in a typical und…
Re: Terence Tao explains 6 essential mathematical concepts [video]
#73I've heard it said that true understanding is demonstrated when someone can explain difficult concepts well. Tao manages to convey complex ideas without making me feel like he is condescending to me. His depth of understanding is unmistakable. My changes to his list would be s/Geometry/Topology/ and I might have found a place for logic and type theory. I am especially glad he brought to mind Dynamics since that is a…
I'm sure that an admittedly great mathematician who is sponsored by the "AI for Math" fund and math.inc (which literally wants to corporatize mathematics!) is very appealing to LLM startups.
Re: Terence Tao explains 6 essential mathematical concepts [video]
#74counting zero integer decimal positional notation 100, 1000, … the four arithmetic operations + – * / fractions decimal notation 0.1, 0.01, … basic propositional logic (Modus ponens, contrapositive, If-then, and, or, nand, …) negative numbers equivalence classes equality & substitution basic algebra – idea of variables, equations, … the idea of probability commutative and associative properties distributive property powers (squared, cubed,…), – compound interest (miracle of) scientific notation 1.3e6 = 1,300,000 polynomials first order predicate logic infinity irrational numbers De Morgan’s laws statistical independence the notion of a function square root (cube root, …) inequalities (list of inequalities) power laws (i.e. abac=ab+c ) Cartesian coordinate plane basic set theory random variable probability distribution histogram the mean, expected value & strong law of large numbers the graph of a function standard deviation Pythagorean theorem vectors and vector spaces limits real numbers as limits of fractions, the least upper bound continuity Rn, Euclidean Space, and Hilbert spaces (inner or dot product) derivative correlation central limit theorem, Gaussian Distribution, Properties of Guassains. integrals chain rule modular arithmetic sine cosine tangent π, circumference, area, and volume formulas for circles, rectangles, parallelograms, triangles, spheres, cones,… linear regression Taylor’s theorem the number e and the exponential function Rolle’s theorem, Karush–Kuhn–Tucker conditions, derivative is zero at the maximum the notion of linearity Big O notation injective (one-to-one) / surjective (onto) functions imaginary numbers symmetry Euler’s Formula eiπ+1=0 Fourier transform, convolution in time domain is the product in the frequency domain (& vice versa), the FFT fundamental theorem of calculus logarithms matrices conic sections Boolean algebra Cauchy–Schwarz inequality binomial theorem – Pascal’s triangle the determinant ordinary differential equation (ODE) mode (maximum likelihood estimator) cosine law prime numbers linear independence Jacobian fundamental theorem of arithmetic duality – (polyhedron faces & points, geometry lines and points, Dual Linear Program, dual space, …) intermediate value theorem eigenvalues median entropy KL distance binomial distribution Bayes’ theorem 210≈1000 compactness, Heine – Borel theorem metric space, Triangle Inequality Projections, Best Approximation 1/(1−X)=1+X+X2+… partial differential equations quadratic formula Reisz representation theorem Fubini’s theorem the ideas of groups, semigroups, monoids, rings, … Singular Value Decomposition numeric integration – trapezoidal rule, Simpson’s rule, … mutual information Plancherel’s theorem matrix condition number integration by parts Euler’s method for numerical integration of ODEs (and improved Euler & Runge–Kutta) pigeon hole principle
mathematical used less often: Baire category theorem, Banach Spaces, Brouwer Fixed Point Theorem, Carathéodory’s Theorem, Category Theory, Cauchy integral formula, calculus of variations, closed graph theorem, Chinese remainder theorem, Clifford algebra (quaternions), Context Free Grammars, countable vs uncountable infinity, Cramer’s Rule, cohomology, Euclidean algorithm, fundamental group, Gauss’ Law, Grassmannian algebra , Graph Theory, Hahn-Banach Theorem, homology, Hairy Ball Theorem, Hölder’s inequality, inclusion-exclusion, Jordan Decomposition, Kalman Filters, Markov Chains (Hidden Markov Models), modules, non-associative algebras, Picard’s Great Theorem, Platonic/Euclidean solids, Principle of Induction, Probabilistic Graphical Models (Bayesian Networks, Markov Random Fields), Pontryagin duality, Quaternions, Spectral Theorem, Sylow p subgroup, repeating decimals equal a fraction, ring ideals, sine law, tensors, tessellation, transcendental numbers, Uniform Boundedness Theorem, Weierstrass approximation theorem. From http://artent.net/2012/11/27/100-most-useful-theorems-and-id...
Re: Terence Tao explains 6 essential mathematical concepts [video]
#75Here is another list of ideas in math made by a lesser math person. (top 100 most useful) counting zero integer decimal positional notation 100, 1000, … the four arithmetic operations + – * / fractions decimal notation 0.1, 0.01, … basic propositional logic (Modus ponens, contrapositive, If-then, and, or, nand, …) negative numbers equivalence classes equality & substitution basic algebra – idea of variables, equation…
Re: Terence Tao explains 6 essential mathematical concepts [video]
#76Very good resource. However, I fail to understand how a monkey writing the Hamlet is akin to a brute-force problem, in Terence's own words. The thesis seems to be here that given enough time, a monkey will be able to reason as a human. Edit: Probably refers to the evolutionary aspect of the problem. My criticism is that he compares the time for a monkey needed to learn the hamlet to merely "quadratic time". I disagre…
He doesn’t say quadratic time, he says infinite time. He is talking about the probability of any given string arising from a random sequence of letters. As t goes to infinity that probability approaches 1. The monkeys don’t understand hamlet. They just bash enough keys that it appears by chance (eventually). Hence “‘It was the best of times, it was the blurst of times…’ Stupid monkey. “
Re: Terence Tao explains 6 essential mathematical concepts [video]
#77Earlier quoted context omitted.
Oh but I think it can demonstrate the lack of it. There's a distinct difference between learning by memory and learning by understanding, and the only indicator is being able to explain it in a novel way. After all you can also memorize someone else's explanation. In practice, being able to explain it is the only actual difference, if you can't then it's the same as not understanding it and the burden of proof is on…
For some tasks, this is absolutely true. We can identify e.g. a dog in picture in 100ms or so, and nobody is capable of explaining how. We can understand and speak languages, without the slightest idea of how it works. Maths is of course not comparable to these cognitive functions, but people with high levels of expertise do have a lot of their knowledge "automated", and not open to introspection.
Binary is very simple, but scaled up: look what we've created with software.
When it comes to explanation: pulling from rote memory, requires someone to attempt to hold all the short-term details in mind.
There are biological limitations to how well we can do this, but we can also exercise our brains to improve this ability.
But when something is deeply learned, in long-term memory, the effort of recall is much less than rote memory of short-term details. Our context window is limited, fills up, and we must recover. When you're remembering long-term details, context seems easier to swap in and out (sorry to sound like an LLM, but they do simulate thinking).
Whether or not someone is a master of any given domain of knowledge comes from demonstration. Maybe that is teaching the essence of a subject in a way that demonstrates you can visualize and move around the subject with ease. Or maybe you can create something very useful, or tasteful.
We accept that you have spent time in this area and probably can revral truth to us. You are credible.
If you can't demonstrate mastery through teaching, exchanging ideas to bring me closer to your level: them other forms of credentials are sought: like how well they code, or how useful their products become.
But life isn't about usefulness and will just lead to unhappiness. Just be the best version of yourself you can be. Life is too much to understand all at once.
Re: Terence Tao explains 6 essential mathematical concepts [video]
#78I've heard it said that true understanding is demonstrated when someone can explain difficult concepts well. Tao manages to convey complex ideas without making me feel like he is condescending to me. His depth of understanding is unmistakable. My changes to his list would be s/Geometry/Topology/ and I might have found a place for logic and type theory. I am especially glad he brought to mind Dynamics since that is a…
Roger Federer would say he never knew what kind of grip he used on his shots(which is one of the first things one learns as a beginner), and I think Roger might not be an elite coach, because so much of his greatness may have come from a very intuitive understanding of tennis. (Would I still take him as my coach, heck yeah).
I think some people have really intuitive understanding of their subjects and can express that understanding in amazing applications, but they lack the communication skills, patience, or language to properly pass on the knowledge to others.
Re: Terence Tao explains 6 essential mathematical concepts [video]
#79Earlier quoted context omitted.
To be fair, I didn't watch the video to the part where he mentions monkeys writing Hamlet, but I thought the point of the monkeys is that they will stumble upon a Hamlet by accident at some point in time, by randomly pressing buttons on a keyboard. Obviously, it would take a long time, but it would happen at some point.
> Obviously, it would take a long time, but it would happen at some point. Has someone done the calculation whether it would happen before the end of the universe?
Re: Terence Tao explains 6 essential mathematical concepts [video]
#80I've heard it said that true understanding is demonstrated when someone can explain difficult concepts well. Tao manages to convey complex ideas without making me feel like he is condescending to me. His depth of understanding is unmistakable. My changes to his list would be s/Geometry/Topology/ and I might have found a place for logic and type theory. I am especially glad he brought to mind Dynamics since that is a…
> I've heard it said that true understanding is demonstrated when someone can explain difficult concepts well. I think this not generally. I worked together with this amazing engineer, but he really struggled to sometimes explain what he was trying to do. He came up with great solutions, but often took us some time to figure out what he was trying to get at.
An example from something I've had to iterate on: When explaining an event loop multiprocessing runtime sort of thing, I eventually found I had to hand-wave "and your CPU hates that" to establish an appropriate premise to the problem and solution (referring to item-by-item dynamic dispatch with a large number of task types as the specific demon which needed to be slain while discussing that subset of the design). People in the know didn't need more understanding. People not in the know were happy to brush their lack of microarchitectural understanding under the rug. With that premise, both crowds were able to understand what followed.
That wasn't my first attempt. I have a bad habit of trying to explain those missing details as well, especially when it's clear the listener doesn't know them yet -- trying to get them into a position where they could've built the thing themselves -- but that only lands well with like 1-5% of people I've met.
Critically, agreeing with you, that's a communication failure, not an engineering failure. I understood the problem just as well in both cases; I just didn't understand the full extent of the people problem.