Showing posts from December, 2021

A Gap in Mathematics Education

The process of creation of mathematics has the following hierarchically dependent components: Coming up with a concept. Coming up with a question dealing with a relationship between concepts (this includes formulating a hypothesis, as well as finding an example or a counterexample of a concept/phenomenon). Answering a question dealing with a relationship between concepts (this includes proving theorems as well as solving problems without being given the recipe for solution). Applying the answer to a question dealing with a relationship between concepts to answer another such question (this includes solving problems by applying a given recipe for solution). Modern mathematics education (both at the school and at the university levels) focuses mainly on the last two points. What is regarded as a low quality mathematics education would focus only on the last point. For a more whole mathematics education, the first two points must receive as much attention as the last two points do.  It is

Musical Works

Introduction My musical works, which I have started creating in 2014, explore deeper abstract emotions, such as those arising from an intellectual pursuit, that may be connecting oneself with their dream world and touch the essence of existence. The works can be classified in the following categories: Impromptus  and ballades : these works are based on once-off improvisations, which may be edited for fixing accidental notes, adjusting suitable playback tempo, and introducing repetitions/transpositions. The difference between impromptus and ballades lies mainly in the playback length of the musical piece, with ballades being the longer musical works. A ballade is meant to tell a "musical story", while an impromptu paints a "musical picture".  Esprits : these musical pieces are combined with improvised performance of theatrical nature as a visual interpretation of music. Esprits belong to an artform defined by "mindful improvisation" (which I call "espr

Metaphysics of Human Function based on a Mathematical Structure

work in progress I propose here a theory of human function, which I have been developing based on introspection. In this theory, human function is represented in terms of exchange of information of four agents, which I call the spirit , the mind , the soul and the body . Although these are surely familiar terms, having a variety of scientific, pseudo-scientific, religious, philosophical and other usage, I do not assume any insight derived from such usage. The essence of each of these agents will be revealed through the roles that they play in human function. Matching of this essence with any of the existing definitions of these entities is unintentional and may well be coincidental. The four agents are organizes in the following directed graph: We call it the Human Function Scheme ( HFS for short). The arrows represent directions of information flow from one agent to another. Postulate 1.  Human function is marked by internal information processing within each of the four agents as

Noetherian Forms

Link to a plenary talk on noetherian forms at a BRICS conference (2021): slides of the talk , recording of the talk . Link to a talk on noetherian forms at the PALS seminar (2020): written summary , recording of the talk . Noetherian forms are mathematical structures defined by self-dual axioms, that include all lattices, Janelidze-Marki-Tholen semi-abelian categories and Grandis exact categories. They can be seen as a realization of Saunders Mac Lane's hypothesis from his 1950 paper on Duality for Groups that self-dual axioms can be found to treat isomorphism theorems for non-abelian groups, as this is realized for abelian groups with the notion of an abelian category. Abelian categories are actually given by the overlap of semi-abelian and exact categories. The term "noetherian" refers to the fact that these forms can seen as a fulfilment of Emmy Noether's program to "disregard the elements and operations in algebraic structures in favor of selected

Abstract Structures in Mathematics and Music

These are notes for my online discussion with Georgian Student Parliament on Tuesday 7 December, 2021, organized by Nina Tsatsanashvili. All photos in this post are from Wikipedia.  If you look up the word "structure" on the Google Dictionary , you will find the following definition: the arrangement of and relations between the parts or elements of something complex. When the "parts or elements" are subject to specific interpretation, we have at hand an "abstract structure". For example, consider a painting, which can be seen as an arrangement of colors. For instance, Leonardo da Vinci's Mona Lisa : This is not an abstract structure, since its constituents are specific colors that can be found on a specific poplar wood panel that currently resides in a gallery of the Louvre Museum in Paris. In contrast, Ludwig van Beethoven's Für Elise  is an abstract structure, since the sounds that make up this musical piece are dependent on the interpretation of