DEV Community is a community of 605,211 amazing developers

We're a place where coders share, stay up-to-date and grow their careers.

Mathematics' Architecture & Processes for Programmers

Risav Originally published at risav.dev ・4 min read

This will be the 2020's web series about the foundation, architecture and deconstruction of mathematics. We will be mainly concerned with structures on top of which all of mathematics can find its foundations. However one cannot do much with just the foundations. We are going to discuss the known and the novel constructs with which we have built our mathematics.

We will start by observing an interesting shadow set of the same structure and, more interestingly, we will name the different shadows but not the structure itself. Once you have shadows from all the infinite steradians, you have the complete silhouette. You can go further and map the details of the structure instead of just getting its topographical outline.

When you map geological points and events in a network, you will see that it helps to have topological maps aside from geologically correct maps. Maps are concerned with distances and physicality of things. However mathematical spaces and sets are concerned with other variables such as time and arbitrarily many mathematical or physical concepts.

1. Logic, Categories and Types

In this section, we will talk about how the logic side and the programming side of things are equivalent in a sense. Technically we call this an isomorphism. Hilbert style deduction systems are based on intuitionistic logic, axiom schemes and deduction or proof systems. A model of computation called lambda calculus is concerned with similar equivalent structures as well. Similar models based on type theory , combinatory logic and Gentzen's sequent calculus also exist. In the so-called BHK interpretation , intuitionistic proofs are functions and since lambda calculus proofs form a class of function, there is a correspondence between natural deduction and lambda calculus.

Going further than the Curry-Howard correspondence we have so far, there is a generalized Curry-Howard-Lambek correspondence . It shows that proofs of intuitionistic propositional logic and combinators of typed combinatory logic share an equational theory and form cartesian closed categories .

We will learn about constructions that operate on these logical propositions or abstract categories or types. We will deal with pairs such as

We will also examine the following aspects of the correspondences and related concepts:

2. Propositions and Constraints

Here we will talk about rule based knowledge bases and logical calculus for extracting knowledge from constraints, rules and propositions. Formalisms for these will also be introduced.

3. Operators and n-Tuples

We will mostly obsess with quaternions and n-dimensional tuples which may mutate to equivalent structures in other dimensions.

4. Transformers and Mutators

These mutators are called transformers if they shift the tuple towards structures in the same dimensions as before.

5. Matrices and Hypergraphs

We will agree upon an intuitive encoding for matrices and various kinds of graphs.

6. MAMBA and COSYS

We will examine a memory arrays & meshes based architecture for a collaborative system for computational problem solving.

7. COPLA and NEP.WORK

Based on 6, we will create a model for inter-planetary level computational collaborations and national level collaborations, named in the examples as nep.work.

8. Spoken and Written Lang

We will take a step back and examine the constructors of our abstractions. We will study spoken and written language structures describing the aforementioned concepts and knowledge base.

9. Shared and Heard Lang

We will continue 8 with a shifted focus towards how language is intensionally and extensionally shared and heard. Essentially we take a sharp and brief look at understanding of understanding itself.

X. Internal Lang and Lang

We will continue 9 with a further shifted focus towards internal language systems and the capacity for an externally shared language. We will look unbiasedly at both Chomsky's Universal Grammar and Deutscher's Universal Relativism.