文章 发现 ms@ms.lt +370 607 27 665 My work is in the Public Domain for all to share freely. 读物 书 影片 维基百科 Software Upload 数学笔记本 I'm starting to write up the results that I'm getting as I investigate the root of mathematics. Current priorities: Write out my talk A Structural Semiotic Study of How We Use Variables. Rewrite my talk on math discovery as a paper Mathematics Expresses Discovery. Develop and organize my thoughts for a second paper Mathematics Unfolds Through Ambiguity. Current research program Relate the four classical Lie families to the four levels (metalogics, geometries) in the ways of figuring things out. Understand the four classical Lie families (the choice frameworks, root systems, geometries). Understand the choice frameworks. Understand the most fundamental Lie groups {$A_2$}, then {$A_n$}, and then the other classical families. Understand complexification of compact real forms. Understand real forms. Understand Hopf algebras. Understand tensors and tensor products. Understand tensors in terms of triviality. Understand the four levels (metalogics, geometries) in the ways of figuring things out. Understand the ways of figuring things out in physics. Understand the role of measurement in physics, both relative and absolute. Understand tensors and tensor products. Understand the significance of the foursome in mathematics and how it relates to the four levels. Consider whether and how {$F_1$} models four stages of God's going beyond himself. Understand groups as analogues of Hopf algebras. Understand finite fields and what {$F_{1^n}$} could mean. Consider these four stages as four interpretations of the variable q in Gaussian binomial coefficients. Relate that to my theory of variables. Relate Bott periodicity and the eight-cycle of divisions of everything. Systematize the concepts related to Bott periodicity. Understand Bott periodicity by understanding the Tenfold way Understand the divisions of everything in terms of exact sequences. Understand the roles of the four classical Lie structures in Bott periodicity. Understand the Snake lemma as the eightfold way. Study and systematize Terrence Tao's notions of What is good mathematics? Investigation: Understand mathematics by describing it as an activity. Understand what makes mathematics distinct as a branch of knowledge. Understand the nature of mathematical beauty. Express my philosophy's concepts in terms of mathematics. Understand how all of mathematics unfolds. Survey the branches of math and how they unfold. Investigation: Overview all of the concepts in math and how they arise Formulate and appreciate the most basic mathematical principles. Investigation: Organize the various interpretations of combinatorial objects Understand the purpose of abstraction and how mathematical concepts grow in abstraction. Survey the theorems of math and how they unfold. Survey the problems in math and how they unfold. How do math puzzles express math ideas? Investigation: Organize and take up various challenges in math Understand how the ways of figuring things out are involved in the unfolding of mathematics, and what else is involved. Investigation: Identify and study the thinking of mathematicians who pursue a broader view of mathematics. Investigation: Understand mathematics as the discrimination of a variety of dualities. Investigation: Explore how duality is broken by comparing a category and its opposite category Understand how zero and infinity become distinct, how their equivalence is violated. How is love (and life) related to duality, reflections, transformations and other math concepts? How does 1 mediate the duality of 0 and infinity? And how is that duality variously broken? Investigation: Collect and organize examples of figuring things out in mathematics Investigation: Among the ways of figuring things out in mathematics, how does the three-cycle extend mathematical structure? Relate the four regularities of choice with four geometries, metalogics, foursome, qualities of signs, positive commands. Investigation: Understand how variables are variously used in mathematics. Investigation: Express the six transformations in terms of the four geometries. How do Möbius transformations express six specifications of four geometries? How can the Möbius transformations be understood in terms of the actions of 2x2 matrices? Investigation: Explain the ways of interpreting multiplication. Relate pairs of the regularities of choice with the six interpetations of multiplication, the visualizations, the transformations, the negative commands. Relate the six transformations to ways of figuring things out. Relate the six transformations with the types of variables. Relate the six transformations with the six visualizations. How do the six transformations relate to symmetry? Study how to apply the ways of figuring things out in mathematics. What is the relationship between the surface math problem and the deep way of figuring things out? How do we discover the right way to figure out a math problem? How do we combine several distinct ways of figuring things out? How can I apply my results to figure things out in math, the biggest problems? Understand math as an activity involving the three languages: argumentation, verbalization and narration. Investigation: What is math intution? How does it develop? Investigation: Discover patterns in how a mathematical theorem holds mathematical knowledge Investigation: Make sense, if possible, of the six methods of mathematical proof. Solved: Defining geometry Investigation: What are the ways that regularity of choice is expressed? Investigation: What questions does geometry ask about choice?? Investigation: Map out the main ideas of geometry. Understand geometry in terms of its theorems. Formulate a complete exposition of triangle geometry as an example of a complete mathematical theory. Identify essential illustrations in geometry. What does it mean for figures to intersect? Can a line intersect with itself? Investigation: What is the role of SU(2) in organizing geometry? Consider how infinity, zero and one are defined in the various geometries. How do these concepts fit together? How do they involve the viewer and their perspective? How might that relate to Christopher Alexander's principles of life and the plane of the viewer? How are they related to the twelve topologies? How is one dimension embedded in other dimensions? What is a line segment? What makes it "straight"? What is a circle? Study: What is projective geometry all about? Investigation: Interpret and systematize the key formulas of universal hyperbolic geometry What does projective geometry say about the existence of infinity? Do all lines (through plane) meet at infinity at a common point? Or at a circle? Or do the ends of the lines not meet? Or do they go to a circle of infinite length? Study: Understand the basics of symplectic geometry. Investigate orientation. What is the notion of orientation for points, lines, etc? grounding different geometries? considering building spaces bottom up (adding lines) and removing spaces top down (removing hyperplanes)? Solved: Interpreting the binomial theorem in terms of Young diagrams Solved: Identifying Young diagrams with paths in Pascal's triangle Challenge: Describe "the fundamental unit of information" in terms of paths in Pascal's triangle Solved: Calculate the Weyl groups of the classical root systems Understand Coxeter groups and the conditions by which they become Weyl groups. Challenge: Calculate the symmetry groups of the choice templates Challenge: Interpret classical Lie algebras in terms of choice templates Challenge: Interpret the simplex category Challenge: Find and compare q-analogues of the binomial theorem Representation theory Challenge: Calculating and interpreting the irreducible representations of the symmetric groups Challenge: Calculating and interpreting the irreducible representations of the general linear groups Question: How do the irreducible representations of a subgroup (of the general linear group or the symmetric group) relate to those of the group? Understand: Why is the set of character functions of the irreducible representations of G orthonormal with respect to the relevant inner product? In what sense are there six natural bases for the symmetric functions? Challenge: Interpret the polynomials {$\binom{X}{n}$} as the diagonals of Pascal's triangle. Challenge: Interpret the sign of the columns of partitions in terms of the paths in Pascal's triangle. Question: What information does the determinant provide about a representation? Question: What is the relationship between the characteristic functions on conjugacy classes and the characters? How are these orthnormal bases related? By what matrix, combinatorially? Investigate: How do the symmetric functions of the eigenvalues of a matrix expand and complete the information provide by the characters (the trace) and the determinant? Is this knowledge sufficient to completely determine a representation? Challenge: Give a combinatorial interpretation of the Pfaffian. Challenge: Relate the standard tableaux numbering (from the corner) to the two natural numberings of a partition (based on the paths of Pascal's triangle). Consider it as a shift in perspective (from unconditional to conditional). Question: What is the Vandermonde determinant for the eigenvalues of a matrix? Challenge: Develop a theory of solution of differential equations by modeling substitutional symmetries (for example, consider trigonometric solution as a finite closed system based on the fact that the fourth derivate of a trigonometric function yields itself. Investigation: Understand why there are three infinite families of polytopes? Understand the meaning of the center and the totality of a regularity of choice. What does it mean that a vertex is the marked opposite for the empty set? Understand simplicial homology What is the role of infinity in the regularities of choice? Investigation: Classify the equivalences of infinite paths Learn about the field with one element, {$F_{1}$}. Investigation: Write an elegant combinatorics of the finite field and interpret what is {$F_{1^n}$}. Challenge: Given a finite field, calculate the probability that a matrix in {$GL(F_q)$} is noninvertible (det=0). What happens in the limit that q->1 ? and q->infinity? Understand how finite field and the field with one element represent infinity. Express God's dance in terms of zero, infinity and one. How does Euler characteristic relate to homology, structures with holes? What is the relationship between Pascal's triangle and the Grassmannian? Relate Pascal's triangle and the arithmetical hierarchy. Investigation: Relate the ways of figuring things out in physics and math. Investigation: Collect examples and overview the ways of figuring things out in physics. Investigation: Collect and develop ideas about physics Understand Schroedinger's equation. Investigation: Intuit the deBroglie wave equation in terms of a particle moving back and forth a fixed distance. Calculate whether Alpha Centauri could be made of antimatter. Understand the importance of spinors. Investigation: Explain why there are four classical Lie groups and algebras Understand Lie groups Understand what the Dynkin diagram's chain says about Lie groups Understand the consequence of the end of the Dynkin diagram's chain Understand the exceptional Lie groups in terms of Dynkin diagrams Understand the constraints on root systems Interpret Geometrically and Combinatorially the Relationship Between a Root System and Its Cartan Matrix Understand root systems Investigation: Intuit the four classical root systems Attempt at intuiting the four classical root systems Consider the four contexts for equivalence relating countings. Investigation: Intuit the five exceptional root systems Why does a root system having roots {$e_i$} also have to contain the roots {$e_i - e_j$} and {$e_i + e_j$} ? Consider the product {$[\_,\_]$}. More generally, study what the product {$[\_,\_]$} yields. What does it mean that root systems are positive definite? Understand Lie algebras Understand the Lie correspondence Investigation: To what extent can the Lie correspondence be based not on infinitesimals but on the combinatorics of matrix exponentials? Understand numbers: real, complex, quaternion, octonion Understand geometry Investigation: Interpret the preservation of symplectic area Understand matrices as the expression of external relationships. Investigation: Understand tensor combinatorics as a generalization of matrix combinatorics How to multiply polar decomposed matrices? Understand Eigenvector decomposition. What matrices have a full set of eigenvectors? What kinds of eigenvectors and eigenvalues do rotation matrices have? How to understand the coordinate system for an eigenvector? Does each nondegenerate matrix have a natural coordinate system? Investigation: Define the determinant of an n x n matrix in terms of an operation on the area defined by two n-dimensional vectors (rows). How to understand a matrix as a system of equations? What is the role of matrices in setting up Galois theory? What are the symmetric functions of the eigenvalues of various specializations of matrices? Give a combinatorial interpretation for calculating the inverse of a matrix. Give a combinatorial interpretation of {$\mathrm{det} (e^A) = e^{\mathrm{tr}(A)}$} Think of a geometric interpretation of the trace. Investigation: Multiplying upper triangular matrices Understand the underlying ideas in algebra. Challenge: Identify a matrix with a geometric collection of eigenvalues and eigenvectors How does the imaginary number determine the nature of complex analysis and related geometry? Using complex numbers, interpret {$d/dz \: e^z$} Interpret the Mandelbrot set. Give a combinatorial interpretation of P - P(n), the generators of the Mandelbrot set, in terms of the Catalan numbers. Get help to generate the difference. What is the best software for that? Check what happens if I plug in different values into the Catalan power series. Develop a notion of analytic symmetry related to solving the equations {$f^{(n)}=f$}. What is the mathematical and philosophical significance of circle folding? Map out the kinds of fixed point theorem to understand perspectives. Survey the kinds of differential equations, especially in the sciences, and consider them in terms of their symmetry. Understand what statistics says about all aspects of knowledge, including ignorance, information, randomness, choice, entropy. Understand category theory in terms of the obstacles to learning it. Understand category theory concepts in terms of an algebra of requirements. Investigation: Explore how limits describe external relations whereas colimits describe internal structure. Understand the relationship between left adjoints and right adjoints, colimits and limits, and internal structure and external relationships. Understand why there are three definitions of adjunction. Investigation: Organize the concepts in category theory to reveal underlying themes Classify the kinds of sameness in mathematics and elsewhere. Classify examples of equivalence and relate them to adjunctions. Classify the kinds of adjoint strings. What is the significance of associativity and nonassociativity? Investigation: What is the relation between external equality (refered to in associativity and identity) and internal equality (between objects)? Note the ambiguity (between the algebra of actions and the algebra of consequences) inherent in the internal equality. Understand the Univalence Axiom and Voevodsky's homotopy type theory in terms of my philosophical concepts. Challenge: Compare a free group on one generator and a cyclic group (defined by one relation). How does category theory distinguish them? How does that distinction relate to the equivalence imposed by the relation? Use combinatorics to understand finite categories. Investigation: Use category theory to model composition of perspectives. Express visualizations in terms of category theory and/or set theory. Understand the relationship between a product and an exponential object Understand universal and existential quantifiers in terms of presheaves Challenge: What do elementary symmetric functions generate in category theory? Challenge: What do the natural bases of symmetric functions generate in category theory? Challenge: What does it mean in category theory to have symmetric functions of eigenvalues? Express the divisions of everything in terms of exact sequences. Understand entropy, probability, statistics, nondeterminism, the house of knowledge, biology and other concepts in terms of information theory. What is the physical significance of the combinatorial interpretations of the orthogonal polynomials? Investigation: Give a physical interpretation of the role that the Hermite polynomials play in the quantum oscillator Discovery Map the ways of figuring things out in chess. Additional Math Research? Kaip iš matematikos žinojimo rūmų išsivysto matematikos šakos, sąvokos, klausimai, įrodymai ir tvirtinimai? Map of Math? Kaip išsiplėtoja matematikos šakos? Patikslinti matematikos žinojimo rūmus. Nurašyti savo pranešimą apie kintamųjų semiotiką. Išsiaiškinti kodėl yra keturios klasikinės Lie šeimos. Suprasti sąryšį tarp kompleksinės Lie grupės ir jos realiųjų pavidalų. Suprasti sąsajas tarp šaknų sistemos {$A_1$}, Lie algebrų {$\mathfrak{su}(2)$}, {$\mathfrak{sl}(2,\mathbb{C})$}, ir Lie grupių {$SU(2)$} bei {$SL(2,\mathbb{C})$}. Susieti su Mobijaus transformacijomis ir su nuotaikų permainomis. Suprasti sąsajas tarp šaknų sistemos {$A_2$}, Lie algebrų {$\mathfrak{su}(3)$}, {$\mathfrak{sl}(3,\mathbb{C})$}, ir Lie grupių {$SU(3)$} bei {$SL(3,\mathbb{C})$}. Suprasti sąsajas tarp šaknų sistemos {$A_{n-1}$}, Lie algebrų {$\mathfrak{su}(n)$}, {$\mathfrak{sl}(n,\mathbb{C})$}, ir Lie grupių {$SU(n)$} bei {$SL(n,\mathbb{C})$}. Suprasti sąsajas tarp šaknų sistemų {$A_{n}$}, {$B_{n}$}, {$C_{n}$} bei {$D_{n}$} ir atitinkamų Lie algebrų bei Lie grupių. Pasimokyti Hopf algebrų. Suprasti kaip būtent kompaktinės Lie grupės grindžia geometrijas. Kas yra geometrija? Ir kaip ją išreiškia Mobijaus transformacijos? Savo pranešimą apie klasikinių Lie šeimų kombinatoriką išversti į anglų kalbą, vis papildyti naujais atradimais, ir jo pagrindu parengti straipsnį. Išmąstyti, kaip tirti vienanarį lauką {$F_1$} ir susieti su Dievo šokiu. Suvokti ketverybės svarbą statistikoje. Sustatyti statistikos žinojimo rūmus. Remtis Norman Anderson vadovėliu.
Šis puslapis paskutinį kartą keistas March 07, 2021, at 11:17 AM