Академический Документы
Профессиональный Документы
Культура Документы
BY
JOHN HAYS
TO MYL AD Y ES TH ER (1920-2000)
FO R FIFT Y-T HR EE YE AR S A S
I MISS YOU SO !
IN TR OD UC TIO N
o [|- , "Ti me f li es ."] , for the f ir st (dec lar ativ e) ver sion .
o [! , "T ime fl ie s. "] , for the second (i mper ati ve) v er sion.
8. Condot . You 'v e seen chil dr en's p lay books in w hic h they
"connect the dot s" to sha pe a per son or ani mal or
land sca pe or wha te ver. You need to lear n t o "connect the
dots " to r ea li ze tha t one Kno wable m ay be Connected to
another , and sh ould not be ignor ed.
BY PAS S ha s for m:
difficult/impossible/desired task
------------------------->
transform| ^transform
to new | |back to
task | |terms of
| |original
| |task
V------------------------>
perform task
An in stance :
11. Ant itone : Bypa ss unf old s fr om th is dia g ram med S tr ate gy
whic h ma y be imp li ci t i n al l of Real it y' s pr oces se s . It i s
la cking when For ce is der iv ed fr om N ewton 's Law s of
Moti on . Bu t tho se Laws y ield Mo mentum , with it s
Con ser vation of Linear Momentum and i s Ant iton ic .
Der iv ing fr om Ant itone , B YPASS tr anso r ms i nto
Amp li fic ati on -- mor e in Ouput t han Input - - whic h
explain s Mac hines and pr ovides us wi th " ri ches ".
Lear ning the A nti tone-B ypas s- Am pl ify connect ion teac he s
"the wonder s of N atur e".
12. Indica tor-S iga l . In Sem iot ics , Peir ce taught us about
Indica tor , Signa l, Icon , S ymbol , a f our some pr ovi ding
Str ate gie s for Sc ience and Educa tion . Acr on ym ISIS :
I(ndica tor) S(ignal) I(con) S(ymbo l). An indic ator has the
fol lo wi ng t wo- tuple st r uctur e, wher e "O " denotes
Ob ser va bi li ty and "I" denotes Inf or ma tion .
13.
<Hi O-Low I, Low O-Hi I>
as in
as in:
<lightning, electricity>⇒<telegraph key, Morse Code>
di mens iona l
16. Di men si onal Al ge br a ( DA) T he F OR MS of
anal ysis can be used as a Alge br a for deri ving FO RMS
fr om ba si c F OR MS . In Cha pter T wenty on Science , you
wi ll see ho w to der iv e equa tions ne ver bef or e s een. It has
long been the cus tom to i gnor e D imens iona l A nal ys is for
any except s pec ial ist s. A consequence, in the ni neteenth
centur y, was tha t the Ge r man ph ys ici st , Lud wig Bo ltz man
(1844-1906), in der iv ing "T he Mo st Pr oba ble Dis tr ibut ion
of Mo lecule s in a Sy stem" , fai led to complete the
in te g ration at the end and evalu ate the g iv en cons tant,
whic h ha s the dimen sion s of Planc k's con stant h, Had he
done so, quantum theor y mi ght h ave be gun decade s
ear lier . T his is based upon the anal ys is of G erhar d A.
Bl as s, T heor et ical Ph ys ic s , pp .236-43) . If the vas t s ub ject
of Di men si onal Anal ysi s i s ignor ed , or ne glected, it is no
su r pri se tha t i t isn 't used for a Dim ens iona l A lg ebr a .
Se mantic
17. In "Barb ie D ol l" Math (A ppend ix C) , it s
Trans for ma tion sho ws you t ha t you kno w, at l eas t, tw elv e
mor e M athem atic s syst ems than you thought y ou knew ,
bef or e be ing to ld . Y ou kno w y ou kno w the se syste ms
because you s tud ied the Pr oto Type of these systems
when you lear ned to factor number s in ar ithmet ic .
20.
Frenel lens: convex lens:: stairway: ramp
A: B:: C: D
2: 4:: 3: 6
2/4 = 3/6
STANDARD CHANGE
------------------------->
GOTO NON-| ^
STANDARD | |MINTONE
CHANGE | REVERSE MOTION |
V------------------------>
MAXTONE
You may f ind th at A ppendix A, " Ar ithme tic and Mo i" , sug ge st s
many kno wables about the pur pos e of t hi s book.
Cha pter 2 : WH AT IS INT EN SIO N? EXT EN SIO N? RELA TI ON ?
FUN CTI ON ? OPE RA TI ON ?
You lear n tha t the ter m intenS ion (not in tenTion ) is a
ref er ence wi th Kno wable r ef er ent s . Its Pr otot ype is Idea:
in tens ion of a w or d is the id ea imp li cit in t he wor d , so
in tens ion can se r ve as pr oxy or su r roga te of the wor d . T hi s
you no w kn ow.
T he Pr otot ype of in tens ion . in set theor y , you can under stand.
You can al so sear ch the Web (sa y, W iki pedia) for the Banac h-
Tar sk i Par ado x , whic h s ho ws th at the E uc lidean Geo metr y
Ax iom s al lo w cutt ing the m oon into f iv e pieces , putti ng the
fi ve p ieces togethe r, and putting the moon i n your poc ket . No
one kno ws ho w to do t hi s, but Euc lidean Ax iom s im pl y i t can
be done as consequence of (Boundar y) fuz zine ss in de scrib ing
ho w piece s can f it together .
W ik ipedia notes th at "R us se ll 's Par ado x" led to Göde l' s Pr oof
tha t we cannot u se fir st -or der logic to pr ove the cons istenc y
of Ma thema tics .
You can under stand tha t, in th is book , the cons tr uct ion of
ari thmet ic B ypas se s Axi oms b y being extensi onal (no
Boundar y cr oss ed) , by giv ing up i nd ir ection and d ir ectl y
accepting respon si bi li ty . You can under stand th at th is means
no one can use the se method s t o con str uct an ari thmeti c
dif fer ent fr om the one i n thi s book.
|- --- ^-- -- ^--- -| |- --- ^-- -- ^--- -^- -- -| |- -- -^- -- -^- -- -^-- --^-- --|
Si nce 3 · 4 = 4 · 4 = 12 , you can compar e (be lo w) four copie s
of the thr ee-un it se gment wi th t hr ee copie s of the four -uni t
se gment :
|- --- ^-- -- ^--- -|-- --^ -- --^ -- -- |-- --^-- --^-- --| --- -^- -- -^-- --|
You note th at the se tw o extend equa ll y, tha t i s, the y ar e
cong r uent . T his i s the mean ing of "com mensur able" : Two
se gment s ar e com mensur ate if a mul ti ple of one se gment is
cong r uent to a m ult ip le of the other .
|- --- ^-- -- ^--- -|-- --^ -- --^ -- -- |-- --^-- --^-- --| --- -^- -- -^-- --|- --- ^-- -- ^--- -|
|- --- ^-- -- ^--- -^- -- -^- -- -|- --- ^-- -- ^-- -- ^--- -^- -- -|-- --^ -- -- ^-- -- ^-- -- ^--- -|
From the abo ve note on cong r uence, you real iz e the
cong r uence of thes e t wo extensi ons in dic ates the
commen sur abil it y of the base and dia gonal of the abo ve
tr iang le. A nd, since 4 · 5 = 5 · 4 = 20 , we can co mpar e fi ve
copie s of the four- se gment al titude wi th four cop ies of the
fi ve-s e gment dia gonal :
|- --- ^-- -- ^--- -^- -- -|-- --^ -- -- ^-- -- ^-- -- |-- --^ -- --^ -- --^ -- -- |-- --^-- --^-- --^ -- --| --- -
^-- --^-- --^-- --|
|- --- ^-- -- ^--- -^- -- -^- -- -|- --- ^-- -- ^-- -- ^--- -^- -- -|-- --^ -- -- ^-- -- ^-- -- ^--- -|-- --
^-- --^-- --^-- --^ -- --|
T he cong r uence of thes e t wo extensi ons in dic ates the
inco mmensur abi li ty of the alt itude of any s quar e w ith its
dia gonal .
• in ter pr et " four copie s of the thr ee -se gment " a s the
fr action , 3/4 ;
• in ter pr et " thr ee cop ies of the 4- se gment" as the fr act ion,
4/3 ;
• in ter pr et "f iv e cop ies of the 3-se gment " a s the fr act ion,
5/3 ;
• in ter pr et " thr ee cop ies of the 5- se gment" as the fr act ion,
3/5 ;
• in ter pr et "f iv e cop ies of the 4-se gment " a s the fr act ion,
5/4 ;
• in ter pr et " four copie s of the 5 -se gment" as the fr action,
4/5 ;
• then w e find tha t 4/3 · 3/4 = 1 = 5/3 · 3/5 = 5 /4 · 4/5 = 1.
T he ari thmet ical equ iva lence of the fr act ional pr oducts
cor respond s to the geomet ric commen sur abl y of the ir
cor respond ing e xten sion s . T hen geometri c com mensurb il ty of
se gment s cor respond s to r epr esenta tion of thes e se gments
as a fr action .
Ho wever, the "pu zz le of the Squar e" i s tha t the r ela tion of a
side of the Squar e to it s d ia gonal cannot be repr esented by a
fr action .
T his book onl y pr oceed s con str uct iv el y (cr oss ing no
Boundar ies) .
INDICATOR-SIGNAL TABLE
IND. 1st IND. 2nd SIGNAL PHYS. SIGNAL LING.
COMMENT
COMP. COMP. CONTROL CONTROL
Telegraphy first
Lightning Thunderstorm Telegraph Key Morse Code important application
of electricity
Medievalists used
Symptom Disease Diagnostic tests Instructions "semiosis" for
"symptom"
Fever formerly
Fever Infection Diagnostic tests Instructions
miscalled "disease"
Red litmus
Acidic liquid Chemical tests Instructions --
paper
[sign, reference]⇒[referent(s)]
•
• [∞, mathematician] ⇒ [infinity]
•
• [∞. meteorologist] ⇒ [haze]
•
• [∞, cattle rancher] ⇒ [cattle brand]
@ MEANS at-sign
⇓ ⇓ ⇓
$ MEANS dollar
⇓ ⇓ ⇓
& MEANS ampersand
⇓ ⇓ ⇓
% MEANS percent
⇓ ⇓ ⇓
* MEANS asterisk
And pr a gm atic is sho wn abo ve.
You lear n on the Web tha t tw ent ieth centur y Phy sic s
wi tnes sed a cr it ica l d is ti nction betw een O NTOLOGY and
EPIS TEMO LOGY, in vol ving a de bate betw een Al ber t Ein ste in
and Nei l Bohr concer ned the us e of P ROBABILITY TH EO RY i n
quantum t heor y. T hat, by Say ing , "G od doe s not place dice! ",
Ei ns tein ar gued tha t the use of P ROB AB ILITY in QUANT UM
TH EO RY w as on l y due t o C UR RE NT LIMI TATIO NS I N O UR
KNOWLED GE , perha ps due to HI DDE N CA US AL V AR IABL ES i n
bas ic phenomena, and. the se i dent ified , PR OBABILITIES could
be e li mi na ted . H ence, y ou real ize, E in ste in was sa ying tha t
QU ANT UM PROBABILITIE S A RE EPISTEMIC , w hil e B ohr , in
counter ar gument , s ai d Q UAN TU M PR OBABILITIES ar e
ONT OL OG ICAL , because any attempt to in vest iga te th is i n a
syste m w ould de str oy the s ystem or change i t cri tica ll y.
You can under stand tha t the di st inct ion betw een O NTOLOGY
and EPISTEM OL OG Y ma y concer n your med ical i ns ur ance,
since it 's now pos si bl e, fr om DNA e vidence & other pr otocol s,
to kno w so me per sons ar e genet ical ly d is posed to so me
di sea se o r i mpa ir ment . You l ear n tha t, kno wing t he DNA
tes ts , some in sur ance copan ies ha ve cance lled the m edica l
in sur ance of s ome client s and refused to ensur e other
appli cants , upon lear ning of s uc h di spo si ti ons .
Ho wever, you can under stand t ha t the s ta ti st ic s for in sur ance
ar e NOT ba sed upon wha t i s kn own about cer ta in peop le, but
about "w ha t is out ther e" , in the st atis tica l uni ver se .
You read on the Web tha t, during the "V ietnam Er a" , Def en se
Secr etar y R ober t Mac Namar a (w ho had been Head og Gener al
Motor s) vio la ted th is R ULE in ar guing tha t South V ietnam
AR VAN s ol dier s w oul d def eat the Vietcong f omr No r th
Bi etnam , since ther e wer e ten ti me s as man y AR VAN sol dier s
as Vietcong . T ha t s ome one noted , "W hat ha ppen s i f tho se 10
AR VAN s ol dier s w on't fight, and tha t one V ietcong fight s lik e
hel l? "
You al so Web-l ear n tha t AXIO LOGY i s often ignor ed, but i s
im pl ic it in ref er ence to AXIO MA TICS , since an ax iom is
langua ge of spec ial v al ue.
W hen you see a b lue flo wer , Mar genau a sk s if the f lo wer is
blue when no one is l ooking at it. H e sa ys thi s co lor ati on i s
not po ss es sed by the flo wer ( attr ibuti ve ) but la tent i n the
flo wer unt il evok ed b y an ob ser ver . You r ea li ze th is i s
compar able to the old ques tion , "W hen a tr ee f all s i n a f or est
wi th no human ar ound, doe s it m ak e a s ound ?" It m ay mak e a
vibr ation , but "sound" is w ha t tha t v ibr ation become s wi thin a
nor ma l hu man ear .
"F or e xamp le, the wor d "Mer cur y" can ref er to s ever al
dif fer ent t hing s, i nc lud ing an ele ment, a planet , an
automobi le br and, a r ecor d l abel , a NASA manned -spacef light
pr oject , a p lant, and a R oman god . S ince onl y one W ik ipedia
pa ge can ha ve t he gener ic name "Mer cur y" , unambiguou s
ar tic le ti tle s ar e u sed f or ea ch of t hese topi cs : Mer cur y
(element) , Mer cur y (planet) , Mer cur y (automobi le) , Mer cur y
Recor ds, Pr oject Mer cur y, Mer cur y (plant) , M er cur y
(my tholog y). T her e mu st then be a w ay to d ir ect the r eader to
the cor rect specif ic ar tic le w hen an amb iguous ter m i s
ref er enced by l inking , br owsi ng or se ar ching ; thi s is wha t is
kn own as dis ambi gua ti on . In thi s case it is ac hie ved u si ng
Mer cur y as a di samb igua tion pa ge .
You can under stand the F renc h anthr opolog is t, Claude Lév y-
Str au ss , when he s ai d he found , the wor ld o ver, a mong so-
cal ll ed pr im it iv es and a mong the ci vi lized , the com mon
year ni ng to fee l th at thei r l ives made s ens e - - fit a pa tter n . He
ci tes an e xamp le of lo ve of p atter n .
As noted abo ve, you real iz e t ha t thi s twos s ubpa tter n of the
tens pa tter n i s in vok ed over and over in the g rid becuse tw o
is a pri me f acto r of t he ba se ten impo sed upon the counting
number s .
You see tha t, sim ila r ly, the pa tte r n for po wers of 5: 0, 5, 25,
125, 625, ... repea ts ever y repeti tion of po wers of 10 .
Equi va lentl y, it s pa tter n i s con ser ved b y ad ding po wer s of 10
to an y number of a g ri d p atter n.
You see tha t a g rid color ed for mul tip le s of nine has an upper-
left to lo wer- right dia gonal pa tter n, r unning 9. 18, 27, 36 . 45 ,
54, 63, 72 , 81 , 90 .
Ho wever, desp ite the name , "ca sti ng out nine s" , ther e i s an
eas ier way of do ing th is, w hic h W ik ipedia does not ci te. It
avoid s tha t "pa ir- g rouping " - - t ediou s for lar ge nu mber s. You
repea tedl y ad d the d igi t of the nu mber unt il a single d igi t is
obtained , T hen cast out the n ines . If th at sing led igi t i s nine ,
cas ting it out yield s zer o, indic ating tha t the or igina l number
is a m ult ip le of nine ; otherwi se , tha t is the rema inder after
di vi di ng by nine .
W ik ipedia , in us ing the nine s- pair ing for m of the Algor ithm ,
sho ws how thi s can be us ed a s a c he ck on calcu la tion s. B ut
W ik i f ai ls to note a " ca tch" i n thi s, exposed i n the f or m kno w
as "bookk eeper' s chec k" . Giv en a colu mn of " Cr ed its " and a
colu mn of " De bit s" , both can be c hec ked by " nine s cas ting" .
But thi s onl y wor ks w hen t hey di sa g ree -- po inting to er ror.
Ho wever, the f ollo wing sho ws how ta bular colu mns can a g ree
by "n ine s- cast ing" , yet di sa g ree as co lumns . For get do llar s
and cent s; j us t look at number s:
2415 1111
1111 3
_ __ _ _ __ _
3526 1114
T he dig ita l root of f ir st ad dend on left is thr ee ; of second ,
four ; f or d ig ital r oot su m of se ven. T his ag rees wi th the
dig ita l root of the fir st su m. T he d ig ital r oot of fir st ad dend is
four ; f or s econd ad dend, thr ee ; f or d igi tal s um of s even,
ag reeing wi th d ig ital s um of s econd s um and ag reeing wi th
tha t for fir st su m. B ut, ob vou sl y, de bit s and cr ed its do not
ag ree! T his wor ks onl y for di sa g reement , point ing to e r ror,
T he reason is tha t i mp li ci t i n thi s ty pe of chec king i s modula r
ari thmet ic : th at i s, d iv ide all number s i nvolv ed and k eep onl y
the r emainder . O bviou sl y, 25 and 16 ag ree i n a digi tal root of
se ven , but do not ag ree as nu mber s. R epea ting . thi s for m of
chec king on l y te ll s when the calcu la tion (ad dit ion,
sub tr action , m ult ip li ca tion, div isi on) i s i ncor rect , so mething
W ik ipedia fai ls to tel l you . T hus , modu lar ari thmet ic i s many -
one , ju st as factor ar ithmet ic -- a suba rith metic of ar ith metic
is many -one , as sho wn in C ha p. 23,
You note the other main dia gonal of the t en-b y- ten g ri d i s
fr om upper lef t to lo wer righ t, wi th number s 0, 11 , 22 , 33, 44,
55, 66, 77 , 88 , 99 .
And the e ight s pa tter n is con ser ved under ad dit ion of one
thousand . Etc .
You may kno w the se tw o "ca st ing" Algor ithm s car r y o ver to
Nu merica l Al ge br a. Her e, you change fr om ba se t en to base x ,
so th at the homo logue of 10 - 1 = 9 i n the A lgo rith m i s x - 1,
and the homologue of 10 + 1 = 11 in the Algor ithm is x + 1 .
T ha t i s,
You kn ow tha t the g rea t Frenc h m athem atic ian , J ules Henri
Poincaré (1854-1912), sa id , "M athema tic s is the a r t of gi vi ng
the s ame name to dif fer ent th ing s. "
You kn ow tha t the figur ate ori gin and f igur ate exp lic ation
her ein of so m any number concepts man if est s simp li ci ty th at
young c hi ldr en can in ter activ el y compr ehend , a ttr acting them
to m athem ati cs . For, ma the ma tics i s a bout pa tter ns.
You kn ow tha t the Py tha gor ean s f igur ated squar es of in te ger s
by recur siv el y ad ding od d number s, i.e ., nu mber s of the figur e
2n + 1, n = 0 , 1, 2, . ... T hu s,
• 0 + 1 = 1 2;
• 1 + 3 = 4 = 2 2;
• 1 + 3 + 5 = 9 = 3 2;
• ... .
• 1 = 1 3;
• 3 + 5 = 8 = 2 3;
• 7 + 9 + 11 = 27 =3 3 ;
• ... .
You kn ow th e ge ner ation of c ubes by od d num ber recu r sion a nd by a tr ian gula r nu mbe r r ec ur sion i mpl ies
th at one for m is propo r tio nal t o t he o the r, with fu r ther c onn ecti ons . Y ou k no w t his l eads t o numbe r p ower s
= O(d n) . [ 3a ]
T(n ) - T (n - 1 ) = (1 /2 n( n + 1 )) - 1/ 2n (n - 1) = n . [3 b]
(3 + 2) + ( 4 + 3 ) + (5 + 4) = 1 + 3 + 5 + 7 + 9 = 25 = 5 2 = O (d 5 ) = T (5) - T(4 ) = 1 + (2 - 1) + (3 - 2) + (4 - 3) + (5
- 4) = 5 .
n = T (n) - T (n - 1) ;
•
n2 = T (n) + T (n - 1) ;
•
n3 = ( T(n) - T (n - 1) (T(n ) + T (n - 1) ) = ( T(n )2 - ( T(n -1) )2;
•
n4 = ( (T(n ) + T(n - 1 )) 2 ;
•
n5 = ( (T(n ) - T (n - 1) )(( T(n ) + T(n - 1 )) 2;
•
n6 = ( (T(n ) + T(n - 1 )) 3 ;
•
n7 = ( (T(n ) - T (n - 1) )(( T(n ) + T(n - 1 )) 3;
•
... . [4 ]
•
po wer s be comes:
n=D ;
•
n2 = S ;
•
n3 = D S;
•
n4 = S 2;
•
n5 = D S2 ;
•
n6 = S 3;
•
n7 = D S4 ;
•
... .[4 A]
•
And you fi nd, in g eneral: n(2 i-1) = D S( i - 1) , n (2 i) = Si , i = 1, 2,. .. . [ 4B ]
You shif t, n ow, t o Numbe r P ower s as Odd Numb er s . T o sho w it can be d one , y ou de fi ne O(1, n ) =1 + 1 + . .. +
n = O (1,n );
•
n2 = O (d n );
•
n3 = O (1, n)O (d n );
•
n4 = ( O( d n )2 ;
•
n5 = O (1, n) (O( d n )2 ;
•
... .;
•
n( 2i-1 ) = O(i ,n)O (d n) (i - 1 );
•
n( 2i ) = ( O( n) )i , i = 1 , 2 ,... .
•
Of co ur se, t his is l ess "e le gant " t han "p ower s from t ria ngul ar s" , bu t y ou see t ha t i t symbo lica ll y e xp lic ates
anc ien t Py tha gorean f ig ur ations a nd i nvok es A Tri ple Rel ation ( Poi nca ré! ), as fol lo ws.
Giv en:
O(n ) = 2 n + 1 = n + ( n + 1 );
1.
T(n ) - T (n -1) = n ;
2.
R( n) = n + 1 .
3.
D( n) + R( n) = O( n) [ 5B ].
O(n )( 1/ 2) = n i [5 C] .
D = O (n) (1 /2 ) [ 5D ].
You not e be lo w th at cube roots c an b e c alcu la ted by subtr actin g odd n umbe r s , whose ini ti ato r is
Giv en t he p r esent symbolism , th is ca n be opera tiona ll y w rit ten : O(d T(n )) = n 3 = DS [5 E].
You consi der , n ow, rel ate d P att er ns as Alg orit hms , w her ein n umbe r r el ations n ot recog niz ed i n t he
li ter atur e a r e i mpli cit or e quiva lent to r eco gniz ed alg ori thms.
T hus, power on e f or m t ells us y ou c an p ass from f or m , T(n -1) to the ne xt f or m , T(n ) by adj oini ng t he
fi gura te for num ber n. T his is an al gor ithm imp lici t in th e pa tt er n o f n umbe r po wer s as t ri angu lar n umb er s ,
rh etor icall y m ani fes ted . T hen, po wer t wo is imp lici tl y the alg ori thm t ha t sec ond p ower s of n umb er s ar e
cal cul ate d by mo vi ng p air ed sums o f tri angu lar s . T hen, po wer t hr ee co nveys a n a lgor ith m in the lit er atur e
and onl ine . And , po wer f our is im plic itl y th e al gori thm t ha t t he sq uar e root o f t he f our th po wer of n umbe r s
You kn ow it is k no wn , in the li ter atur e a nd o nli ne, t ha t a tr iang ula r nu mber has a bin omia l co ef fi cien t f or m:
Pasca l T ri an gle " c onta ins th e t rian gula r n umbe r s , as suc h. Y ou t hen see t ha t th e a bo ve r el ations sh ow th at
all ot her d ia go nals o f T he P asc al T rian gle can be c onst r uc ted f rom th is dia gonal . You kn ow th at it is also
no ted i n t he l itera ture th at th e Fi bona cci Nu mber s a re present i n t he " Trian gle ", so th ey can be d eriv ed
from t ria ngul ar n umbe r s . T he imp lici t r el ation o f Be r nou lli n umb er s to "F er mat num ber s" is k no wn. B rie fl y,
th e " Pascal Tri angle r eper tor y", as e xplic ated i n th e li tera tur e, is subsu med i n t he T ria ngul ar r eper tor y .
And all even per fect num ber s a re T rian gula r o f the for m , T(p) , for p rim e p. A nd K. F . Gauss (1 777 -186 5)
pr oved th e co njec tur e o f Pi er re Fer mat (1 601 -166 5) th at ever y posit iv e i nte ger is t he sum o f at most three
You no w tu r n t o De ter mina tio n o f S qu ar e a nd C ube Roots . Y ou k no w i t is not ed, i n t he l itera ture an d on line ,
th at squar e roo ts can be e xtr acted by sub tr act ing c onsec utiv el y o r der ed odd n umbe r s .
T hus,
144 - 1 = 143 ;
1.
143 - 3 = 140 ;
2.
140 - 5 = 135 ;
3.
135 - 7 = 128 ;
4.
128 - 9 = 119 ;
5.
119 - 1 1 = 10 8;
6.
108 - 1 3 = 95 ;
7.
95 = 1 5 = 8 0;
8.
80 - 17 = 63 ;
9.
63 - 19 = 44 ;
10.
44 - 21 = 23 ;
11.
3 - 23 = 0 .
12.
So , sinc e 12 su btr ac tio ns, o f c onsec utiv el y o r der ed odd n umbe r s, r ed uces 144 to z er o, the sq uar e root o f
Also k no wn is a tr ic k ( imp lici tl y in volving t he d igi tal root ) w hi ch m ay consi der abl y reduc e th e nu mbe r of
As in th e stan dar d squar e roo t pr ocedure, t he t ar get n umbe r is m ar ked o f f i n p air s o f di gits f rom th e ri ght .
T hus y ou pa r se: 1'4 4. T his t ri ck n ow reduc es th e subtracti ons from tw elv e t o 1 + 2 = 3 , i.e ., o ne
subtr acti on f or t he l ef t pa ir (01 ); tw o subtracti ons f or th e ri ght pai r (1 2) . A nd t he d igi tal root o f 12 is 1 + 2
= 3.
Ho wever, you fi nd n oth ing i n t he l itera tur e o r on line to d emo nstr ate, o r e ven c omme nt, th at, by th e same
Dua ll y, you can sho w t ha t the p roce dur e f or c alc ula tin g cu bes by mo vi ng t rian gula r n umbe r s , is a
pr oc edur e for using th is "m oving " p lo y t o c alcu la te c ube roots by su btr ac ting odd nu mber s .
T hus, g iv en 216 , q uic kl y fi nd ( by p r odu ct (5) (5) (5 ) = 125 ) t ha t 216 (b ei ng g r eate r t han 125 ) has a cub e r oo t
Via tria ngul ar n umbe r s -- and th e fi ve c ube l ower bo und, abo ve -- y ou k no w th at th e subtracti on sho uld
You pr oc eed:
216 - 3 1 = 18 5;
1.
185 - 3 3 = 15 2
2.
152 - 3 5 = 11 7;
3.
117 - 3 7 = 80 ;
4.
80 - 39 = 41 ;
5.
41 - 41 = 0.
6.
So , sub tr act ion o f six c onsec utiv el y o r der ed odd n umbe r s r edu ces 216 t o z ero . And you con fi r m, by
(Pr oof o f th e ge ner al c ube roo t pr ocedure is i mpli cit i n t he abo ve proo f o f cu bes from d if fer ences o f
You not e th at a c or r espon ding "t ri ck" p r oce dur e i n t his case wou ld n ot r educe steps, since it w oul d in volv e
You kn ow th at facto rials p rovide a basis f or w riti ng f or mu las f or mul as in n umb er t heo r y an d in
You kn ow it is som etim es not ed i n th e l itera ture (a nd onl ine ) t ha t tr iang ular num ber s f or m the additiv e
dua l to th e mu ltip lic ativ e f acto rials i n c onst r uc ting num ber-t heoreti c or com bin ato ric f or ms . You can sho w
T he l ef t side of [ 1] is symb oliz ed in the li ter atur e as n! . Using the S pa nish i nver ted e xcla ma tion poi nt ,
nam el y, "¡ ", y ou ca n symbol iz e t he r igh t side of [ 6] as " ¡D ", r et aini ng pref ix f or mat t o e mph asiz e th e
dist inct ion. T hen [ 6] b ecom es: n! = ¡ D. [ 6a ] T hus , n-f act oria l eq uals D-t ri ango rial .
You tu r n n ow t o Com bin ati ons (ra tios o f com pr essed Geo met ric p rog ressions ) . T hus, giv en th e
C( n, 1 ) = n! /1! (n - 1 )! = n = D
•
C( n, 2 ) = n! /2! (n - 2 )! = 1/ 2n (n - 1) = T
• n-1
C( n, 3 ) = (1 /3 )T (D - 2 )
• n-1
C( n, 4 ) = (1 /1 2) T (D - 2 )(D - 3 )
• n-1
C( n, 5 ) = (1 /6 0) T (D - 2 )(D - 3 )( D - 4)
• n-1
A = [ 2T /r! D( D-1 )]
• n-1
...
•
C( n, r ) = AD (D -1) (D -2) (D-3 ). ..( D - r - 1) .
•
You introduc e new not ation: B( -) , d ef inin g B( n, r) = D( D-1 )( D-2 )(D -3) ... (D - r - 1 ). And you can writ e: C(n , r ) =
AB (n, r) . [ 7]
T hus, n-c omb ina tio ns ar e p r opo r ti onal to B-c omb ina tio ns.
You tu r n t o P er mut ati ons (a lso ra tios o f C ompressed Geom etr ic P r og r essions ). W ha t is th at t er m "A " in [7 ]?
A = [ 2T /r! D( D-1 )] . A nd 2T /r !D (D -1) = 2T /r !n (n -1) = T /r! T = 1/ r! = A .
n-1 n-1 n-1 n-1 n-1
No w, th e le ft side o f [ 7] is f am ilia r in com bin ato rics: r!C (n-r ) = P(n ,r) = n! /( n-r )!, f or p er muta tio ns.
T hus, t he n-c omb ina tio n eq uals t he B-p er mut ati on.
In para phr ase of ( transla ted ) P oi nca ré, t he ar t of m athem atics giv es t hr ee nam es to many " di f fer en t
th ings " by r ecogn izing pa tt er ns. I f s tude nts un der st and t his, t hey c an r ealiz e ho w to lea r n t he n ew from
consi der ed .
You kn ow th at W ikip edia bel ie ves t his w or d d eriv es f r om a m an 's na me by a misu nder stand ing. Al-
Khw ariz mi, P er sian astr on ome r an d ma th ema tic ian, wr ote a trea tise i n 82 5 AD , 'On Cal cul ati on wit h Hind u
Numer als'. It w as tr ansla ted i nt o La ti n in the 12t h ce ntu r y as ' Al gor itmi de n umero In do r um' , w hic h ti tle
was lik el y i nte nded to m ean 'A lgo rit mi o n th e nu mbe r s of t he I nd ians ', w her e 'A lgo rit mi' w as th e
tr ansl ator 's r en diti on o f th e au thor 's n ame; bu t pe ople misun der sta ndin g th e t itle tr eated ' Al gori tmi ' as a
La tin plural a nd t his le d to th e w or d ' al gor ithm ' ( Latin ' al gorism us' ) c omin g to me an ' ca lcul ation m eth od' ."
You kn ow th at, f or d if fer en t in ter pr eta tions o f th e t er m, you can consu lt W ik iped ia. " Al gor ithm
chaac ter iza tions ", a nd f or so me a lgo rith ms, "A lg ori thm e xam ples ".
You kn ow it may b e e nlig hten ing t o assoc ia te t he n oti on o f Alg ori thm wi th t he d ia gr am " flo wcha r t", o f
Orig in o f fl owchar t: I n be ginni ngs o f t he c omp ute r, the pr og r am was imp leme nted by a p lug boa r d, as used
at ta t tim e by t elep hine opera tor s. A nd d ata w as in put by ho les in pun che d, as us ed i n IB M c alcu la tor s.
Ma them tici an J ohn v on Neu man ( 19 03-5 7) an d en gine er Her man Go ldsti ne ( 19 13-2 004 ) crea ted t he i nte r na l
pr og r am for com pute r s, a gr ea t simp lica etio n. T o f acil ita te t he ir w or k, t hey de velop ed t he f lo wchar t in
194 5-7.
You kn ow th at th e fi r st alg orit hm k no wn to appear in E uropea n li ter atur e was "Eu clid 's A lgo rith m" (i n h is
"El emen ts o f Ge omet r y" ) for cal cul ati ng t he GCD o f t wo i nte ger s.
As f ol lo ws:
As a f lowchar t:
\====== =/
\ STAR T/
\ /
\_/
|d ivide |
|g r eater |
|n umb er by |
|sm alle r |
| /\
/ \ | AS GC D( a,b ) | _ ___ __
/ R E- \
^ \ ZER O / |
| \ / |
| \ / |
| \ / | | \ /
| . |
^ | V
| v |
| | |
| | DIV IS OR B Y I TS | |
| |
You kno W ho w to fi nd the facto rial fu nct ion N!= 1 ·2·2 ·... ·n:
\====== =/
\ STAR T/
\ /
\_/
|se lec t N |
|M=1=F |
_ _ | _ ___
| se t |
| |
/\
/ \
| \ / |
| \ / |
| \ / | | \ /
| . |
^ | V
| v |
| | |
| | | |
| | set | |
| |
kn ow i ts nam e de riv es f r om DEN SI TY FUNC TION o f n## w hi ch, P ROVI DING A CANONIC AL P AR TI TION
obse r ved a nd p r act ised, a nd is ever -pr esen t i n da il y l ife, is S YMME TR Y. W ik ipe dia e xpl ica tes t his as
"'p atter ned se lf -simil ari ty' t ha t c an b e de monstra te d or pr oved acc or di ng t o th e r ules o f a for mal
You kn ow th e p leasin g 1D symmet r y o f t he l ine se gme nt; the 2D symm etr y of t he c ir cle; t he 3 D
symmet r y o f the spher e; et c. S ymme tr y is obse r ved, dail y, i n l ids f or r ec ept ac les: r oun d, squ ar e,
even the less symme tric r ect angle. T his p r ope r ty f aci lit ates c losi ng t he r ecept ac le: y ou ne edn 't
r et ur n l id i n t he o rie nta tio n it cam e of f. Y ou kn ow t ha t, c on ver sel y and in ver sel y, you may d etec t
pil feri ng o f go odies f r om y ou r r ecept ac le by BR EAK ING TH E S YMM ET RY via se gment al m ar king on
lid coi ncid ing w ith se gmen tal m ar kin g on side o f r ec ept ac le , be lo w t he lid ma r kin g. I f, i n l ast usa ge ,
you le ft t he ma r kin gs coi ncid ent , bu t la te r fi nd th em n ot, y ou susp ect a ta mpe ring by some one .
(You remem ber t he use, say , i n a James B ond m ovie, o f a t hr ead a cr oss a d oor c losin g, t o d etec t
in tr uder entrance .)
You kn ow th at S PON TAN EOUS S YMM ET RY BR EAK ING h as, f or se veral y ear s, b een obj ect o f
assiduo us r esearc h i n P ar ti cle P hysics, to pr ovide cri tica l in for mation as to ho w our univ er se c ame
children: t hr owing r oc ks in to a pon d. T he S YMM ET RY o f t he w ate r sur fac e -- bec ause g r avi ty
ac tiva tes w ater t o a tt ain equ ile vel ("W ater seeks i ts o wn le vel. ") -- is BR OK EN by r ock entrance ,
You kn ow th at RANDOMNE SS r epr esents a n p ecul iar kin d o f S YMM ET RY -- no n ot able disti ncti on o f
one sect ion f r om an othe r. Y ou a lso k no w t ha t p leasi ng S YMME TR Y is an E ME RGENT o f S YMM ET RY-
BR EAK ING OF RANDOMNE SS -- e vid ence d in obse r va tions o f, pe rhaps, e ver y o ne, b ut si ng led o ut i n a
You kn ow th is is e xpli ca ted by a symme tri cal p r ocess, n ame d qu asi-symmet rica ll y, as "F u-T e- sa-te -
fu "
You kn ow th at th e g r ea t Cz ec h-Ame ric an m athem ati cian , Kar l Men ger , i n his b ook , W hat Is
Cal culus? , d escri bes three basic m athem ati cal m ode ls : FL UENT , TR EMB LAND , S AL IE NT.
FL UENT : mod els a st eady-st ate pr oc ess e it her u nc han ging or c ha ngi ng uni for ml y
o
TR EM BLANT : osci lla to r y
o
SA LI EN T ( fr om L atin, "sa ltus ", f or " ju mp ") : j umps f r om one sta te t o an oth er .
o
You kn ow th is insp ir ed " T he F uT eS atef u Hypot hesis: E ver y pr oc ess is a F ute Sa te fu p r ocess ",
mea ning it passes from o ne c ond itio n to ano ther : FL UENT ®T REM BLAN T ® SA LI ENT ®
You kn ow th at th e com posit e label, "fu tesa te fu " , uses t he fi r st c onson ant, fi r st v owel o f t he t hr ee
labels -- "fu " f or " flu ent ", "t e" f or "t r em blan t" , " sa" f or "s alie nt" . S in ce " fu" an d "t e" o ccu r in ini tia l
and fi nia l posi tio ns , th eir c onson ants are capit aliz ed in the ini tia l posi tion a nd lef t l ower -case t he
You kn ow th at most fol ks ha ve e xperi ence an " ever yday" Fu Tesa te fu p rocess : st ar ti ng a n
au tomo bile . Be for e " sta r tin g" , th e e ngin e is OFF in a stea dy-sta te , h ence , FL UENT (F u) ; t ur ning t he
ign iti on k ey a nd st eppi ng o n sta r ter evok es as TR EMB LANT ("Ug-u g-u g-ug ", mor e voca l an d
sustai ned i n pre vious g enera ti on c ar s) ; th e en gine "c atches" , go ing S AL IENT LY (Sa ) f r om OFF-st ate
to ON- st ate; a TR EMB LANT in " se ttli ng d own " ( also ver y n ot iceable i n ö lde r" car s); t hen t he eng ine
sett les do wn F LUEN TLY to the r evving fi xed f or en gine -idl ing.
You kn ow th at, i n his b ook , Meng er c ites as a m ath-e xampl e o f T REMB LANT , the "W ei er str ass
Fun cti on" , w hi ch is "co ntin uous e ver yw her e", b ut "d if fer en tia lble no where" .
You kn ow th at th is is, p oten tia ll y, a W IN-W IN S TRA TEGY. Y ou c lai m "A ll pr oc esses a r e F uT es ate fu ".
If th e pr ocesses you r au dito r s obse r ve f it th is claim, you W IN. If a ppar en tl y, fu r ther study sh ows
why a co mpon ents h as bee n o ver look ed, o r reasons w hy a c ompo nen t is e xclude d. A nd t his r esul ts
from q uer ying w hi ch, lik el y, y ou 'd n ever tho ugh t o f m aki ng -- a ga in W IN. He nce, WIN -WIN .
(You k no w th e FL UENT is typi call y CON TINUOUS o r " an alog ic" , w hil e th e SA LI EN T is
DI SCON TINUOUS or "d igi tal ". He nce, you 'v e sp ecul ated abou t th e " Sa Tefu tesa P r ocess".
Retur ning t o R osen, he t ak es, as exa mple , o f the symmet r y-from-rando mness, b lo wi ng o n a g r ass
You bl ow on a g r ass bl ade l yin g on you r to ngu e. T he wi nd f lo ws symmet rica ll y o n e ith er sid e o f t he
bla de -- a flu ent p r ocess: t he fi r st " Fu " o f " Fu Tes ate fu ". B ut " som eth ing " c an " ca use" an asymm et r y
of f low -- g rea ter on o ne si de t han the oth er - - i nvoki ng osc ill ati ons in th e fl ow : th e " Te" t r emb lan t
for ming th e seco nd sta ge o f t he " Fu Tes atef u" pr oc ess. T hen t his asymme tr y i nvok es a "j um p" and a
"r ag ged " t on e em its -- the salie nt, "sa ", for ming the thi r d a nd m edi al sta ge o f t he p r ocess. A ft er
goi ng t hr ou gh i ts own oscil la tion , or tr embla nt p hase ( th e " te " f or ming t he f our th stage o f the
pr oc ess), i t t hen sta bliliz es int o a " smo oth " t one : th e fi na l fl ue nt " fu" o f the pr oc ess.
Retur ning t o t he i mpo r tan ce o f spon tane ous symmet r y-breaki ng , you kn ow th at W ikip edia says: "In
physics, spo nta neous symm etr y br ea king o ccu r s w hen a sy st em t ha t is symme tri c with r espec t t o
some symm et r y gr oup [ Ch ap.2 2] goes i nto a vac uum st ate th at is n ot symme tri c. W hen th at
happens, the sy st em n o lo nger appear s t o b eha ve in a symme tri c ma nne r. I t is a p hen omen on t ha t
na tur all y o ccu r s in many si tua tio ns. .. .. A com mon e xam ple t o h elp exp lain this p hen omen on is a
bal l sit ting on t op o f a hil l. T his b all is in a co mple tel y symmet ric s ta te. H owever , i ts sta te is
unst able : th e sli ghtest pe r tur bing for ce will cause the bal l to r ol l do wn t he h ill i n som e pa r ti cula r
dir ecti on. A t t ha t po int , symmet r y h as bee n br ok en b ecause the dir ectio n in whic h th e ba ll r olled
has a fea ture th at dist ingu ishes it from a ll o the r directi ons. . ... T he St an dar d Model o f p ar ti cle
physics is a th eo r y of t hr ee of t he f our kn own f un dame ntal in ter ac tions [ om itt ing g ra vity ] an d th e
ele men tar y p ar tic les th at tak e par t i n th ese in ter ac tions. T hese p ar ti cles m ak e u p a ll visib le m atter
in t he univ er se. T he stand ar d m ode l is a gau ge t heo r y o f the ele ctr oweak a nd c hromodyn amics . ..
in to b eing and too k shape. " ( Fr om thro wing r oc ks in the water t o u niv er se -bui ldin g!)
TR AP PING TH E W IL D W ORD!
T his ma th tivity in tr od uces t eens t o uni moda l searc h m eth ods . F or e xamp le, y ou a r e assig ned t o
de ter mine the b oil ing p oin t o f h ydr oquin one , a c he mica l use ful in p hot og r aphy . Giv en th e typi cal
sensit ivity o f m ost i nstr ume nts, p ar ticul ar ly t hose a vail able in s cho ols, t his is o nl y measura ble in a
RANGE of m easur es, so th at the pr oc ess o f R EA CHING BO IL ING T EM PE RA TUR E AN D GOING BE YOND
r esemb les th e f ami liar "b ell cu r ve" used (i ncor rectl y! ) f or g r adi ng stu den ts. T he g r aph o f suc h a
5, 1 , 9 , 6 . T his samp le h as tw o mo des -- or tw o kin ds of " mos test" -- nam el y, 5, 7 , o ccu ring twice in
th e samp le, i n c ontr ast to o nce for th e ot her s. T ha t is, t his samp le is B IMO DAL ( no t UN IMOD AL ).
Consi der , o n t he o the r ha nd, t he 1 0-d ata samp le: 2, 1, 6, 8 , 4 , 6, 7, 4 , 5 , 6 . T hese are on e-ti mer s o r
tw o-ti mer s, e xcep t th at 6 is a three-t ime r. Hen ce, t his sa mple has j ust ONE MOD E ( on e "m ost est
Many measur ing p rocesses an d ot her types o f experi ment al proced ur es ar e UNIMOD AL.
Si nce RE SEA RCH CO ST S MONEY AND T AK ES T IM E AN D SOM ET IM ES S EVE RAL RE SEA RCH ER S, y ou
Of th ese, B IN AR Y S EAR CH is t he sim plest and , usua ll y, the chea pest t o car r y ou t. T his mathtivi ty
te ac hes th e pr ocedure o f B IN ARY S EAR CH ( a recur siv e pr oc ess , as disc ussed in Ch apte r T wenty-
One) ,
BIN ARY SEA RCH requires lab eq uipm ent : TEA CHE R; S TUDEN TS ; T WO-COL UMN DI CT ION ARY, of 10 00 +
pa ges.
One t een pi cks ou t a DE FIN ED WORD ("T he W ild W or d") ON A P AGE OF TH E D IC TI ON AR Y, sh owing
•
WOR D an d P AGE NUMBE R to te ac her. Also not ed is t he or di nal n umb er o f the wor d's p osit ion o n t he
Ano the r stud ent , ha ving b een giv en th e c losed D ict iona r y, g uesses the pa ge num ber , t hen the
•
or deri ng o f th e "w ild w or d" o n t he page.
BIN ARY SEA RCH E NABL ES T HE PER SON T O F IND TH IS W ORD E XA CT LY IN 15 GU ES SE S! H ow?
Le t's say t ha t t he D ict iona r y has 1017 p ages. Y ou n ote th at 1017 < 1 024 = 210 ( a bin ar y n umb er) .
T hen B IN ARY S EAR CH A LL OWS FIN DING T HE PAGE IN TEN GUE SS ES.
Ha vin g th e P age, t he g uesser c oun ts the DE FIN ED WOR DS on t he p age, and GUES SES I TS
A ty pica l di ctio nar y of t his desc rip tion has, a t most, 32 D EF IN ED W ORD S T o A PAGE . N ow, 32 = 25 .
pr oc edur e.
Taki ng t ha t 101 7 pa ge fi gure (t he pa ge num ber w oul d be kn own t o a ll t he st uden ts), and
appr oxim ating i t by the num ber 1024 = 2 10 , th e gu esser asks, " Is th e pa ge nu mber gr ea ter tha n
Si nce it was desig na ted abo ve as on page 849 , t he AN SW ER is "Y es." T hen t he P age Num ber is
be tw een 513 an d 102 4. O f t he 512 pa ges, ha lf o f th at is 256 , and 512 + 256 = 768 . Hence , GUE SS ER
(SE COND Guess ): " Is th e P age Numbe r g r ea te r th an 768 ?" AN SW ER : "Y es."
T he R ANGE is n ow 769-1 024 = 2 56 p ages. Ha lf o f 256 =128 . And 768 + 128 = 896 . Hence , GUE SS ER
(THI RD GU ES S) : " Is th e P age Numb er g r eate r t han 896 ?" AN SW ER : "N o."
(FOUR TH GUE SS ): " Is t he Page Nu mber gr ea ter tha n 832 ?" ANS WE R: " Yes. "
GUES SER (F IF TH GU ES S) : " Is th e P age Numb er g r eate r t han 864 ?"AN SW ER: "N o." T he R ANGE is no w
(SE VE NTH GU ES S) : " Is th e P age Numb er g r eate r t han 856 ?" AN SW ER : "N o."
(EI GHTH GUE SS ): " Is th e P age Numbe r g r ea te r th an 852 ?" AN SW ER : "N o."
GUES S): "Is t he P age Num ber g r eater t han 850 ?" ANS WE R: " No ."
GUES S): "Is t he P age Num ber g r eater t han 849 ?" ANS WE R: " No ." GUE SS ER :" T hen t he page n umbe r is
Ha vin g f ou nd t he P age Num ber , l et 's fi nd the DE FIN ED (W IL D) W ORD B Y TH E OR DIN AL IT Y OF ITS
is 16 . Hence , GUE SS ER (F IRS T GUES S): "Is t he o r di nali ty gr ea ter tha n 16 ? ÄN SW ER: "N o."
or dina lity g r eate r th an 4?" ANS WE R: " Yes. " R ANGE is 5-8 . Hal f is 2. A nd 4 + 2 = 6 . GUES SER (THI RD
RANGE is 5-6 . Hence , GUE SS ER (F OUR TH GUE SS ): " Is th e or dina lity g r eate r t han 5?" ANS WE R: " No ."
GUES SER : " T hen o r di nali ty is 5." ANS WE R: " YES ."
T his w as just for fu n. As not ed abo ve, t he same B IN ARY S EAR CH c ould det er mi ne the b oil ing p oin t
seque nce o f AN SW ER S: Y , Y, N, Y , N, Y, N, N, N, Y .
You RE PL ACE "Y " by on e; " N" by z er o, to f in d: 1,1,0 ,1,0 ,1,0 ,0,0 ,1 .
You INV ER T T HAT S EQUENC E, a nd o mi t co mmas t o fi nd : 100 0101 011 . A B IN AR Y NUMB ER!
= 849 . BIN ARY GUES SES T RAN SLA TE AS T HE NU MB ER S EAR CHE D FOR !
<F
"Tra pping T he W ild W or d" is a MA THT IV IT Y t ha t trains stu den ts for US ING BIN ARY SEA RCH T O
US EFUL A PPL ICA TI ON: A commi tte e mus t c hoose ON E am ong m any P ROPOS AL S o r RE SUM ÉS o r
SM ALL ER S ET, S EPARA TE OUT TH E W ORS T HALF AN D RE JE CT. Et c. CONT INUING IN TH IS WA Y, a SET
OF RE AS ON ABLE S IZE C AN BE RE ACHE D SO THA T E ACH RE MAIN ING ONE C AN BE C ARE FULL Y
CONS ID ER ED .
You kn ow th at BIN AR Y NUMERA TION (while used by com pute r s is n ot " MODE RN", no t pa r t o f " T he
New Ma th" . A ctua ll y, BIN ARY COMPU TATION ( bU T NO T BIN ARY NUMERA TION ) is ANC IE NT !
BIN ARY COMPU TATION is men tion ed i n T he B ible . For mem ber s o f th e T ri bes o f Isr ael l ear ned i t i n
T he t er m " me di ati on" me ans " to com e be tw een "; i n c ompu ta tion , " to halv e a n umbe r" . An d
T he A LGORI THM OF M ED IA TION AND DU PLA TI ON was used t o MUL TI PLY T WO NUMBER S - - d if fi cult to
You dup la te on d (d ou blin g it ) while medi ati ng on m (h alvi ng i t) , u ntil the med ia tion pr oc ess
1.
r ea ches o ne ( "th e bo tto m" ).
(You n ote th e ANT IT ONIC for m o f t his P ROCE SS : as one ORDE RING - - DU PLA TION -- IN CRE AS ES, th e
ot her COOR DIN ATED ORDE RING - - M ED IA TION DE CR EA SE S. O f c our se , any c alc ula tio n or or der ed
sy st em is Anti toni c .)
Le t's st ar t with 85 x 2 6, wr itin g th e produc t in this w ay b eca use it shor tens t he p r ocess t o ME DIA TE
ON T HE SM ALL ER ONE ( if o ne b e sma ller ). T he process lo oks lik e th is, UNDE RLING DU PLA TE S
AS SOC IATE D W IT H ODD M ED IA TES :
85, 26 - > 170 , 13 - > 340 , 6 - > 680 , 3 -> 1360 , 1. F INI SH ED .
Adding the UNDER LIN ED DU PLA TE S, w e f in d: 170 + 6 80 + 1 360 = 2 110 . T hen 85 x 2 6 = 2 110 . (C he ck
T he geome tri c pa tt er ns o f pol yhe dr a ar e explai ned by the fol lo wi ng r esu lt, i n t he b e gi nngs o f
Top olog y.
As a pol yhedr on co nside r th e te tr ahe dr on . It h as four v er tices ( V), six e dges ( E), f ou r f aces ( F). And
Ex plo rin g fu r ther , sp lit a f ace wi th a new e dge , ca using o ne f ac e to bec ome t wo. N ow w e h ave 4 - 7
+ 5=2 .
T his is n ot c oinc iden ce b ut a dem onstra tio n o f the Su rf ace Eu ler char ac terist ic : x = V - E + F , a nd
th e be ginn ing o f a proo f o f th e in varia nce o f t he E ul er c haracte risti c . T his result is kn own as
Eu le r's f or mula, as il lustr ated in W ik iped ia. T he se vent een w alpaper g r oups ar e also sh own in
W ikip edia .
Ev en m or e a mazin g th an I sla mic d isco ver y of t hese g r ou ps is th e f ol lo wing stor y, whic h a ppear ed
onl ine.
Medi eval I slam ic d esigne r s used e labor ate g eom etri cal t il ing p atter ns at le ast 5 00 y ear s b ef or e
West er n m athem aticia ns de velope d th e co ncep t. P hysic ist P ete r L u o f Ha r var d Univ er sity sigh ted
15 th-c entu r y t iles t ha tf or med so -cal led P enr ose g eom etri c pa tt er ns, cr eate d by m athem ati cian
You Web-l ear n tha t the Gr eek pr efix "i atr o-" mean s " se lf" .
You can expla in, "You ha ve a mea sur ement of the gas
pr es sur e and of the gas volume . To get thei r ratio , you D IVID E
TH E PR ESS URE MEAS UR EME NT BY T HE VOL UM E
ME ASU REM EN T. W hen you hear 'r atio ', th ink ' di vide' !"
In BNF :
<rati o-of -pr es sur e-to- vol ume >: @ <pr es sur e>/< volume >.
And you r ea li ze it is the princ ipal cau se of the " lear ning-
cycle s" w e go thr ough , betw een e xtr eme s su ch a s "T he Ne w
Ma th " and "Ba ck to Ba si cs ".
You may f ind, in educa tiona l liter atur e, many ar tic le s and
pa pe rs c la im ii ng t ha t "a sign ificant number of elementar y
sc hool chil dr en" h ave lear ned SU BT RA CTIO N by "the tak e-
aw ay method" ; but a ls o o ther ar tic le s and pa per s cla im ing
tha t "a sign ifi cant number " h ave lear ned fr om " T he Aust rian
Method" ; e tc.
You Web-l ear n an account of a v olunte r tuto r a t Y or kvi lle
Sett lement Hou se in N ew Yor k Cit y who used s ix dif fer ent
method s f or tea ching fr action s, dec imal number s,
per cent age s to 6 dif fer ent s tudent s. After eac h m as ter ed
these subjec ts , eac h taught the other s "the way he lear ned" .
T he onl ine Mer riam -W ebster Di ct ionar y define s "1 a; the act
of being con str ained by the st ate of be ing c hec ked,
res tr ained, or compe lled to avoid or per for m so me act ion ; b : a
constr aining restr icti on, agenc y, or for ce. 2 a : repr es si on of
one's o wn feel ing s, beha vi our , fr om a sense of con str aint .
EM BARR ASSM EN T."
You sug ge st th at, bef or e the age of fi ve, a chil d kno ws the
g ramm ati cal dif fer ence betw een "B il l y hit Mar y! " and " Mar y
hi t B ill y,": evidence the chi ld imp lic it l y the dif fer ence
betw een sub ject and ob ject i n a sentence w ith a tr ans it iv e
verb , su ch a s "hi t" .
You can under stand tha t the link betw een our alpha r oot s,
flo wering in to g rammar and numer ic roots can be e xpl ica ted
by a flo wchar t (a dia g ram de scibed in C ha p. 5).
[SE NT EN CE]
/\
/ \
/ \
/ \
/ \
/ \
/ \
[S UB JECT] [P REDI CA TE]
/\ /\
/ \ / \
/ \ / \
/ \ / \
[A RTICL E] [NO UN PH RA SE][VE RB PH RA SE]
[O BJEC T P HR AS E]
| /\ /\ /\
| / \ / \ / \
| / \ [AD VER B] [ VER B] / \
| / \ | | / \
| [ADJ ECTI VE] [N OUN ] | | [ AR TICLE]
[N OU N]
| | | | | | |
| | | | | | |
| | | | | | |
THE SPO TTE D DO G LOUDLY YE LPED
A GRE ETI NG
Do you s ee ho w th is become s a F LOWCHAR T FO R C HIL DRE N
TO TEA CH H OW T O HOP OUT A SE NTE NC E?
A FINIT E S TATE AUT OMA TON (a.k .a. FS A, a.k.a . CO MPL ETE
SE QU EN TIAL MA CHIN E) con si sts of :
You Web-l ear n tha t the Amer ican lingu is t, John J.Mc Car thy , in
hi s book, "Opt ima li ty i n Phonolog y" (onli ne i n Gogle Book s),
pr ovides two f or mu la tions of Pan ini 's T heor em.
"Panin ian Rela tion . Let S, G be tw o con str aint s as s pec ific to
gener al i n in a PR if, f or an y input i to whic h S a pp lie s
non vacou sl y, an y par se of whic h S f ail s G .
Pan ini 's T heor em : Given above. S uppose thes e con str aint s
ar e par t of a hier ar chy CH on so me input i . If G >> S, then S i s
not act iv e in i ."
T his not ati on ha s become kno wn as " Pol is h not ati on".
Read ing left to ri ght, it place s oper ator s bef or e oper ands ,
wi thout par enthe ses , yet the or dering can be par sed w ithout
ambi guit y.
+ - 10 , 3 , 2
Si nce the sub tr action oper ator ( "-") is near est the oper ands
and since it is a binar y oper ation (scop ing t wo oper ands), the
oper ation of 10 - 3 = 7 is perf or med and pr ovides one oper and
(7) r equ ir ed by t he rema ini ng binar y oper ation of ad diti on
("+") , s o the oper ation is erf or med 7 + 2 = 9. (Yes, i t does tak e
longer to explain it, than to perf or m it -- for the f ir st t ine . But
I'l l sho w you belo w tha t you may a lr ead y kno w - - by usa ge --
but m ay not kno w you kn ow "R ever se Pol is h notaion" , tha t is,
"s uf fix P oli sh nota tion" .)
But the intended pr oblem wou ld be w rit ten in P oli sh nota tion
as
- + 3, 2 , 10
so th at the ad dit ion wou ld be fir st perf or med on t he near est
oper an ds a s 4 + 2 = 5, pr ovid ing one of the tw o oper ands
scoped by the su btr action oper ation , yie ldi ng 10 - 5 = 5 .
Do you not ice tha t th is r ever ses wha t was perf or med abo ve i n
Pol is h not ati on?
You real iz e th is mus t be cons tr ained a clo sur e r ule : Noth ing i s
a t-wf f unle ss it i s constr ained by r ul es 1-4.
You kn ow tha t the constr aining r ules g iv en for t-l ogic can be
eas il y demon str ated for modus ponent s (a .k.a . va li di ty of
as ser ting the pr ecedent ), the mos t famous of log ical pr oof
r ules .
Pr oceeding :
QE D,
You real iz e G as king meant tha t, if phy sic s does not a g ree
wi th r ea li ty, phy sic s is cor rected. Bu t, if mathema tic s does
not a g ree wi th real ity , one ma the ma tical for mal is m is
exchanged for another one.
You see tha t sol ution of th is pr oblem requir es onl y A DDI TIO N,
SU BT RA CTI ON , MUL TIPLI CA TIO N, DIVISI ON , all s ubj ects
in tr oduce d by FIFT H G RAD E s tud ies !
You kn ow tha t, since the cor rect ans wer is 192 MPH , the
RELA TIVE ER ROR com mi tted i s (250 - 192)/192% -
(58/192)% , a lit tle over 30% r ela tiv e er ror.
T hen ,
You kno w th at the dif fer ence her e is Topolog ical : math
and g rammar mus t, eac h, be con str ained by i nner
con si sten cy s o one for mal is m ma y face r evi si on b y being
ran ked b y another f or ma li sm , yet rema in as a constr aint
(wi thin the Boundar y) . But sc ience mus t be con str ained
by an exter nal cons is tenc y, s ubj ect to "r evi si on b y
excis ion" .
You weblear n the s imil ari ty of "s tr ate gy" to the L atin ter
"s tr atu s" (f or "g round") sug gest s the def ini tion for mi lit ari st s,
"Str ate gy is m eeting the enemy on g round s of one 's
choos ing ", and the defin it ion for nonmi li tar is ts , "Str ate gy is
deal ing w ith a pr oblem under condit ions of one 's
competenc y."
You real iz e th at, w hen a teac her does not mot iv ate a student
to l ear n a K no wable in a way favor ing her /hi s experience , the
teac her is, unintent iona ll y, den ying Str ate gy to the s tudent .
You lear n, fr om other act ions cited i n thi s book , the mean ing
of a WIN -WI N ST RA TE GY. If other s ag ree, you WI N. B ut i f
so me one sug ge sts a cor rect ion or emenda tion , you WI N al so ,
because your pur pose is T O LEA RN .
• you b ypa ss i t
• by tr an sf or ming it i nto a s imi lar pr ob lem whic h you kno w
ho w to so lv e;
• so lv e the tr ans for med pr oblem ;
• TH EN tr an sf or m the ans wer bac k i nto ter ms su ita ble f or
the or ig inal pr ob lem.
You kn ow tha t you lear n ther e t ha t bypa ss ing i s not tr ivi aal .
T ha t, as noted by Me lz ak, it is, under the la be l " conjugac y" ,
the pr imar y al gori thm f or s ol ving pr oble ms i n quantum t heor y ,
lead ing t o the tr ans isto r, the la se r, and other device s.
STRATEGY
/\
/ \
/ \
/ \
ALGORITHM/________\PROSTHESIS
You real iz e th is evok es an agenda for resear ch: examine the
ri ch ma the ma tical stor e of Al gori thm s (W ikiped ia exten si vel y
list s algor ith ms) to see if an y A lgo rit m s ug ges ts a Str ate gy or
Pr os thetc; examine Str ate gies to se e i f one sug ge sts a
Pr os thetic . You real iz e th is yie lds not onl y car e for the
Di sa bled but als o oppor tun iti es to contri bute to Civi liz ation.
CH AP TER EL EVE N: T HE " EPIST EMO LOGY-GA ME " (W HA T ARE
CONC RETI ON S? AB STRA CTIO NS ? ILLA TIO NS ?)
YoU kno w t ha t Cha p. F our explic ated M etalangua ge w ith thr ee
Subs yste ms : On tolog y, Ep is temo log y, and Ax iol og y.
You kn ow tha t thr ee i mpor tant s ubs yst ems of Epi ste molog y
(s tudy of wha t one can kno w) ar e Concr et ions , Ab str act ions ,
and Ill ati ons .
But thi s a li ena tes non sci enti st s (puts the m out si de a
Boundar y), whi ch ma y explai n the accepted pub lic ig nor an ce
of sc ience and te chnolog y tha t C ar l Sa gan deplor ed in the
quota tion c ited in Cha pter One .
T he bes t Log ical method of pr oof , modu s ponens (La tin: mode
of af fir ming -- a.k .a. l aw of detac hment, ass er ti on of
pr ecedent, af fi r ma tion of antecedent) ha s t he for m: ((P ->Q) &
P) - > Q. It is, by t r uth ta bles , equ iva lent to P&Q - > Q. In
gener al, equ iva lent to (S1&S2&. .. &Sn)-> Sn .
T he "team of Log ic and Ass erbi lit y" cor rectl y des cribe
sc ient ific change , w hil e putt ing nonsc ienti st s in " the s tand s"
to w atc h sc ient is ts p lay t heir par t in " the Ep is temo log y
Ga me".
One su ch guide was by, not PR OBABILIY , but "e xpecta tion".
Expla ined as follo ws. Suppose in a "f air lo tter y", 1000 t ic ket s
ar e sol d. Fair ne ss i mp li es th at eac h t ic ket ha s 1/1000 th
pr ob abil it y of be ing the wi nning ti cket . Suppo se t he Pri ze is
$500 . T hen the expecta tion equa ls v al ue t ime s pr oba bil it y , or
$500/1000 = 50 cent s. (T o accr ue an y mone y, the ti cket pr ice
mus t be g reater than th at expecta tion ).
W hat' s the par ado x? Well , RA ND OMN ESS DOE S N OT R ULE OUT
AN "E NDLE SS" RUN OF H EA DS . So , TH E EX PEC TATI ON O F TH E
GA ME IS INFI NITE . Ho wever, v as tl y mor e people ask ed wou ld
tak e the second cho ice. Dec idi ng again st the g rea te r
exp ecta tion .
From the verb "a mpl ify " deri ves the su bs tanti ve, "a mpl ia ti ve",
jar gon i n the ph ilo soph ical theor y of log ic .
· "A mpl ia ti ve" : A gi ven rea soning pr oces s can i ncr ease the
kn owledge a lr eady po sse ssed .
· But thi s i s be lie ved to be i mpo ssi ble in STAND AR D LOGI C ,
whic h REVE ALS "O NLY W HAT IS THE RE" . STAN DARD L OGIC is
al so MO NO TONI C - - R EM AINI NG T HE SAME OR IN CRE ASI NG
ONLY WHE N NE W TR UTH S AR E A DJ OIN ED -- fr om outs ide .
ONLY A NONM ONO TON IC ME ASU RE WHIC H IN CRE ASE S A ND
DE CRE ASE S C AN GUID E U S IN DECISI ON S. Log ician s sa y tha t
su ch a COR RE CTIVE is i mpo ss ible .
Ho wever, CIVILIZA TI ON D ERI VES FR OM AT LE AST TW O
AM PLIA TIVE PR OCE SSES :
((A → B) & A) → B.
T he tautolog ica l n atur e of M P can be ea si l y DEM ON ST RA TE D
in two d if fer ent ways .
0 0 1 0 1
0 1 1 0 1
1 0 0 1 1
1 1 1 1 1
o T he total it y of " 1's " in the la st SUB TABLE reveal s the
TAUT OL OG IC AL na tur e of M P: IT CA NNO T B E
FALSIFIE D.
o T he second way to pr ove M P u ses t hese CL UES : A → B
is EQ UIV AL EN T T O "B INCL UDES A" ; and s ayi ng " A is
TR UE" is EQU IV AL EN T T O "A IS NO T EM PTY, a s
FALSIT Y WOU LD BE ". If y ou dr aw a CIR CLE (or
rectang le) f or " A" , putti ng it in si de t he CIR CLE
(r ectan gle) for "B" , then a point (or as teri sk) in
CIR CLE (r ectang le) A is NE CE SSA RIL Y i n CIR CL E
(r ectan gle) B -- a s sim ple and ob viou s as tha t.
o
_________________________________________________B
o |
|
o |
|
o |
__________________________________A |
o | |
| |
o | |
| |
o | | *
| |
o | |
________________________________| |
o |
|
|
_______________________________________________|
3
2
_
5
A → B
A
______
B
((A → B) & A) → B.
No w, M P P ROVI DES THE FO RMA T F OR FAC (FALLA CY
OF ASSE RTI NG THE CON SE QU EN T) , fr om whic h
deri ves A SSE RBILITY .
0 0 1 0 1
0 1 1 1 1
0 0 0 0 1
1 1 1 1 1
H ⊃ P : Hypothese s H i mp li es pr ed iction P.
(. .. ) & P: Pr edict ion P is CON FIRME D.
((. ..) &P )⊃ H: T his i mp li es th at H is (po ss ibl y)
TR UE.
H
(((H ->
-> ((H ->
(P1&P2))&
H P1 P2 (P1&P2) (P1 (P1&P2))&
(P1&P2)) ->
& (P1&P2)
H
P2)
0 0 0 0 1 0 1
0 0 1 0 1 0 1
0 1 0 0 1 0 1
0 1 1 1 1 1 0
1 0 0 0 0 0 1
1 0 1 0 1 0 1
1 1 0 0 1 0 1
1 1 1 1 1 1 1
It ha s the T ABLE :
(((H-
H- ((H-
H P1 P2 (P1&P2 >(P1&P2))&(P1&P2))-
>(P1&P2) >(P1&P2))&(P1&P2)
>H
0 0 0 0 1 0 1
0 0 1 0 1 0 1
0 1 0 0 1 0 1
0 1 1 1 1 1 0
1 0 0 0 0 0 1
1 0 1 0 1 0 1
1 1 0 0 1 0 1
1 1 1 1 1 1 1
TH EO RE M T HR EE (O CK AM -RA ZO R- TH EO RE M):
A(O (i , j)) > A (O( i + 1 , j) .
j
) - (1-1/2 j + 1/2 i+j+1 ) = (1/2 i+j )-(1/2 i+j+1 ) = (2 -
1)/2 i+j+1 =1 /2 i+j+k+1 > 0, for all i,j >=1 .
TH EO RE M F OU R (T ORTOISE& HAR E-
TH EO RE M): A(O (i + k, j + 1) > ( O(i ,j )) .
A(O(1, 3)) -
A(O(20, 3)) > 1/16,
Two o r mor e per son s compete i n "C ir c" , eac h ar med w ith
a cop y of the sa me standar d d ict ionar y, under the
super vi sion of a "r ef er ee" . T he ref er ee choo ses a defined
wor d i n the d ict ionar y th at i s defined onl y i n ter ms of
se ver al synony ms . At " Go ", the contes tants be gin . E ac h
choos es to look up one of the synon ym s, whic h is ther ein
defined in ter ms of s ever al synon ym s, one of w hic h (w hen
look ed up) is defined in ter ms of se ver al s ynony ms , one
of whi ch (w hen l ook ed up) i s ... . T he f ir st per son to retur n
to t he or igi nal l y ass igned wor d c rie s out " Ci rc! " (f or
"goi ng in a cir cle") and the game end s.
Ca jal 's i ma gina tion w as fir ed by the idea tha t the ner vou s
syste m i s made up of bil li ons of separ ate ner ve cel ls .
Ca jal 's w or k le d to the con clus ion tha t the bas ic unit s of
the ner vous syst em wer e repr esented by indi vi dual
cel lul ar e lement s (w hic h Walde yer c hri stened as
"neur ons " i n 1891). T his conc lu si on i s the moder n ba sic
princ ip le of the or gani za tion of the ner vous system .
GOL GI di sco ver ed the too l used by C aja l in his s tud ies
and pr ovided outs tanding contribut ion s in man y fie lds of
cel l bio log y and of pa tho log y, and im por tant contribut ion s
al so on the st r uctur e of the ner vou s s ystem (s uc h, f or
example , the de scrip tion of br anc he s g iv en of f b y the
ax on, of d if fer ent t ype s of neur ons , of glial ce ll s) .
In human s, br ain act iv ity con si st ent w ith mir ror neur ons
has been f ound in the pr emotor cor te x and the in ferio r
parie tal cor te x .
Com mon cod ing c la im s tha t per ception and act ion contr ol
shar e repr esent ation s. An idea in it ia ted byA mer ican
ps ychol ogi st W ill ia m J ame s. A mer ican neur ophy siol ogi st
and Nobel pr iz e w inner Roger S per r y. Sper r y sa ys the
per ception–act ion c ycle is the bas ic function of the
ner vous s ystem .
T hen the pr agma tic for mat can explain in S tandar d ter ms.
Al so, " Intger s" could be renamed "Nt g r s" w ith pr a gm atic
explainer for other s.
And "R eal Number s" r enamed "R l Number s" w ith
pr a gm atic expla iner f or other s.
T ha t W est ans wer ed, "I fel t I had t o. H istori ans ar e s uc h liar s,
you kno w!"
ALP HA ROOTS
You sa y childr en sh ould be s ho wn a char t of the st ages fr om
cr ude dr awing s to an alpha bet, and kee p it po sted on wal l
during al l ses sion s.
You kn ow tha t hi sto rian s usua ll y us e the ter m "the indus tria l
revolut ion to de scr ibe the impr ovement , cir ca 1776, of the
st eam engine , f or pump ing water fr om m ine s, b y Jame s Watt
(1736-1819). You kn ow thi s should be cal led " the
ther mod ynam ic i ndus tr ial revolution ", for ther e was at lea st
one indus tria l revolut ion bef or e th is , and se ver al afte r,
in vol vi ng other div isi ons of ph ys ics .
You kn ow thei r s our ces contr adict the hi stor y they w rite . You
kn ow tha t even s ci enti fic hi sto rian s cr edit Is aac Newton
(1642-1727) with the r ot ati onal equa tions of m ec han ics . Yet ,
as you kno w, reco r ds s ho w the se equa ti ons didn't appear
unti l decades after New ton's dea th, in the wor ks of Sw is s
Leonha r d E uler (1707-83) , one of the fi ve or six g rea te st
ma thema tici ans of a ll t ime s, and the mo st pr ol ific
ma thema tici an in h is tor y.
You kn ow, but hi sto rian s often fail to empha si ze, tha t Eu ler
founded two v ast fie ld s of ma thema tics : topo log y (w hic h
inc ludes geometr y a s a s pec ial ca se) and combin ator ics , the
ma th beh ind the repr esenta tion of our republ ic , and the
choi ces of our commer cial ma r kets . You kno w tha t, not onl y
ar e Ameri cans ig nor ant of Leonar d Eu ler , but neither do t hey
kn ow of the g rea t contr ibuti ons of S wi ss ma thema tici ans in
the 17th and 18th centuri es : Jacob Ber nou ll i (1664-17- 6) and
Joh anne s B er noul li (1667 -1748), whose ma the ma tics f ounded
"v ari ational anal ys is" , w hic h ac hie ved mor e in phy sic s than
the N ewton ian m ethodolog y. Dan ie l B er noul li (1700-1782), son
of Johann es, taught tha t hea t i s t he mo tion of mo lecule s ; and
hi s Ber nou ll i Pr inci ple explai ns flight of a ir cr aft.
You kn ow tha t, in the popular 1949 fil m, " T he T hir d Man" , the
char acter H ar r y Lyme (pla yed by O r son Well s) sneer s at Sw is s
hi stor y as one of "cuc koo cloc ks" .
You kn ow tha t, when mi litar y med ical author it ies , pos t W WII,
planned for hosp ita l un it s as clo se to t he "fr ont " a s pos si ble ,
they u sed S chw ei tz er 's m odel .
You found on line an octe ri ck a bout the ne glect or ignor ance
(or l ies ?) of his tori ans :
You may kno w th at Amer ican ma the ma tit ion, Norber t WIE NE R
(1894-1954), in h is book , Cyber net ic s (1948 ) , de scibe s the
Dant itone i n di scu ss ing CLIM BIN G UP O R D OWN STAIR S. T hat
in climb ing, T HE M AXT ON E IS T HE S ET OF RI SERS UPS TAI RS ;
TH E MINT ON E IS TH E D IST AN CE F ROM TH E T OP. (In
descend ing, the role s ar e rever sed .) Y ou r ea li ze tha t eac h
RISE R CO RR ESP ON DS TO A UNIT DIS TANC E FR OM TH E TOP.
Ob viou sl y, the N UMB ER OF RI SER S O F TH E S TAIRS IS
BO UND ED , s o THI S I ND UC ES TH E NUM BER OF D EC RE ASES .
difficult/impossible/desired task
------------------------->
transform: | ^transform back
possible | |to terms of
or easy or | |original task
desired | |
task| |
V------------------------>
perform task
You real iz e ho w N ONTRI VIAL th is ST RA TE GY by W EB lear ning
tha t, in MATH EMA TIC S, IT DE TERMI NE S T HE EI GE NV AL UE S O F
A MA TRIX OR M UL TIVE CT OR. T ha t, i n Phy sic s, IT IS THE
PRI NCIP AL T OO L O F QUANT UM MATH FO R FIN DIN G TH E
STABL E S TATES OR RA DIA TI ON STATES OF FU ND AM EN TAL
PARTICL ES.
Doe s con juga tion r ela te anti tone and bypa ss ? T he str ate gy
kn own as "T he C onjuga cy Pr inc iple ", or the ma the ma tical
oper ation kno wn as con juga tion , is the pr imar y eval ua tor of
exp er iment s in quant ic theor y. Perh aps be gan in group theor y
(Cha p.22) wher e conjugac y appl ies to sub g roups .
ded-1 = f
If the resu lt , f is als o i n the g roup , then e,f ar e s ai d to be
mutua l con juga te s . As an equi val ence rela tion (w ith
pr oper tie s of ref le xiv it y, sym metr y, tr an si ti vit y ), con jugac y
par ti tion s a g roup i nto equi val ence cla ss es .
f
------------------------->
| ^
| |
e| |ded
| |
| |
V------------------------>
de
T he Pr incip le of Co mjugac y appl ies i n dif fer ent f or ms i n
dif fer ent f iel ds and as "b ypas s" (the name and not ion of
Canad ian mathema tic ian, Z . A. Mel zak) pr ovide s perha ps the
mos t powerful mean s we ha ve for inventi on and in for ma tion
resear ch.
• extensi vel y desc ribe by pas se s in the tool -mak ing and
sur viv al tact ic s of ani mal s and hom in ids ;
• use HOMO LOGY to TRA NSF ORM THE SE EXT RIN SIC
BY PAS SES INT O IN TERI OR BY PASSES ;
• sho w ho w thi s pr oce ss de velops it s the pur est f or m in
LOGI CO -M ATH EMA TI CS;
• find homol ogie s betw een non-s ci entif ic bypa ss es and
sc ient ific one s.
Another "c la ss ic" By pas s is i n the anc ient " Came l Pr oble m" .
T he str anger adjo ined hi s camel to the col lect ion, mak ing i t
18 came ls . T hen, the str anger appor tioned 9 (= 1/2(18))
camel s to the e lde st son ; 6 (= 1/3(18)) came ls to the 2nd son;
2 (= 1/9(18)) came ls to the youngest son. H avi ng s ol ved the
pr oblem and a ssua ged the ir ar gument, the s tr anger mounted
hi s own came l and rode aw ay.
After Wor ld War II, Be r lin was an "i sland" sur rounded b y the
So viet -domi na ted Eas t G er many , and Be r lin was also
par ti tioned in to W est and Ea st Be r lin . In 1948 , the So viet s
tr ied to for ce A mer ican, B ri ti sh and F renc h for ces out of
Be r lin by bloc kading la nd route s t o the se ctor s eac h of thes e
po wer s occupied . T hi s Ber lin Blo ckade was thw ar ted (unti l it s
aban donment in Sept ., 1949) by a mas siv e a ir litt of f ood , fuel ,
and other su ppl ies needed by Be r liner s. T he succes s of th is
ai r lift , wi th a limi ted number of a ir cr aft, was pr imar il y due to
car eful plann ing u si ng a ma thema tical too l, linear
pr og ramm ing , finding so lut ion s t o i ts pr oblem s by mean s of a
sim ple x a lgor ithm de veloped by an Amer ican ma the ma tician ,
Geor ge D antz ig .
After the succe ss of Dant zig 's wor k became kno wn to the
ma thema tical w or ld and so me of the gene ral pub lic , it
became kno wn th at a So vi et m athem ati cian , Leonid
Kantor ovi ch (1912 -86), had ea r lier obtained thes e r esul ts . Bu t
Kanto ri vi ch's math w as ignor ed , after being cr it ici zed ,
because it s eemed in confl ict wi th Marxi st dogma .
x2 + (b/a)x + c/a = 0
------------------------->
literals | ^result:
in term| |x2
"c/a"| |+ (b/a)x =
| |- c/a (2)
| |
V------------------------>
subtract "c/a" from both sides
Need linear equa tion fr om quadr atic. star t with model of
perf ect squar e for m.
(x + k)2 = x2 + 2kx + k2 = 0
-----------------------
linear| ^transform (1) to
term | |(x+b/2a)2 +
is | |(b/a)x +
"k"| |b2/4a2
| |= 0 (3)
V------------------------>
"2k" matches "b/a" in (2)
(3) dif fer s fr om (2) b y ext ra ter m. Star t wi th (2) and ad jus t to
(3),
(x+b/2a)2+(b/a)x+b2/4a2=0
-----------------------
extra| ^(x + b/2a)2=
term is| |b2/4a2
"(b/2a)2"| |- c/a (4)
| |
| |
V--------------------->
add term
Left-s ide of (4) is squar e-r oota ble , but r ight -s ide need s
common denomin ator . S tar t wi th (4) and adju st .
(x+b/2a)2+(b/a)x+b2/4a2=0
-----------------------
least| ^(x + b/2a)2=
common| |(b2-4ac)/4a2
deniminator| |(5)
is| |
2
"4a "| |
V--------------------->
convert to common denominator
Can obtain a l inear for m by tak ing squar e root of both sides .
Star t with (5) and ad jus t.
(x + b/2a)2=(b2-4ac)/4a2
-----------------------
becomes| ^x + b/2a
linear| |= ±(√b2-4ac)/2a
by| |(6)
square-| |
rooting| |
V--------------------->
perform square-root
Want quadr atic f or mu la on ri ght=s ide .
x + b/2a = ±(√b2-4ac)/2a
-----------------------
trans- | ^x = - b/2a
form | |±(√b2-4ac)/2a
| |standard form
| |(7)
| |
V--------------------->
subract b/2a from both sides
T hu s, gener al quadr ati c equa tion con ver ted t o quadr atic
for ma la by se ven B YPASSE S.
You unde rstand the se BY GRA MS: B ypas s Di ag ram s;
Humanizing Hominid
--------------------->
Hominid| Z. A. Melzak ^Hominid
develops| says "Hominid |becomes
external| may have become |Human
Bypasses| human by interior-|thru
(such as| izing bypassing" |Bypassing
some of | |
those | |
below) | |
V-------------------->
Interiorizes Bypassing
_________________________________________________________________
____________
How to GLIDE along
--------------------->
From | ^Restore
upright| |stable
stable| BIPEDAL |position
position| WALKING |on outstretched
fall | |leg
forward| |
V-------------------->
extend (say) left leg
(digitized gliding)
_________________________________________________________________
____________
AMANBY" AM(PLIFY)AN(TITONE)BY(PASS).
CH AP TER FIT HTE EN : WH AT IS A MA CHIN E? A N EL ECT RINE ? A
LOGIN E?
You kn ow tha t, r e gar ding a "co mputing ma chine" , you' ve
hear d people sa y, "I don 't s ee ho w a mac hine can do th at. "
And you r ea li ze a mer e m ac hi ne can't do our comput ing .
You kn ow you can thi nk of the "left point " a s the P OS ITIO N
OF A PAR TICLE (or auto mobi le) a t " the be ginn ing of
meas ur ement" ; and the "r ight point " a s PO SITIO N AT A LATER
TIME . T he DIS TANC E T RA VER SED DURI NG t he TIM E I NTE RVAL
(LEN GT H DI VIDED BY TIME) IS T HE A VE RA GE SPEE D O F
PARTICL E (car) . B ut TH E I NS TANT ANE OU S SP EED IS DE SIRE D.
You kn ow TH AT IS R EP RESE NT ED BY T HE " KIS SIN G POI NT ".
• DE NO TE INITI AL POSITI ON A S x 1 ;
• TE RMIN AL PO IN T A S x 2 ;
• TH E DIS TANC E I NTE RVAL AS ∆x = x 2 - x 1 ;
• sim ila r l y, THE TIME INTE RVAL A S ∆t = t 2 - t 1 ;
• the R ATI O A S ∆x/∆t = (x 2 - x 1 )/(t 2 - t 1 ).
An y "nor ma l" teen- ager can under stand the st rate gy of the
dif fer ent ial calcu lus and the s tr ate gy of the in te g ral calcu lus .
But the har d par t i s lear ning al l the deta il s of the tact ic s of
eac h s ub ject so the se can be ca lcul ated i n appli ca tions to
so lv e u seful pr oble ms .
sYou kno w t ha t, i n the 1960 's , the " mu lti se t" concept
de veloped as a hybr id , ma pp ing s et elements i nto in te ger s.
But the o-s et nonh ybrid l y extends the st anda r d for ma li sm .
You kn ow tha t the moti vation f or m ult iset s was the need , in
computer pr og ramm ing, to sym bol ise mul tip le tok ens of an
oper ation or oper an d, T hi s is de scr ibed on pp . 411 -12 of T he
Ar t of C omputer Pr og ram ming , V. 2 , by Dona ld Knuth .
You kn ow you can use , for thi s, Pol is h pr ef ix not ation (as
in tr oduce d by Jan Lukas iew icz (1878-1956) Y ou kno w th at a
hand ca lcul ator u se s "r ever se or postf ix Pol is h": put in the
number s and then the oper ator .
1. "If P, then Q" denote s the cond itiona l , "If sta tement P i s
so , then st ate ment Q is so ". In Pol is h P refix , t hi s is (w ith
"I" for CON DITI ON AL) : IPQ .
2. "(If P, then Q) and P " denote s thi s cond itiona l as ser tion
conjuncted ("anded") w ith the st atement tha t P is s o ; or
AIP QP .
3. "If ((If P, then Q) and P) , then Q " denote s th at the
pr emi se , "(If P, then Q) and P ", i mp li es its consequent ,
"then Q" i s so ; or . You kno w tha t T he standar d way of
PR OOF is to CHE CK on pa per, whi ch i nvolv es
UND ERLI NIN G TH E t-W FFS, s paci ng the ter ms, for
con venience .
IAIP QPR ⇒ I A I P Q P Q ⇒ I A I P Q P Q ⇒ I A I P Q P Q ⇒
IAIP QP Q (b y R ULE TH RE E on I)
o O O B C Y B by R ul e T wo on Cons onants
o O O B C Y B by R ul e F our . (p ic k, Y )
o O O B C Y B by R ul e T hr ee. (s tor e, O)
o O O B C Y B by R ul e T hr ee
It i s an o -wf f . (both, O)
CHA PT ER EIG HT EEN : WHAT IS PH IL OS OP HY ? (an "ON TOLOGY
GA ME "?)
You WE B-l ear n the w or d "ph il osoph y" ha s the pr efix sp el led
"phi " because it s or igin , and th at of sim ilar pr efi xes , is in the
Gr eek alpha bet , w hic h is dif fer ent fr om the La tin alpha bet on
whic h mu ch of our Engli sh langua ge i s based -- des cending
fr om R oman cu ltur e. T hat thr ee letter pr efix , "phi ", or igi na te s
fr om a single l ette r, " phi ", in the Greek alpha bet -- wr itten
thus : j. Bu t y ou kno w th at, in " phy sics ", "phi " i s wr itten as
"phy ".
You al so lear n tha t the pr efix "p sy " in "p sycholog y" is spe ll ed
wi th a single G reek l ette r, " ps i" , wr itten thu s: y.
You lear n tha t the wor d "phi lo sophy " is att ributed to the
ancient Gr eek ma thema tic ian and phi lo sopher , Py tha gor as,
who liv ed ar ound the per iod 580 to 500 BC . T hat t he wor d
"phi lo soph y" means " Lo ve of W isdom" fr om the G reek " phi lo"
for "lo ve" and " soph ia" for "w is dom" .
WIS DOM HAP PE NED ! An Act of T OLE RA NT EMP ATH Y e mbr aced
them al l.
You lear n thi s s ubj ect condot s wi th a bes t-s el ling book and a
popular singer and co mposer of popu lar s ong s, C ar ly Si mon .
You kn ow the book is" T he Stor y of Phi lo sophy ", b y W il l
Dur ant , pub li shed in 1926,
You lear n tha t some of the lectur es had been pub li shed by
Juli us Halde man in " Li ttle Blue Book s" , eac h book de voted to
a s ing le phi los opher . And you lear n tha t the se "Li ttl e B lue
Book s" nota bl y attr acted reader s fr om T he Inter nationa l
Wor ker s of the Wor ld, a.k.a . IWW . a. k.a . "W ob bl ies ". You kno w
tha t st udents s houl d be taught of the i mpor tant r ole the y
pla yed in ea r ly 20th centur y A mer ica. You lear n t ha t
W ik ipedia , onl ine, w rite s tha t, in 1923 , the y had perha ps
100,000 member s, and m ight com mand suppor t of 300,000
mor e. You lear n the y thought an y go ver nment shou ld be
modeled as one big Union , in the st yle of the med ie va l
jour ne yman wor ker s.
You lear n tha t Simon and S chus ter hir ed Dur ant to wr ite "T he
Stor y of Phi lo soph y" , whic h they pub li shed in 1926 .
You lear n tha t the resu lt was a sen sa tion , se ll ing mor e than
any nonfict ion book had e ver sol d; mot iv ating T he Ne w Y or k
Ti mes t o cr ea te its B es ts el ler Li st .
You lear n tha t mathema tic ian Eri c T emp le B el l wr ote "Men of
Ma the ma tics " for them; T homas C raven wr ote "Men of Ar t";
Ber nar d J af fe wr ote " Cr ucib les , T he Hist or y of c hemi st r y";
etc.
And you l ear n tha t W ill Dur ant and hi s wi fe, A ri el , went on to
wr ite the e le ven v olu me to me, "T He Stor y of Civ iliz ation" .
Or h ave they , fol lo wi ng the lead of Socr ates and P la to , tur ned
Phi lo soph y i nto an " Onto log y Game" , tr ying to explic ate
Rea li ty or "w hat reall y ma tter s".
W ik ipedia sa ys, "Bu r ke felt tha t the st udy of rhe toric wou ld
help human being s under stand 'w hat i s in vol ved when w e sa y
wha t people ar e doing and w hy they ar e doing it ." B ur ke
cal led su ch anal ys is ' dr ama tis m' and be lie ved th at s uc h an
appr oac h to langua ge anal ys is and use could help us
under stand t he ba si s of conf lict , the vir tue s and danger s of
cooper ation , and the oppor tunit ie s of identf ica tion and
consub stant ial it y. ....
"Another key concept for Bur ke is the ter mini stic scr een -- a
se t of symbo ls tha t becomes a kind of s cr een or grid of
in tel li gib il ity thr ough whic h the wor ld mak es s ens e to us.
[Onto log y!] Her e Bu r ke of fers rhe torica l theori st s and cr it ic s
a w ay of under stand ing the rel ation sh ip betw een langua ge
and ideolog y. Langua ge, Bu r ke thought, doe sn't sim pl y
'r ef lect' real it y; i t al so help s se lect real it y as w ell as def lect
real it y.
You may , ther ef or e, tent ati vel y, D ECL AR E MATH EMA TIC S IS
FO RMALI CAL Y PATTER NE D S TRA TEG Y..
You can tr y to e xpla in thi s ef fecti venes s via the ancient but
no w obscur ed pa tter n of H OMO LOGy. A HOMO LOGY ha s the
for mat, " A: B ::C :D" , read as " A is to B (r el ates to B) as ( ': :') C
is to D" . You kn ow it e xpl ica tes suc h ele mentar y for mal is ms
as 2:4: :3 :6 , th at i s, 2/4 = 3/6 , with so lidus ( /) rep lacing the
colon and equa li ty rep lacing the doub le co lon. (You kno w thi s
ter m is s ti ll used i n bio log y to contr ast wi th "analog y" . B ut
it s usa ge in m athem ati cs is ob scur ed b y being tak en over for
advanced sub ject s, s o may be una vai la bl e to the cogit ation s
of W igner and H am ming . You read, in W ik ipedia : "In
evolut ionar y b iol og y, homo log y ref er s to any s imi lari ty
betw een char acter is tic s tha t is due to t heir shar ed ance str y."
In ref er ence to th is ad vanced u se of homo log y, W ikiped ia
sa ys: "In m athem atic s (espec ial l y alge br aic topo log y and
abstr act alge br a) , homo log y, ... , i s a cer ta in gener al
pr ocedur e to a ss oci ate a s equence of a be lian g roup s or
module s wi th a g iv en ma thema tical ob ject su ch a s a
topolog ical s pace or a g roup ."
You can then "r un thi s up the f la gpole to s ee who salu tes it. "
You lear n, onl ine, th at H . H. Pattee rai ses the ques tion about
'T he Ph ys ics of S ym bol s: Br idging the Epi st emi c C ut" , w ri ting
of "the gener al epi ste mic pr oble m: ho w to bri dge the
separ ation betw een the obser ver and the ob ser ved , the
contr ol ler and the contr ol led, the kno wer and the kno wn, and
even the mi nd and the br ain. T hi s notori ous epi ste mic cut has
mot iv ated phi los ophica l di spute s f or m illennia , es pecia ll y the
pr oblem of con sciou sne ss th at onl y r ecentl y has be gun to be
tr ea ted as po ss ib l y an empi rica ll y decida ble pr ob lem (e .g. ,
Shear , 1997; Tayl or, 1999). My s econd que st ion w as whether
bridg ing the ep is tem ic cut cou ld e ven be ad dr es sed in ter ms
of phy sica l l aw s. "
You lear n tha t the em inent m athem ati cal -lo gic ian, H ask ell
Cur r y (in hi s Founda tions of M athem atica l Logic ), s ays (p . 8) ,
"T her e ar e t wo mai n t ype s of opin ions i n re gar d to the na tur e
of ma thema tic s. W e sh al l cal l these conten si vis m and
for ma li sm. " You lear n tha t for mal ism (H il ber t is the mai n
spok esman for thi s vie wpoint) re gar ds MATH AS A " GA ME "
FO RMALIZ ED OR TAKI NG S HA PE BECA US E O F RULE S. Tak e
aw ay the r ul es of C hec ker s or C He ss and w ha t is l eft?
No thing tw o people can a g ree on; noth ing s o tha t two peop le
wi ll feel the y ar e " talk ing about the s ame th ing" . B ut you
kn ow thi s not so w ith your FO RMALI C C ONC EPTI ON O F
MA THEMA TICS , for CO NTE NSIVIS M a ppar entl y m eans tha t
RULE S H AVE BE EN AP PLIED TO " SO MET HIN G" : T AKE AWA Y
TH E RULE S, and T HE RE 'S STILL "S OME THI NG " PE OPLE CA N
AGREE ON.
You WE B-l ear tha t chil dr en can be taught ari tmet ic oper ation s
by flo wchar ts. T ha t Ad di tion can be perf or med by T he
Counter Trans fer A lgori thm , the way compter s w er e
pr og rammed for th is :
^ |
| |
MAXTONE: | | MINTONE: DECREASING
INCREASING TRANSFERS| | REMAINDERS IN
| | ADDEND BASKET 2
| V
And chi ldr en can be taught <S UB TRA CTIO N< i>b y T he
Sta ir step Algor ithm :
/ \
/STOP \
-------
You can DI VIDE WIT HO UT R EM AIN DER , sa y, 12 ÷ 4 B Y "ROW-
TO-T AB LE AL GO RIT HM "
* * * * * * * * * * * *
* * * * * * * * * * * * * *
* * * * * * * * * * * *
RE MO VE FO R C OL UMN N UMB ER OF COUN TABL ES E QU AL TO
DIVIS OR (4) ⇒
* * * * * * * * *
*
*
*
IS D IVID EN D- ROW EMPT Y? ⇒ NO ⇒ RE MO VE FO R COL UM N
NUM BER OF C OUNT AB LES EQ UAL T O DIVIS OR (4) ⇒
* * * * * *
* *
* *
* *
IS D IVID EN D- ROW EMPT Y? ⇒ NO ⇒ RE MO VE FO R COL UM N
NUM BER OF C OUNT AB LES EQ UAL T O DIVIS OR (4) ⇒
* * *
* * *
* * *
* * *
IS D IVID EN D- ROW EMPT Y? ⇒ YE S ⇒ PRI NT NUMBE R O F
COL UM NS AS Q UOTIE NT ⇒ ST OP.
You kn ow tha t, in Cha p. Two, i t is noted tha t extens ion is
uni va lent , th at i s, a ref er ence with onl y one ref er ent , wher eas
in tens ion i s mul ti va lent , a ref er ence ha s man y r efer ents . You
kn ow tha t it is ques tiona ble as t o ho w m uc h attent ion i s
gi ven to the se d is ti ncti ons . Perha ps pr ototyp ical i s the
appa rent ignor ing tha t the i nten si onal it y (r ef er ri ng via a
pr oxy desc ript ion) a llo ws axio ms to per mit both standar d and
nonstandar d r ef er ent s.
0 0 0
0 0 1
0 1 0
1 0 0
1 0 1
1 0 0
1 0 1
1 1 0
1 1 1
T he ind ica to r f or a compos ite number is one w hen al l it s
factor s ar e pr esent on th at r ow, otherw is e zer o.
T hen you f ind t he follo wing ind ica tor ta ble. You note th at, i f
i(x) denotes ta bula r i ndic ator of a rela tor , then i( LCM(a , b)) =
MA X(i(a) , i (b)) and i(G CD(a , b)) = MI N(i (a), i(b)) . T hen, you
find :
TABLE 1
1 2 3 5 6 10 15 30
0 0 0 0 0 0 0 0
0 0 0 1 0 1 1 1
0 0 1 0 1 0 1 1
0 0 1 1 1 1 1 1
0 1 0 0 1 1 0 1
0 1 0 1 1 1 1 1
0 1 1 0 1 1 1 1
1 1 1 1 1 1 1 1
(1) (4) (4) (4) (6) (6) (6) (7)
1, 3, 3 ,, 1 -- a fam il iar
bino mia l pa tter n
Si nce the sub sys tem of ar ithme tic is mu lt iv alen t , you kno w
tha t th is i mp li es th at t he
ind ica to r ta ble can be extended to compr ehend al l ba llot s,
one to se ven, by acqur ing
factor s wi th bal lot s tw o, thr ee , and fi ve. (You see th is a s a
nonstandar d comp let ion
compar able to the st andar d comple tion tha t shif ts fr om
rati onal to real number s.)
You
find a "r ati onale" for th is i n another t ype of comp let ion.
W hat a bout LCD's of thes e new l y obta ined e lement s? You f ind
tha t
MA X(MIN(2 , 3) , MIN(2 , 5)) =
i((2^ 3)V(2^5)) = 0 , 0, 0, 0, 0 ,
1, 1, 1 , for B=3 . And
MA X(MIN(2 , 3) , MIN(3 , 5)) =
i((2^3)V(2^5)) = 0, 0, 0 , 1, 0, 0 , 1, 1,
for B = 3 . And MA X(MIN(2 , 5) , MIN(3 , 5)) =
i((2^5)V(3^5)) = 0, 0, 0 , 1, 0, 1 , 0, 1 f or
B = 3.
You find one mor e resu lt : MIN(M AX(2 , 3) , MA X(2, 5), MA X(3,
5)) = i((2V3)
^(2V5)^(3v5))
= i (6^(10V15)) = 0, 0, 0 , 1, 0, 1 , 1, 1, f or
B = 4 . You
note th at thi s resu lt is d if fer ent fr om tha t for 2v 3v5 .
You denote, for
For compr ess ion , (2^3)v(2^5) ≡ x;
(2^3)v(3^5) &eqi v; Y;
(2 ^5) v(3^5) &eqi v; Z . You decide to la be l the oper ands of the
comple ted oper ator s
as "subdom inants ". You then find the se r esu lts .
Let
T he Cur r y– Ho war d cor respondence: two s eem ing ly- unr ela ted
fam il ie s of for mal is ms, pr oo f system s and m odel s of
computa tion ar e str uc tur all y the s ame type of object .
T hu s, a pr oof is a pr og ram, the for mula it pr oves is a
ty pe f or the pr og ram .
• explana tion
• meas ur ement (a s in Cha p. Nineteen)
• pr edict ion
• retr odict ion
You ar e fam il iar w ith the ter m, "bl ac k bo x:, i n di scu ss ing
sc ient ific specul ati on.
|------------------|
Known Input| |Known Output
---------->| Unknown Interior |------------>
|(mechanics? math?)|
|__________________|
As sho wn , y ou KNOW the I NP UT and O UTP UT of the bla ckbo x,
but kno w noth ing abo ut wha t ha ppen s i ns ide the bla ck bo x to
tr ans for m INP UT to OUT PU T . T hi s is co ver ed b y specu la tion :
Maxw el l' s famou s equa ti ons of e lectr ici ty and ma gneti sm did
muc h moc h mor e:
El ectr odynam ic s was "r id" of " inf ini tie s" by a blac kbo x f il led
wi th Feynman d ia g ram s of pr olonged inter act ion .
Ber tr and Russ el l said , "W hene ver po ss ib le , log ical con str uct s
ar e to be s ub st ituted for inf er red ent iti es ." T he "good ies " in
bla ckbo x ar e inf er red enti tie s . T he best logica l cons tr uct s
ar e mathem atica l equa ti ons . W hen they l ink I NP UT to
OUT PU T, we ar e s atisf ied.
<alembic, substances>
T he Russi an c hemi st , Dmi tri Mende lee v (1834-1907), in 1869 ,
de veloped the per iod ic ta ble of chem ical elements to
explic ate recur ring ("per iodic ") tr end s in the pr oper tie s of
the e lement s . T his i naugur ated the i>s igna l s ta ge .
<scale, masses>
Ne wtonian Laws then pr ovide f or the signa l sta ge :
xy = 1
A Pr otot ype of Mec han ics is the mac hine : a de vice act ing
upon input f or ce or input tor que (r ota tiona l f or ce) by
anti tonica ll y ampl yi fing it i nto output f or ce or tor que .
One of the bas ic mac hine , kno wn as the l ever anti tonica ll y
"tr ade s of f length for input f or ce". (A bo y sitt ing on l ong ar m
of a teeter- totter can ba lance an adult on the shor t end of the
teeter- totter le ver.)
T he Law of the Le ver is:
Loader•loadforce=amplified-efforter•effortforce
An ancient Pr otot ype is the f ix ed vibr ating st ri ng , attri buted
to P ytha go ras (bor n betw een 580 and 572 BC , died betw een
500 and 490 BC ). T he MI NT ONE i s length of st ri ng vibr ati ng .
T he MA XT ONE is pitc h of s ound .
1. Eν = [ Eν] = [ML
2
T -3 ]
2. Eνλ = [E νλ] = [ML T ]
3 -3
3. pν = [p ν] = [ML T ]
-2
Sci enti st s for mul ate thr ee modes of tr ansm it ting hea t:
conduction , con vect ion, r ad ia tion .
W ik ipedia gi ves another "e ver y day " i ns tance of recur si on : "If
an unkno wn wor d is seen i n a book , the reader can mak e a
note of the cur rent pa ge number and put the note on a s tac k
[sa y, notepa per] (w hic h is empt y so far) . T he reader can then
look the new w or d up and , whi le r ead ing on the s ub ject, m ay
find yet another unkno wn w or d. T he pa ge number of thi s w or d
is al so wr itten do wn and put on top of the s tac k. At some
point an ar tic le i s read tha t doe s not requ ir e an y e xplan ation .
T he reader then retur ns to the pr eviou s pa ge number and
continue s reading fr om ther e. T hi s is r epea ted, sequent ia ll y
remo ving the top mos t note fr om t he stac k. Fina ll y, t he reader
retur ns to the orig ina l book . T hi s is a recur siv e appr oac h."
You real iz e the be ga t-funct ion e mul ates A RIT HME TIC' s
succe ss or- function , wher ein S( _) , wher e S(n) = n + 1, th at i s,
the s ucce sso r of number n is number n and one m or e . T hus ,
S(0) = 1; S(1) = 2 , or (embed ded) S( S(0) ) = 2 . T hu s,
S(S(S(S(S(S(S(0))))))) = 7 . T he se venth succes sor of z er o i s
se ven , ju st as M ethusa leh is the s eventh be ga t of A dam .
• S(0) = 0+1 = 1
• S(1) = 1+1 = 2
• S(2) = 2+1 = 3
• etc.
10
11
12
13
14
15
16
17
18
19
20
CO UNT B Y KE YB OARD DOWN A RROW
AD D: C T FIRST ADD EN D; THE N, CT SE CO ND A DD EN D; L EVEL
IS S UM
SB TR CT : C T MIN UE D DOWN; CT SU BT RH EN D UP ; LE VEL IS
DIFFER EN CE
ML TPL Y: C T MU LTIPLIC AN D A S OF TEN A S MU LTIPLIER ; LVL IS
PR ODU CT
DIVI DE: H OW M AN Y DIVIS OR -U PS T O REA CH ZER O LEV EL?
EX PN TIA TIO N: CT BAS E A S OF TEN A S EXP ON EN T; L VL IS
AN SW ER
LGRTHM :
RT X TR CTN :
You kn ow tha t you wi ll, her ein, con str uct oper ations and thei r
in ver ses . T hese ar e the es sen tia ls of a G r p.
You ar e fam il iar w ith the jar gon : " Equal s ad ded to equa ls
gi ves equa ls "; " Equal s sub tr acted fr om equals g iv es equal s" ;
"Equa ls t ime s equal s gi ves equa ls "; " Equal s di vided by equal s
gi ves equa ls ".
You can us e the in ver se ratio (5/9) to con ver t t emper atur e T
on the Fahr enhe it S cale to T on the Cent ig rade S cale , since
5/9(T - 32) ° F = T°C .
No w, y ou find why " equal s di vi ded b y equal s" fai ls her e. Since
68 °F = 20 °C , and 50 °F = 10 °C , to sa y "Equa ls d iv ided by
equal s gi ves equa ls ", would her e become "68/50 equal s 2/10 "!
Incor rect! W hat goes wr ong? Ho w can the l eft fr action, w hic h
was g rea ter than one, equa l the ri ght fr act ion, whi ch i s le ss
than one ?
v2 = v1(l2/l2)3, A2 = A1(l2/l2)2
wher e v denote s vol ume, l denote s length (f or any length
meas ur e), A denotes surf ace ar e; sub scr ipt 2 denote s new
di mens ion ; s ub scri pt 1 denotes or igi nal di mens ion , T hi s
princ ip le a pp lie s to a ll so li ds .
You kn ow tha t the squar e-cube law for the f all ing bod ies
st ate s a r atio of surf ace ar ea contacted> to ma ss acted upon
by g ravit y . You kno w tha t tj e s hi ft fr om human to mouse is a
decr ease in d imen si ons wher eby the volume mul tip li er
decr ease s " fas ter" than the s urf ace ar ea of a ir pushed aw ay
in fall ing . So t he denom ina tor her e decr ea ses " fas ter" than
the nu mer ator , so tha t the m ouse slo ws do wn in fall ing to a
cer tain ter mina l veloci ty, and floa ts the r est of the way do wn
You kn ow tha t Ga lil eo' s "T wo New Sc iences : concer ned the
la w of f al li ng bod ies and thi s squar e-cube law whic h i s lii tl e
taught e xcept in cour se s for engineer s and bio mec hanic s.
So you f ind the homo log y, g ravit y: human: : su rf ace ten si on:
mous e.
You lear n tha t the above pr ovides an Agenda for const r ucting
the N umber Sys tem s in th is book, together w ith the ir
Ar ithme tic s.
YOU CA N CON ST RUCT T HE N TR L (C OU NTIN G) NUM BE R
SYST EM
MO TI VATI ON : Some st udents th ink dif fer ent number system s
al lo w f or c hea ting. "W e'r e taught you can't tak e 3 fr om 2.
T hen a funn y s ign i s put i n fr ont of a 1 and it 's al lo wed. W hy
can't I put a funn y sign in fr ont of any ans wer I w is h, and it 's
okay ?"
And st udents th ink s ome ar ithmet ical r ule s ar e "w eir d" --
su ch a s the " la w of sign s" and the r ule for di vi ding a fr action
by a fr action .
A ppar entl y, a que st ion s el dom cons ider ed b y teac her s is " W hy
do w e need so m any number system s ?" Ntr l Nu mber s, Nt g r s,
Rtn l Nu mber s, R l N umber s, Cm plx number s. W hy isn 't one
syste m enough ? T he an swer -- r ar el y, i f e ver, g iv en to
st udents -- be gin s wi th the ans wer to another que stion : "W hy
do w e need ari thmet ic? "
T his e xpl ica tion suf fices for ari thmet ic, pr ovid ing it s pri mar y
oper ation s .
Sum mar y: 1s t r ecur sion yie lds count ing (number) . 2nd
recur si on yield s ad dit ion. 3r d r ecur son yie ld s mul tip li ca tion .
4th r ecur sion yie lds e xponenti ati on. T he se ar e "d if fer ent
le vels of recur si on" whic h ar e " repr esenta ble di mens iona ll y" ,
whic h aids our thi nking in der iv ing ar ithmet ic r ules i n
dif fer ent nu mber s ystem s . T hink of 1s t r ecur sion as of
"di mens ion zero" or " di mens ion of the po int repr esent ing
number" . T hink of 2nd recur sion for ad diti on as of "di mens ion
one" o r "d imen si on of the l ine or se gment or row", a s in (* * * )
+ ( * * ) = (* * * * * ) . T hink of thir d recur si on f or mu lt ip lic ati on
as of " di mens ion tw o" or "d imen si on of a grid or ta ble wi th
rows and co lumns ". C er ta intl y, the for mal is m kno wn as
"Ca r tes ian pr oduct" ( R X C , for rows and column s) cr ea tes
su ch a g rid or ta ble , and mode ls mu lt ipl ic ati on. Fina ll y, think
of 4th r ecur sion for expo nent ia tion a s of "d imen si on thr ee" ,
as in t he jar gon for number cubes , su ch a s 2 3 = 8. And the
Car te si an pr oduct , A X B can be e xtended to A X B X C. We'l l
see be lo w ho w th is he lps our th inking about ar ithmet ic r ules
in dif fer ent number syste m.
• We cer ta inl y need inver se s for chec king our ca lcul ation .
• Another reason for ha vi ng an in ver se for eac h oper ation i s
tha t "the g roup can be comple ted" and "th is con ser ves
the s tr uctur e under tr ans for ma tion s" (s uc h a s tha t in t he
pr evi ous it em) . H er e ar e the s ta ge s f or de velopment for a
g roup :
You read "sy mme tric " a s "m atc h", "ant is ymme tric /sk ew -
sym metr ic" as " mi x" , " bi li near pr oduct" a s "bi nar y ar ithmet ic
oper ation ". T hen you obtain the model f or d is co veri ng inver se
ari thmet ic oper ation s fr om pr mar y one s .
You kn ow the mode l is, for oper ator o and oper ands a, b, c , d
You find :
(m1s1)•(m2s2)=(m1•m2)+(m1•s2)+(m2•s1)+(s1•s2)
You kn ow thi s doesn 't fit the ma tc h-mi x p atter n, s ince i t
doesn 't h ave equal number s of m ix and m atc h . But thi s fits
the m atch-m ix pa tte r n if you read (s 1 • s 2 ) = +( s 1 • s 2 ),
yie ldi ng the des ir ed DD , with sub tr ahe nd i n the mix for ma t ,
mi nuend in the matc h for mat . You ha ve:
(m1 s1)(m1 s1) = (m1•m2) + (m1•s2) + (m2•s1) + (s1•s2)
You can chec k th is b y number s: (10 3) • (9 5) = (10 • 9 + 3
• 5) (10 • 5 + 3 • 9) = 105 77 = 28 ; ag ree ing w ith (10 3)
• (9 5) = 7 • 4 = 28 . Chec ks.
You note be lo w the orig in of the see ming ly "w eir d" law of
sign s .)
For div isi on of DD , its lim it ati ons (sta ted abo ve) pr ovide for
defin iti on of d iv ision in ter ms of DD. Giv en (a b) ÷ (c d) =
(e f) if f (a b) = (c d) • (e f) . T he con str aint of not
di vi di ng by zer o mean s c ≠d. T he constr aint of di vi dend be ing
mul ti ple of div isor for na tur al number and DD mean s (a b) =
n(c d) , hence, a ≠ b .
T hen
You now deri ve a new number system with total s ubtr act ion
via 2 -vector s of na tur al number component s w ith oper ational
r ules ba sed upon clo sur e f or DD. You e xchange DD f or a 2
-v ector of na tur al number component s . You se e th at a b
becomes [a ,b] . You kno W th is induce s the oper ati onal r ules
for these 2 -vector s of na tur al s , whic h mu st adher e to the
na tur al number cons tr aint s inher ited by the ir na tur al number
components .
You kn ow thi s in ter change induces the oper ationa l r ule s for
these 2 -vector s of Nt g r s , whic h m us t adher e to the Nt r l
Nu mber con str aints on thei r N tg r l co mponents . YOU kn ow you
ha ve:
You al so now see the reason for tha t seem ing l y w eir d r ule
of di vi di ng a fr action by a fr act ion , name l y, in ver t
denomin ator fr action and mu lt ipl y it by numer ator
fr action . For the a bo ve div ision r ul e f or v ector s -- [j.k] ÷
[m, n] = [j .k] • [n, m] become s (j /k)/(m ,n) = (j /k) •(n/ m) . You
kn ow tha t no one mer el y de vis ed i t. You kno w i t is
requir ed in the Nt g r syste m to obta in a di vi sion r ule for
DQ .
You can cons tr uct , via logar ith m , a number whic h is not
rati onal : log b a = c , for a,b copri me (no common factor s)
yie lds output c whi ch i s ir rationa l . You kno w tha t th is ,
along wi th kno wledge of the ir rational it y of the squar e
root of tw o , ind ica te s need of a number syste m i n whic h
logar ith m i s t otal and a number syste m i n whic h root
extr act ion i s total -- two m or e number syst ems .
1/11 = 0.09
.
(3/10)/(1-1/10)=(3/10)/(9/10)=(3/10)(10/9)=3/9=1/3,
as de sir ed .
limmin(m,n)→∞ d(amn) = 0.
W hen you see a nu mber l isted thu s, √2 = 1 .41421. .. , you kno w
can rewr ite thi s as a Cauc hy s equence of R tnl N umber s : 1,
1.4 , 1.41 , 1.414 , 1 .4142 , 1 .41421, ....
You can sho w tha t √2 i s "pi nc hed" betw een lo wer and upper
bounds as the ir dif fer ence decr ea ses :
And you can tur n to f inding an in ver se for root extr action and
the need for T he comple x number s ystem .
In BNFA:
<etc.> :@ ...
<numer al s>; @ 0, 1, 2 , 3, ...
<N tr l N umber s (denoted by numer als)> ;@ 0, 1, 2, 3 , ...
<pos it iv e Nt g r s>: @ +1, +2, +3 , . ..
<n e ga tiv e Ntg rs>: @ -1 , -2, -3, ...
<Rtn l Nu mber s (denoted as ratio s of Nt g r s)> :@ 1/2, 3/7 , -5 /11,
...
ir rati onal Rl Nu mber s as dec imal fr act ions wi thout any
repea ti ng inte va l in char acter is tic
R1 + (√-1)R2
wher e R denotes a Rl Nu mber . He sai d i t is not a s um suc h as
3 + 4.
• Equi va lence : [r 1 , r 2 ] = [r 3 , r 4 ] if f r 1 = r 3 , r 2 = r 4 . T he
inequ iv alence s can be der iv ed fr om thi s.
• Ad di tion : [r 1 , r 2 ] + [r 3 , r 4 ] = [r 1 + r 3 , r 12 , r 4 ]. (Ma tc h)
• Subtr action : [r 1 , r 2 ] - [r 3 , r 4 ] = [r 1 + r 4 , r 12 , r 3 ]. (M ix)
• Mul tip li ca tion : [r 1 , r 2 ] · [r 3 , r 4 ] = [r 1 · r 4 - r 2 · r 3 , r 1 · r 3 + r 2 ·
r 4 ].
• Di vision : [r 1 , r 2 ] ÷ [r 3 , r 4 ] = [(r 1 · r 2 + r 3 · r 4 )/ r 2 3 + r 2 4 , (r 1 · r 4 -
r 2 · r 4 )/r 2 3 + r 2 4 ] .
Pl ease note Ha mi lton' s mul ti pl ica tion r ule , whic h i mp li es i 2 =
-1 , in connection wi th so mething you may f ind on l y her e and
onl ine in Google("r edux+jonha ys "). T hat thi s pr oduct r ule is
the pr oduct r ule f or N tg rs wi th su m tu r ned to a d if fer ence .
Al so, s ome thing el se you may f ind on l y her e and in
"r edux+jonha ys ", ba sed upon the concept of "modul " (not to
be confu sed with "modu le" !), found in "Intr oduct ion to Number
T heor y" by O ystein Ore, p. 159. A modu l i s a str uctur e clo sed
under s ubtr act ion. Or e note s:
In BNFA :
<rati o-of -pr es sur e-to- vol ume >:= <pr es sur e>/< volume >.
Bef or e examin ing the se , w e explain "h yper comp le x" and s ho w
ho w to deri ve hyper comple x s ystem s .
cos θ - sin θ
R ≡
sin θ cos θ ,
We can now st ate a pr inci ple (di st ingu ish ing sca lar s fr om
vector s ) to be i nvok ed be lo w.
Scala r-V ector Pr incip le: a sc alar is a st r uctur e in var iant for θ
= 0 (or R as the i denti ty oper ator) , wher eas a vec tor i s
in var iant w hene ver deter minant |R| = + 1.
c = b - a (2)
We w is h to inter pr et (2) in te r ms of (1) by tr an sf or ming the
sca lar tr iang le in to the vector tr iang le .
Or,
c • c = b • b - a • b - b • a + a • a (3)
• rever si on , as in 12 → 21 ,
• fol lo wed by ne ga tiv e one m utip li er, or in ver si on ,
and vice v er sa .)
To tr ea t a C as a vector , c, we m us t de si gna te an
or thonor ma l ba si s :
δ 1 = [1, 0, 0]
δ 2 = [0, 1, 0]
δ 3 = [0, 0, 1] (7)
In (9),
a ⊗ b = a • b + a∧ b,
le t a = b. Si nce δ 1 · δ 2 = 1, the inner pr oduct of (9) becomes a
• a = a 2 1 + a 2 2 + a 2 3 : the ho mogenous ter m becomes s imp lif ied .
Si nce δ 1 ∧ δ 2 = 0 , the heter ogeneous ter m of (9) is elm ina ted .
T hu s, mu lt ipr oduct i s the g rea t homogeni zer . And wha t do we
ha ve? It i s the p ytha gor ean f or m pr oviding for a metr ic, the
st r uctur e whic h ar ticul ate s a geometr y wi thin a topolog y .
Fur ther mor e, a s noted a bo ve, s ome metr ics (a s in space -ti me
rel ati vit y ) may m ix po si ti ve ( p) and ne ga ti ve ( n) ter ms in
pseudo -p ytha gor ean for ms , eas il y accomoda ted by the
mul ti pr oduct . Hence , t he mor e gener al la bel ing in the
ari thmet ic of Cl if for d N umber s : C i → C (p , n) , p + n = i , wher e p
(n) denotes the number of pos it iv e (ne ga ti ve) ter ms i n the
metr ic .
T hu s,
fdx + f∧dx
"Can 't I tak e t rigonome tr y? I need it bad !" "It isn 't avai la ble ."
"Can 't I tak e anal yt ic geometr y? I ought to ha ve had it bef or e.
And I'l l need i t for calcu lu s. " "It' s ful l up . T hes e ar e the onl y
tw o ava ila ble cour ses I can he lp y ou enr ol l in th at h ave
any thing to do wi th your phy si cs ma jor ."
Meanw hi le, bac k at eac h mor ning' s "A tomic Ph ys ics ", I ask ed
Pr of . H al l ho w t he not ion of PR OBABILITY got in to quantum
theor y. (T his is one of t he mo st cr it ical aspects of t he theor y.
It pr ovok ed A lbe r t E in ste in into contr adict ion!) Pr of . Ha ll
st ar ted e xp lain ing near the end of the mor ning se ss ion, and
pr omi sed to continue the ne xt day .
Dr. Cle veland wanted to see if Esther was r ead y to stand and
ask ed me to br ing in her shoe s tha t ne xt mo r ning . H e sa id he
wanted me to put the sh oes into her hand s s o she would be
ready when he made h is r ound s. T hi s in vok ed one of many
fight s I'v e had , o ver the year s, wi th H ead Nur ses , on beha lf of
Es ther . W hen I appea red w ith the shoe s tha t mo r ning and
in si sted on putt ing the m i nto Es ther' s hands , the Head Nur se
sa id I w as v iol ating v isiting hour s and de manded I tu r n them
over to her . I pic ked up the phone and thr ea tened to phone Dr.
Cle veland , to s ay tha t the Head Nur se w oul dn't al lo w m e to
compl y wi th h is or der s.
T he Head Nur se yie lded and I comp leted my m issi on, mak ing
me -- me lodr ama tt ical l y! - - l ate f or m y mor ning clas s.
Br iefl y, w hile I was at the hosp ita l, some poor m aniac had
enter ed the of fice of T he Ph ysi cs R eview jou r nal on the 9th
Floor of Pup in (the Ph ys ics bu ild ing) . W hen an 18-y ea r-o ld
reception is t a sk ed h is bus ines s, he s hot her thr ough the
hear t and ran aw ay.
MU RD ER MA DE ME A MA THE MA TICIA N!
No t the st or y of a ner d.
BE CO ME A TEA CH ER!
Experi enced teac her s te ll s tudent s tha t the bes t w ay to lear n
Kno wables i s t o pr act ice teac hing them. J ust a s an actor
rehea rses but gett ing a lone and enacts the as signed r ole,
so \you can get alone and pr act ice teac hing wha t y ou'r e t r ying
to l ear n.
T his book onl y pr oceed s con str uct iv el y (cr oss ing no
Boundar ies) .
T her e orig ina ted for Logic an explic ati on of O r deri ng , kn owm
as "tr uth ta ble s" . Giv en two independent logica l st atement s ,
A, B. (T he y ar e i ndeoent i f the condi tion of one has nothing to
so with the o ther ,) S ince the f ir st ha s tw o pos sib il it ie s (T r ue
or F alse) and s o has the second , the tr uth ta ble for thi s
st atement pa ir has four rows . Yes, the ta ble for thr ee
independent st atement s has eight r ows; th at f or f our
indepemdent st ate ments ha s sixten rows ; e tc, ; doubl ing w ith
eac h new independent st ate ment.
0 0 0
0 0 1
0 1 0
1 0 0
1 0 1
1 0 0
1 0 1
1 1 0
1 1 1
T he ind ica to r f or a compos ite number is one w hen al l it s
factor s ar e pr esent on th at r ow, otherw is e zer o.
T his r esul ts i n the f ol lo wing ind ica tor ta ble. Plea se note tha t,
if i(x) denotes ta bula r i ndic ator of a rela tor , then i( LCM(a , b))
= M AX( i(a), i(b)) and i(G CD(a , b)) = MI N(i (a), i(b)) . T hen, you
find :
TABLE 1
1 2 3 5 6 10 15 30
0 0 0 0 0 0 0 0
0 0 0 1 0 1 1 1
0 0 1 0 1 0 1 1
0 0 1 1 1 1 1 1
0 1 0 0 1 1 0 1
0 1 0 1 1 1 1 1
0 1 1 0 1 1 1 1
1 1 1 1 1 1 1 1
(1) (4) (4) (4) (6) (6) (6) (7)
30
/\
/ \
/ | \
/ | \
/ | \
6 10 15
|\ / \ /|
| \ / \ / |
| \/ \/ |
| /\ /\ |
| / \ / \ |
|/ \ / \|
2 3 5
\ | /
\ | /
\ | /
\ | /
\ | /
1
30
/\
/ |\
/ | \
/ | \
/ | \
/ | \
6 10 15
/ /|\ \
/ / | \ \
/ / | \ \
| / | \ \
| / | \ \
| / | \ |
| / | \ |
6^10 6^15 10^15
/ \ |\ \
\__________
/ \ |
\________\_________ |
/ \______|
___________\_______ | |
/ | \
\| |
2 3 5
6^10^15
/ \ /|\ /\
/ \ / | \ / \
/ \ / | \ /
\
/ \ / | \ /
\
/ \ / | \ /
\
/ \ / | \ /
\
/ \/ | \/
\
(2^3)V(2^5) (2^3) V (3^5)
(2^5)v(3^5)
| \ \ / | \
/ / |
| \ \ / | \
/ / |
| \ \ / | \ /
/ |
| \ \ / | \ /
/ |
| \ \/ | \/
/ |
| \ /\ | /\
/ |
| \/ \ | / \/
|
| /\ \ | / /\
|
| / \ \ | / /
\ |
| / \ \ | / /
\ |
| ___/______\___\_______|_______/_ _/
\ |
|| / \ \ | /
\ |
|| / \___\_____|
_____/______________\__ |
||/ \ | /
\ | |
2 ^ 3 2 ^ 5
3 ^ 5
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
-------------------2 ^ 3 ^
5----------------------
|
|
1