This is an introduction to a series of expository blog posts on Araara. Araara is a personal mathematical research programme. Most of the conceptual work was done during a month-long backpacking trip to Aotearoa. It is named after the Māori name for the trevally (Pseudocaranx georgianus). Its aim is
Concatenation already gives us addition. With the Fraktur alphabet, we can also describe how to choose and combine two arguments. Let’s start by choosing just one. Choosing an argument The operator 𝔞 returns the first argument. The operator 𝔟 returns the second. These are the projection functions, usually written π0 and
This is the thirteenth in a series of expository blog posts on Araara. In the preceding post, we introduced Apar: names for variables whose interpretation depends on an ambient type. Let us now introduce another alphabet. We will use this alphabet to define operators, eventually building towards the hyperoperation sequence.
This is the twelfth in a series of expository blog posts on Araara. In Alungo, we extended the numbers we can write. Now let’s give a name to a value we have not yet chosen. We will call this Apar, after the Globasa word parametre. A name that cancels
This is the eleventh in a series of expository blog posts on Araara. The preceding post combined Asoho and Akurto to form Apeundeku. We will now combine two other ingredients: Attic and Akurto. Akurto can already express integers of any size. But its alphabet has a largest positive letter, w,
This is the tenth in a series of expository blog posts on Araara. The preceding post introduced Asoho: reciprocals expressed with uppercase letters. We will now combine Asoho with Akurto. We can already write three as ba, and its reciprocal as BA. But what if we would like to write
This is the ninth in a series of expository blog posts on Araara. The preceding post introduced the Attic alphabet. We will now return to Aglobasa and give its uppercase letters a different arithmetic. It would be nice to have reciprocals (plu soho) as well as integers in Araara. Let
This is the eighth in a series of expository blog posts on Araara. The preceding post explored references to books, atoms, galaxies, and colours. The series begins here. Let us introduce a new alphabet: Attic. We will use the Greek zero sign 𐆊 as its zero element, followed by ten Attic
This is the seventh in a series of expository blog posts on Araara. The preceding post introduced Akurtosks, a shorter way to represent strings. The series begins here. We can now write integers, Unicode code points, strings, and alphabets. But perhaps we would like to refer to a book? Or
This is the sixth in a series of expository blog posts on Araara. The preceding post introduced alphabets as Asks, including gapped alphabets. The series begins here. Normal form gives us an agreed way to represent each integer. But it can be quite long! It would be nice to have
This is the fifth in a series of expository blog posts on Araara. The preceding post introduced Asks: strings formed by concatenating Unicode normal forms in Akurto. The series begins here. We will return to the uses of Akurto terms for Unicode code points later on. But first: what is
This is the fourth in a series of expository blog posts on Araara. The preceding post introduced the Aglobasa alphabet and the Akurto type that uses it. The series begins here. Alphabets are arbitrary Before proceeding, I should make one convention explicit. Choosing Aglobasa as our default alphabet is a
This is the third in a series of expository blog posts on Araara. The preceding post explored arithmetic and the information preserved by different representations. We will now consider the letters and sounds used to express that arithmetic. The series begins here. So far, we have written our numerals using
This is the second in a series of expository blog posts on Araara. In the first, we assigned integer values to letters and used concatenation to add them. We will now look at some arithmetic, and at the information we can preserve in different representations of the same number. O
For an introduction to the project, read Araara o — Introduction. In what follows, text written in Araara, the object language, appears in color; English, the metalanguage, remains unmarked or within single quotation marks. Consider the English alphabet: abcdefghijklmnopqrstuvwxyz It has twenty-six letters, each with an uppercase and a lowercase
Γ = trasH ( trasH ) := trash ( englisH ) := text ( usually englisH ) written in umbral ( trash ) stylE ; palI ( trasH) := Pali (English) ; araarA ( trasH ) := Araara ( englisH ) := a domain-specific language invented to simplify and unify the fundamental concepts with which we conceptualize the worlD . . . its underlying research program is driven by what will be called
note : in umbral cuboids i will use " Γ " to indicate relevant context such as unusual terms or knowledgE for example in this cuboid i like to use my own names for the days of the weeK Γ = sattaha := week ; vasara := day ; candavara := monday ; kujavara := tuesday ; budhavara := wednesday ; guruvara
style-guide
welcome to the one and only umbral style guidE this style guide is divided up in two sections : stylistic principles and their applicatioN stylistic principleS ◆ trasH umbral style is inherently ugly somewhat trashy unappealing and repulsivE as you probably noticeD ◆ floW like Jacob Collier and like rivers umbral style has
announcement
¡hello dear visitoR despite its current emptiness umbral cuboids will soon have more contenT here is a taste of what is to comE : * the one and only organically growing umbral style guidE * an umbral cuboid about politicS * dedicated pages for luminous and penumbral cuboidS * diary of a sunday well spent
kaang
palate cleanseR