From 47e9c04f4652c2b6bbcf2f5f6f31f248bb292ec1 Mon Sep 17 00:00:00 2001 From: Lucian Mogosanu Date: Sat, 12 Apr 2014 12:12:57 +0300 Subject: [PATCH] posts: 01d, 01e --- images/2014/03/diagram.png | Bin 0 -> 5704 bytes images/2014/03/diagram.tex | 17 +++ ...01d-on-numbers-structure-and-induction.markdown | 123 ++++++++++++++++++++ posts/y00/01e-the-mirror.markdown | 73 ++++++++++++ 4 files changed, 213 insertions(+) create mode 100644 images/2014/03/diagram.png create mode 100644 images/2014/03/diagram.tex create mode 100644 posts/y00/01d-on-numbers-structure-and-induction.markdown create mode 100644 posts/y00/01e-the-mirror.markdown diff --git a/images/2014/03/diagram.png b/images/2014/03/diagram.png new file mode 100644 index 0000000000000000000000000000000000000000..33ab45b280ddad00477d2fb98cb1930f2526a298 GIT binary patch literal 5704 zcmbt2c{tSH*RwGrOLmhr8l)`aJ7OY~Y(qvRd-hBwhOvYq+1Elt!*-r*L*}v=THDZe&k>PIj28=;UbTOnK^~o1>wRX zyh3~d5fKrZ_(1W>Cm=>gpM306?M>V|wmNByFYeR>M^@O3Kuf%{$QXG?-#J zpJ}eWr1DuOP<*0B+6AY?>ktUkTuwv+E|Fq(rA<0D;hgNLOm(0$#8(XI#rNb@kLEQm z3`bEIkqt5W`yc&An}x8c)rt3uL;KAGp^sj>-F)63v9>bx?0Kaw&`2`6x!r6TeY*R<0A)T7FD>ufa*ZuO0ZuP7l=Ti>gNyId!b}=hA6JiZA3Rr6sOD2G2Zoy z;k!^-%fkM^uF1A9I!n)>nVH(#CbjTGD&wESbc=n^ z&GJd7%2mi=LPT{UowDz7@9hP)%h^{g8eUOJ{ zZw7l3P*GLq<||>cz-V1_H*cJtl{Bcy7ndQuF)42ujk-%_ppbFv%}w$RU93+ppX;Dr z{N|B83(si&N0~62uUjcHpy_36JT2!bQe|$nYxtqGw!k;XLt*!~E$Ah%?s;hA8&Q|5 zj=%{36|4uI;*|uqy!*OcDA5u$6zc(=5K~dy=V_4mYG;2-5J~j)jL`|XV6~g)J>F@v zSG*$p_;j=BZie>$59d8QgZ*@^v8dU<)7w9VQB~H_!BdbhiH=IB`uzcY?S!eDg*yRY zteVw?ao6LEHkA8c#cTn|ph|E(oxUdCzW7jF1y7UsB0A&)zhcZYl3Q;z5czoBw7d7pIxs#MtK9dbkOl_Crw}%}$qr z6`(N$T&1LnrAylMZzof~x4P61+D$6T1SbK#m!(Ye)W~A^Cr8>*{Ba~GKL}@AGPe&e zY7BL6T3bkL?4RX(DlN1;#81_|H*;PM|GRS?i;6P-a|S)W;nTJjs#xS(tw%&4P1r9b zC(cTQpuAH1)cP)&Jzj&T*dO!6B)}v9iQ^6VD|}PGk5uzq%&#{tl4xXd!>Ba~x(Qs> zt8qM0TP(nhzGKQ7B5SWCi|DmLRLw2Y>)5_n!PsurGT#%$JD;z`wZ2rtLoW|1WZtD= zcorABH>F~S`9Hsb1-<+j6V9Wn0ddEst(}j!8~G-FN1?M}l<(0H!aZ?D4ZIZ;e)oBy zRy_3d;>k~sw)US@(b|2E1c6S{>5t9R{veSjN(*_T6OcLuoJ}DwdI@{zNymxp)Hc{Yo0z7cMSfRLljGTFu5NdJq>KyC zrPx&3-I{la_kms4p7O_K%=)#*s2iWyfTE}#;&}`K-T$=K&7HVnYsO;5F zpR#q2rSUMmocD?!6;2?!wDf~KItZ(^sZuF0G&;0V(?zmP#O8Akay?s%xFPQv z2Bpr;B=XrkRmP!Fo^bVJ)AIP?Lc>7F>I0qoRlJevMaPVXS*rn0jc6>tK1O8F08{K9DzYgr}Uwp5exJoT;#=iRDjydMsz%68+|&FF!oba^G- zdGJW_o}#2}UMP*_XD{M|%ZckD<$jLzE0vQ1O8F8}W^pXEe zHG>m;;<_xc#y3><2IguG1VAV;5{I;!KX1OYlA7ZP_DWml*Zyi?E1f&a%BP= zUmrEc4)_wR)tXeoY2TLx)YXF_LDmNX7qq@YWK`!$h6)KzIngBuw0*q|2yX^<|c!z_( zP{(|nWiG36Wqu(wTBeKOT<1&?H-W!N#ea|usd8o61fR%=Qim&;_VBH29RV~fa*EYo z{?A(QS%v9;P*m55Sy|P>4F<;x|8VeKK_p~dY`VMo-S64_2vawW5Zd>TXRNK+6q05} zXeBjXuS^b_%@C=QtW_Y_NfD1C8*s%Z4k96Lu8P6!+2}4@*Tvp-j?d_jPuC%SLd`+n z055=AAX{J-Im!UzBF9M{6#pf&o=wqMS!^XaKavvDa{*?W(!vo;1tlnI}-vlZbTn0yr?ljZEeaqkDn_3`38OBqf zNnp7t`n$Kw1rH&N2jtIVWa1`-Xt=IlWw+Ed_TldxS~s)m(9rZF%$K{p67S=u{CX;kW2+H}Ad7;L+}Zh}?HSL_E)>r?$w? zN&;Uzd>2)i!KuW#F(L5^Wd&!F9$pE0`8pkavx`iB7-tXc{7+e&A`^x|!7N+>7clRG zaQw<{0@1a{@p*7}Jg$;Hf8Tf2PN^?=$tGw-=&`9^QE4zAk~TOT{m%;Tiy!x@I;w{c zqv7cEL8#`bi_JzzaVPB<&HAe+H8d!3KO-s8^K99&K+7fTd|I{Zsb8#Ryh$h7;mgyV z*>+s`U4o>8`BVe!Hm_Gc%!Imc6knsJ?dRAwICR$2>D-@%-rPbmdG1bKZ*=AmEL=&J zJR)9wD*Y`J4*|AZ`0A)xAAg=rfQW#b9I|!tr-!k}Ds=DON0wg+v>JaR9}rHvt^J4= zknEVL`Fg<3@RSYnL0b|m6efQSM)-S~USjB`QgPL&8xLtLEU~wgs`A=9U2Fbu6W^Av z4ZzjqBXjuMc0$zHZ29{$Xv`g}xrxdPluSD*1mT>YME|>Svdf~Nv0W1q3>?MWz2_b zS^1U5CD8YeRdoK%o6a%ZyD`X9ZjoP78!}S&adwGY))55$z3bx3w=Z4T7AcU)vXT}} zdd1rC#f2gWP+6Pxz)HbM+yB^T0Y`YSz)xDyKKWx&Ohr;4z+B8hyAQO=qp4RTg($Sj zcQt(TeDuNW74r}$7uWIvyJ*zBH0Cf!mFm1|cpp3aAnYWvj}`N%R^umAkB6v#2$K*e z=a;ZC1Cgp8!Y>O>2H~`D1j}Zkh(V$GTW-$crYZg82A*N~xF^{`QPaCDXGeCXilO>S zm;R_BwGgZ1xFF=1p21m!eeTNq&BpC}9f-DDwn@iEad|!+@OYgeR?IJRGr|GMWI|9w znTxHnU?(Rw?$_f8*2fO;%*bh#_cPoicCcey9VfYrTO7(N(%$iS1J+9(QTovJEgl0B3+m;a?Fhpmxqw?yr?*f4^43}(WDLq2Q5*U9?Hs4%3)9-uenJ7rEvX>`v`&$PO5WY zHdgC8{$kC$mA6BrWKrEb1;CjL=)JvJ<}KV-pE@D5AdB7y^G`Acmjf<99qJ=TNOYi4 z#OqFEjZ`fEYE z0V(rf1G!{MvnpP4CMl5l12WZff+^LvOjcjJNXc{Pr6{Jm69|GgdRspW|zCQ{rU z6k_hHjw)qdK)|@9h3cmR9;ljU6eqUn_fItJnc-&5=oRhdj75jY1~Q|f;B+b$(9u#)Ytz1 z3-lDGDpw%z{22dhgp64RsPTv@Sx0n7!4pO_@ap{vn^r=-(YKzERkaS$j&Nb~F|%UD z;?i(9(k^I%_lvl9)x&=pT7LQan!`B4K&3P)%gbP{o@? zq+-{3PERXd3{fE?^?k~cQ$4Tfd2AYpnee@Fm7mQ%RZaiE+>X1&I0EEd}w!*lA-T=M-bmey%w49sDg1i!1FMi*b3lZhKe4=?ENl<~Uw~ zdwUH!Z;<S`TNjTux>8hL2@HUJNoIQ&BkNro%uy*^Z;uWgsj=_3s540kzLKypU3{(w?*9h_py!e zkLqUeA1d0>4Q;rH$iz^R{A{fS*f4q z6Ia3{kOC3Q-~VDf(O&AoDY*$lySc|trg^yB2jX-~3Vs{hKc0UR_PLoC-N}+)GP{I= zr94@&@{^Y`zOHQI|9mH#(L&F?86_~fk|ftyTw*3WH8=Gj?92?oSa|0?#n3}#g8Lef z-UU~LDV*32GcXiBTr;82a0p$S_t_?2U|Asg5?cbdMU3t`+cuZ!6BpW7-tc16+{!tq ztI9)gYc82A8Ei6{xfNu8?X*Dt74ZmkQC&kZ7I#x8ST;tyDv4r0k>w_Yit=E`B_6pg zh1pg8x1y99r~TpBs`vwb5yu{-X#_?~q#!~87;_dKwwsPchrPzIbZgEpIeT86B#O@b zt&e}K?RI44_~$&>3ujg R=f3&^FlJcOmnNR^{{v|Ejidko literal 0 HcmV?d00001 diff --git a/images/2014/03/diagram.tex b/images/2014/03/diagram.tex new file mode 100644 index 0000000..46bd6ee --- /dev/null +++ b/images/2014/03/diagram.tex @@ -0,0 +1,17 @@ +\documentclass{article} +\usepackage{tikz} +\usetikzlibrary{positioning} +\begin{document} +\begin{tikzpicture} + % Tell it where the nodes are + \node (A) {$a_p$ $b_p$}; + \node (B) [below=of A] {$c_p$}; + \node (C) [right=of A] {$a_n$ $b_n$}; + \node (D) [right=of B] { $c_n$}; + % Tell it what arrows to draw + \draw[-stealth] (A)-- node[left] {\small $\mbox{add}$} (B); + \draw[-stealth] (B)-- node [below] {\small $l$} (D); + \draw[-stealth] (A)-- node [above] {\small $l$} (C); + \draw[-stealth] (C)-- node [right] {\small $+$} (D); +\end{tikzpicture} +\end{document} diff --git a/posts/y00/01d-on-numbers-structure-and-induction.markdown b/posts/y00/01d-on-numbers-structure-and-induction.markdown new file mode 100644 index 0000000..9212053 --- /dev/null +++ b/posts/y00/01d-on-numbers-structure-and-induction.markdown @@ -0,0 +1,123 @@ +--- +postid: 01d +title: On numbers, structure and induction +excerpt: Peano arithmetic for the dumb +date: March 29, 2014 +author: Lucian Mogoșanu +tags: math +--- + +In "[The miracles that matter][1]", Mircea Popescu gives a beautiful +description of numbers, starting from set-theoretical constructs and building +the sets of numbers we are so used to: naturals and integers, fractional +numbers, and finally, real and complex numbers, from which rise the +mathematical wonders that make the world go round. This dispels the myth that +such simple things are also simplistic; on the contrary, they are quite +profound, one being able to argue that they lie at the very core of human +thought. + +But what if we defined numbers, and for the sake we will limit ourselves to +natural numbers in this article; what if we defined numbers in a slightly +different way? We could name it "constructivistic", as in building the concept +and/or structure of numbers in an axiomatic way, starting from almost nothing +at all[^1]. + +Let's start from a set called $\mathbb{P}$[^2], consisting of objects which we +will define in the following way: + +* $Z$ is the Peano "zero": the smallest natural number there can be. We could + theoretically choose any other number to be our "smallest number", but then + that wouldn't make much of a difference, would it? Therefore $Z \in + \mathbb{P}$. +* For any given element in $n \in \mathbb{P}$, there exists + $n' \in \mathbb{P}$, defined as $n' = S(n)$, where $S$ is an endomorphism + over $\mathbb{P}$. In other words, $S : \mathbb{P} \rightarrow \mathbb{P}$ is + a morphism which generates (unique) elements of $\mathbb{P}$. It also has the + effect of imposing an ordering on $\mathbb{P}$, which is of course very + important, but we'll leave this detail aside for now. + +Now let's define another morphism, starting from the binary relation +$\mathbb{P} \times \mathbb{P}$, to $\mathbb{P}$. We will name it $\text{add}$: + +$\text{add} : \mathbb{P} \times \mathbb{P} \rightarrow \mathbb{P}$, such that +$\begin{array}{ll}\text{add}(x,Z) &= x \\ +\text{add}(x,S(y)) &= S(\text{add}(x,y))\end{array}$ + +We can also define a predecessor function $P$, as follows: + +$P : \mathbb{P} \rightarrow \mathbb{P}$, +$P(S(x)) = x$. + +Notice that $P$ is a partial morphism: it's actually only defined on +$\mathbb{P} \setminus \{Z\}$, as there is no predecessor for our "zero" object. +To make $P$ a total function, we'd have to take $\mathbb{P}$, add the notion of +signedness and "double" it with the same elements having the minus sign. The +same problems would arise for products and fractions, exponentiations and +roots, and so on and so forth. We'll keep things as simple as possible (and no +simpler) by remaining in the context of our little monoid over addition. + +We can easily show that $\mathbb{P}$ and $\mathbb{N}$ are equivalent sets and +that the two addition operations are also equivalent[^3]: let's define a +morphism $l$ which "lifts" objects in $\mathbb{P}$ to numbers in $\mathbb{N}$: + +$l : \mathbb{P} \rightarrow \mathbb{N}$, +$\begin{array}{ll}l(Z) &= 0 \\ +l(S(x)) &= 1 + l(x) \end{array}$ + +To demonstrate that addition works the same for both sets, we'll start from two +arbitrary objects $a_p, b_p \in \mathbb{P}$ and we'll "lift" them to +$a_n = l(a_p)$ and $b_n = l(b_p)$ respectively, so that +$a_n, b_n \in \mathbb{N}$. We now have to show that the sum operations over the +two objects, and the two numbers respectively, are equivalent. Thus we define +$c_p = \text{add}(a_p, b_p)$ and $c_n = a_n + b_n$. We have to show that + +$c_n = l(c_p)$. + +To do that, we'll bother using a proof mechanism called a *commutative +diagram*. For simplicity, I will represent $a$'s and $b$'s as pairs and abuse +notation a bit, by which I mean that we are applying the lifting function $l$ +on each element of the pair. The final result looks like this: + +
+ +The diagram commutes, which means that $l$ can be seen as a functor mapping +$\text{add}$ to number addition[^4]. ▪ + +A few aspects are worth noting. Firstly, we have shown that natural numbers in +$\mathbb{P}$ are a higher-level interpretation of the natural numbers described +as set cardinalities. That is, in addition to describing something very similar +to counting using fingers, they also have a sort of structure established by +the two constructors which define them. In other words, they also present a +deeper algebraic and axiomatic interpretation. + +Secondly, both $S$ and $\text{add}$ denote, through the presence of recurrence, +a kind of inductive reasoning which stands at the basis of the numbers in +$\mathbb{P}$. This leads us to the concept of "catamorphism", or "fold", used +to represent these operations over more generic structures such as lists, +monoids etc. Numbers are definitely a given, i.e. Gödel's incompleteness +theorems show that we possess limited reasoning in regard to them, but they can +be used to describe other structures! + +Finally, this approach provides an equivalent, yet different framework for the +construction of mathematical proofs. While this might seem unimportant for +small proofs such as the one above, let's think of the impact for large proofs +such as those involving millions of lines of hieroglyphs. + +Thus it's not only that miracles happen right before our eyes, but also that +these patterns appear all throughout the vast landscape of mathematics, their +discovery and the understanding and interpretation of their depth being left to +us, the intelligent, and yet so very dumb ones. + +[^1]: In fact such a theory could only start from the same set-theoretical +constructs, no matter what other conventions we'd make along the way. + +[^2]: From the italian mathematician Giuseppe Peano, who postulated these +axioms. + +[^3]: I'll leave the demonstration for $P$ as an exercise for the reader. + +[^4]: The proof for the reverse mapping will also be left as an exercise for +the reader. + +[1]: http://trilema.com/2014/the-miracles-that-matter/ diff --git a/posts/y00/01e-the-mirror.markdown b/posts/y00/01e-the-mirror.markdown new file mode 100644 index 0000000..924c2aa --- /dev/null +++ b/posts/y00/01e-the-mirror.markdown @@ -0,0 +1,73 @@ +--- +postid: 01e +title: I die when I look in the mirror. +date: April 12, 2014 +author: Lucian Mogoșanu +tags: storytime +--- + +I fell asleep. I fell asleep $n$ times composed, in the algebraic sense. + +I woke up. I was a black woman in a white room, in a white bed with white +sheets. I got up and looked in the only mirror in the room. I died. +Instantaneously. + +I woke up again; still a black woman in a white room, in a white bed with white +sheets. I got up, looked in the same mirror and died again. Instantaneously. + +I woke up yet again, a third time. This time I was myself. Not my real self, +but a self with a more squarely face and a hair too well arranged to be my real +self, but it felt like myself. Not like my real self, but the self it felt like +was the self I was expecting it to be. + +This time I told myself I wouldn't die anymore. + +

***

+ +I'm in Jerry's apartment; he has a room full of gadgets: mobile phones, +consoles, wearables, from the 20th century to now. I don't know Jerry too well, +but I don't know any other guys with so much knowledge on console gaming. He +hands me a Gameboy and tells me it's great; he helps me switch the batteries, +since I can't figure out how to do it, the blasted cover has a really weird +configuration. I tell him I've never owned a gaming console, but I've played +some console games in my life: from the SNES to Terminator clones sold in +Romania, I've tried most of them over at friends in the neighbourhood. Nowadays +I get to play all the oldies on emulators. + +Then Jerry put a cartridge in and told me to turn it on. Suddenly the whole +perspective changes. + +The intro shows a real-life photo of a blonde woman and a spaceship drawn in a +3D setting. The spaceship flies through space and lands (or is cast away, I +can't tell) on a foreign planet not shown yet. Instead, the ship's crew comes +into focus in the same photorealistic detail. + +... then suddenly, the faces degenerate into pixeled 2D sprites and they keep +oscillating between the photo and the sprites for a couple of times for each +crew member. I can't remember any of the names or the faces, but I know that I +(the player) am one of them. + +The game changes to a Final Fantasy-esque map, a top-down view with topographic +details, representing a desert planet with some kind of dunes. Now, the really +peculiar thing is that the dunes aren't really dunes, but more like volcanoes +with craters in the top. So I climb one of the "dunes" and reach the crater; +the crater seems to "open", becoming something similar to a black hole. The +image zooms in. + +The game perspective turns first-person, but with very vague details. I find +myself in an almost empty room, without any doors. I try to pass through one of +the walls and thus I get to enter in another, completely different room, like +from another world. I do this again and I suddenly find myself on a basketball +field, playing basketball. The image becomes clearer and clearer as I pass +through walls. + +After a while I reach an empty (detailed, photorealistic) room with a mirror. I +look in the mirror. I don't die. + +I realise, however, that the game learns my self as I play it, it adapts to my +way of playing and in the process it creates a model of Me, transposing Me +into the game. I wonder how this is possible with nowadays' technology and I +stop on the clear thought that mapping an entire person into a game is indeed +theoretically possible. + +All images of myself are only mirrors, after all, and the mirrors are tar pits. -- 1.7.10.4