Tag Archives: matematika

Kas gali būti nuobodžiau už matematines funkcijas?

Vakar vienas pusprotis mano straipsnyje apie Būlio algebrą parašė komentarą apie tai, kad matematika (tiksliau, visiškai elementarūs skaičiavimai) yra šyvos kumelės briedas. Esmė tame, kad anas komentatorius net esuprato, ką jis skaičiuoja ir jam pasirodė, kad jei prie teigiamų n ir m pridėsi po teigiamą x, tai skirtumas tarp n ir m padidės.

Šiu atveju, kaip supratau, kalba net nebuvo apie aritmetinį skirtumą (vis dar darau prielaidą, kad tokio absurdiško durnumo žmonių čia pas mane neateina). Aritmetinis skirtumas išvis nesikeičia prie tokių sumavimų: (n-m)=(n+x)-(m+x), t.y., koks bebūtų x, jisai nepasikeis.

Kaip supratau, ano komentatoriaus nesuvokimas buvo apie tai, kad jei prie n ir m pridėsim po x, tai pasikeis santykis – t.y., jei n buvo mažiau už m, tai n pasidarys dar mažiau už m. Čia irgi absurdas, tiktai gal ne toks akivaizdus. Absurdiškumas pasimato tada, kai pabandai įsivaizduoti, kaip keisis santykis, keičiantis pajamoms. Gražiausiai tai matosi grafike:

Kaip matome, kuo mažesnės pajamos, tuo labiau pasijunta kompensacijos dydis. Jei pajamos tėra 100 eurų, tai pridėjus 100 eurų kompensaciją ir 100, ir 1000 eurų uždirbantiems, pajamų nelygybė sumažėja kone du kartus – santykis pasikeičia iš 10 į 5,5.

Labai paprasta viską pamatyti, kai pabandai paskaičiuoti: vat tarkim, pas kažką gal pajamos 300 eurų ir valstybė, pvz., apmoka 100 eurų kainuojantį darželį. O pas kažką pajamos gal 1200 eurų, ir valstybė irgi duoda 100 eurų kompensacijos. Kaip pasikeičia santykis tarp pajamų? Ogi be kompensacijos tas santykis buvo 4 kartai, o su kompensacija pasidarė 3,25 karto, t.y., labai labai riebiai sumažėjo.

Aš suprantu, kur kažkam kirmėlės graužia – norisi, kad tie buržujai turčiai negautų jokių kompensacijų, nes jie ir taip turtingi. Bet reikalas tame, kad tiesiniai kompensavimo mechanizmai realiai suveikia kaip progresiniai. Ir net jei neduosi tam daug uždirbančiam kompensacijos, skirtumas pasikeis gana nežymiai: vietoje 3,25 karto bus tiesiog 3 kartai.

Tokie dalykai labai aiškiai pasimato, kai tiesiog pradedi skaičiuoti – nes matematika yra matematika ir viskas. Bet kol nebandai skaičiuoti, tai gaunasi visokie marazmai. O kai į matematiką žiūri kaip ožys į naujus vartus, tai pamatęs tokius skaičiavimus, gali nutarti, kad šitie skaičiavimai yra kažkoks šyvos kumelės briedas.

Deja, čia ne skaičiavimai yra briedas. Durniai yra tik tie, kurie pamatę akivaizdžius skaičius, ima sakyti, kad čia yra nesąmonės.

Beje, aš laikas nuo laiko vis atsimenu, kaip kartą prie straipsnio apie Ebolą ir jos plitimo tempus (tuo metu jie buvo nevaldomi) pas mane atėjo kažkokie humanitarai, kurie, kaip paskui paaiškėjo, net nesugebėjo sudėties nuo daugybos atskirti. Anie puskvaišiai dar paskui man mėtė kažkokias absurdiškas nuorodas, kurias rado, į Google įvedę kažkokius jiems patiems nesuprantamus žodžius. Tomis nuorodomis (nieko bendro netgi neturėjusiomis su tuo, ką jie bandė įrodinėti) jie man bandė įrodyti, kad eksponentinės sekos yra tiesinės 😀

Ponai ir ponios, netgi klaikiai nuobodi matematika būna labai labai įdomi. Bet jei tos klaikiai nuobodžios matematikos pagrindų nesimokai – paskui lieki durniaus vietoje, ir tada iš tavęs kas nors skaldo bajerius, o tu piktiniesi ir nesupranti, kodėl tave durniumi vadina.

Kiek nukrypstant – matematika yra labai įdomi, bet tai, kaip jos moko mokyklose – tai yra klaiku ir pasibaisėtina. Matematikos moko taip, kad ji būna baisesnė gal netgi ir už chemiją. Ir visai nenuostabu, kad beveik niekas jos neišmoksta, o tiktai iškala atmintinai.

Išties matematikos pagrindai nėra sudėtingi, jie yra netgi labai įdomūs ir naudingi, svarbu tik juos suprasti.

Būlio algebra ir argumentavimo klaidos

Gyvenimas man tiesiog ant lėkštutės atnešė iliustraciją praeitam mano straipsniui – apie tai, kaip žinojimo skylės žmonėms iškreipia pasaulio supratimą ir įklampina juos į visiškas klaidas. Ir apie tai, kodėl reikia visgi enciklopedinių žinių – apie viską viską.

Čia pavaizduoti kai kurie iš loginių veiksmų ir kaip jie keičia rezultatą, kai tie veiksmai atliekami su kažkuriais teiginiais. Kita vertus, norint atlikti veiksmus, pirma reikia iš kažkur išskirti pačius teiginius, o paskui dar ir įsitikinti, ar teiginys yra klaidingas, ar teisingas.

Atvejis buvo labai paprastas: vienas senas mano draugas, prisiskaitęs kažkokių lazutkų, apspango ir ėmė kartoti visiškai absurdiškas demagogines nesąmones, nesuvokdamas, kad išvis daro klaidas. Klaidos buvo paprastos – iš tų, kur vietoje loginių sekų yra pritaikomos asociatyvinės, kurios išties su jokiomis logikomis nieko bendro neturi.

Problema buvo ta, kad anas draugas negalėjo netgi suprasti, kas su tomis jo asociatyvinėmis sekomis yra ne taip. Tą, deja, teko suprasti man. Ir kai aš supratau ir paklausiau, ar jis mokinosi Būlio algebros, jis atsakė, kad kadangi mokykloje nemokė, tai nesimokino.

Štai taip ir pasidarė man aišku, kaip žmogus nesuvokia elementarių nesąmonių, kurios būna rašomos.

Džordžo Būlio (George Boole) algebra yra pagrindas visai šiuolaikinei matematikos teorijai, o kartu ir metateorijai, o tuo pačiu – ir išvis visoms teorijoms, ir kartu ir tai pačiai mano neretai minimai semiotikai. Taip, semiotika irgi paremta tuo pačiu – norint suprasti tekstą, reikia jį skaidyti į teiginius ir paskui tikrinti, transliuojant. Transliavimo taisyklės yra tokios, kad transliuotas teiginys turi būti tapatus pagal savo prasmę pirminiam teiginiui. Na, žodžiu.

Žodžiu, na taip jau gavosi, kad gavau sau atvejį, kuris man pačiam parodė, kiek būtina yra turėti įvairių sričių žinias.

Ai, beje, šiaip dėl įdomumo: George Boole, sukūręs loginę algebrą (kur vietoje skaičių yra teiginiai, kurių reikšmė yra tiesa arba melas), buvo faktiškai totalus savamokslis. Nors nebaigęs formalių mokslų, jis mokėsi, mokėsi, mokėsi, kol galų gale nutarė kad reiktų gal pasimokyti kokiame universitete, o tada paaiškėjo, kad jam prieš tai reikia praeiti krūvą mokymų vien reikalingiems popieriams gauti, tad jis į tą mokslą universitete nusispjovė. Baigėsi tuo, kad visvien jis tapo matematikos profesoriumi, o galutiniame rezultate – tuo žmogumi, kuris padėjo pagrindus visai šiuolaikinei (revizuotai) matematikai – tai pačiai, kuri jau paremta metateorija. Ai, ir kartu dar ir kompams pagrindus padėjo – visi kompiuteriai tėra ne kas kitas, o Būlio algebros skaičiuotuvai.

Pats George Boole buvo kuo geriausias pavyzdys, kad esmė yra ne formalūs popieriai, o enciklopedinės, plačios žinios, kurios leidžia apjungti įvairias mokslo sritis į vieną.

Taigi, šiandien čia bus jums truputį apie Būlio algebros pagrindus ir logines operacijas. Kad būtų truputį mažiau klaidų tose analizėse, kurias mums visiems tenka daryti.

Continue reading

Apie skirtumus tarp daugybos ir sudėties

Ponai ir ponios. Pastebėjau, kad yra daug tokių, kurie neskiria sudėties nuo daugybos. Tokie išlenda prie visokių humanitariškų kalbų apie Ebolas ir panašiai. Štai pvz., jau būrelis acto garintojų, skelbusių jog vakcinos nuodai ir implantai, o binto rūkymas padeda nuo chemtreilų ir psichotronų, dabar jau cypia, kad ir Ebola yra išsigalvota, nieko nuo jos nebus ir ji neužkrečiama, o išvis tik CŽV išgalvota tam, kad žmones įbaugint ir visuomenę kažkur uždaryt.

Gal ir nieko su tomis apibintuotomis vaginalijomis, kovojančiomis prieš chemtreilus. Bet visgi liūdna būna, kai išlenda su tokiomis kalbomis koks nors durnius, kuris kaip humanitaras gal ir nieko, nes turi kokių nors ten dvasingų pajautimų, bet štai loginiu ir aritmetiniu požiūriu yra tiesiog durnius ir viskas. Ir blogai kai toksai durnius savo negebėjimų skaičiuoti nesuvokia.

Kokiam nors Rozalesui de Statkučiui niekaip neįrodysi, kad acto garinimas nepadeda nuo piramidžių. Taip ir humanitarinei durnių rūšiai neįrodysi, kad daugyba skiriasi nuo sudėties.

Kokiam nors Rozalesui de Statkučiui niekaip neįrodysi, kad acto garinimas nepadeda nuo piramidžių. Taip ir humanitarinei durnių rūšiai neįrodysi, kad daugyba skiriasi nuo sudėties.

Tai kaip tik tokia specifinė durnių rūšis – humanitariniai. Pas juos gal su kitais dalykais ir viskas tvarkoje, bet vat su skaičiais tai vambzdec. Bet būdami humanitariniais, jie to trūkumo nejaučia ir įsivaizduoja, kad jų tūpas negebėjimas skaičiuoti yra jų nuomonė, kuri yra vertinga, nes jiems niekas neįrodė, kad jie neteisūs, o įrodymų jie nesupranta, taigi ir įrodyt ką nors jiems neįmanoma.

Tokia štai įdomi ir ryški durnių rūšis, kuriai reikia duoti truputį supratimo jei jau ine apie skirtumus tarp daugybos ir dalybos, tai bent jau apie tai, kad ne viskas su jais tvarkoje.

Continue reading

Truputis bazinių semiotikos teoremų

Pagalvojau, kad kai kurie konceptai, susiję su semiotika, daliai gali atrodyti nesuprantamais ar šiaip neaiškiais, net ir turint omeny, kad bent jau miglotai, visi suprantame, kas ta semiotika yra (bent jau tikiuosi). Gal būt, labiausiai bėdas kelia tai, kad didesnė dalis besidominčių semiotika paprasčiausiai ignoruoja matematinį šios pagrindą, kreipdami dėmesį į filologinę dalį. Gal dėl to Algirdas Julius Greimas yra toks išskirtinis autorius – skirtingai nuo daugelio kitų, rėmęsis matematiniais faktais.

Taigi, kad būtų lengviau suprasti – truputėlį teorinės dalies, davusios pagrindus visam tam struktūralizmui bei Greimo darbams. Šios dalies nežinant, išvis nelabai įmanoma ką nors giliau diskutuoti ar analizuoti.

Continue reading

Šventa trejybė, tfu, dvi šventos trejybės, tfu, trys šventos trejybės

informacijos perdavimasNagi jei jau pasižadėjau truputį parašinėti apie struktūralizmą ir semiotiką, tai pradedam apie konceptus, kurie kartosis ir kartosis paskui. Kai kuriuos jau esu minėjęs kadaise – daugiau diskusijose. Kai kurių – gal ir neminėjau. Išties, svarbiausių konceptų visame tame struktūralizme – ne tiek jau ir daug. Gal pradėkim nuo istorinių… O gal šiaip, nuo kratinių, nes nerišlūs kratiniai bene geriausiai ir atspindi bendrą vaizdą 🙂

Kalbos mokslai tūkstančius metų vystėsi labai primityviai – daugiau, kaip aprašomieji ir empiriniai, nei analitiniai. Kiek rimtesni filosofai, kaip koks šventas Augustinas ar Konfucijus, bandydavo gilintis į kalbos ypatybes kiek labiau, tačiau iki sisteminių teorijų taip ir neprieidavo: viskas baigdavosi kelių kalbinių, dažniau semantinių (prasminių) paradoksų atradimu ar praktiniais pastebėjimais, kad geras pasakojimas turi turėti įžangą, veiksmo dalį ir kažkokį užbaigimą. Kol galų gale ėmė ir išlindo anoks pasakorius Andersenas, atradęs puikų būdą šablonizuoti pasakojimams, o paskui Vitgenšteinas ir de Sosiūras, kurie vienas po kito ėmė kelti bangas apie kalbos struktūruotumą dėl to, kad juos gimnaziniai gramatikų dėstymai išvarė iš proto. Bent jau aš taip manau. Normalūs žmonės tikrai nebūtų ėmę dekonstruoti to, kuo masto – savo pačių kalbos.

Manyčiau, buki senųjų laikų kalbainiai buvo tokie pat buki, kaip ir dabartiniai, tad neretam sukeldavo tiesiog neurotinę neapykantą tradicinėms gramatikoms. Kas nors čia gali prisiminti ir bene pirmą lietuvių (proto)struktūralistą Kazimierą Jaunių, kurį degeneratas Baranauskas, mušdamas liniuote per pirštus, davedė iki to, kad Jaunius vėliau net negalėjo rašyti. Dėl psichologinių bėdų. Beje, žinant šią istoriją, vemt verčia, kai koks nors silpnaprotis ima aiškinti apie tai, kaip „Antanas Baranauskas įskiepijo Kazimierui Jauniui meilę kalboms„. Manyčiau, panašios istorijos, ko gero, nutikę buvo ir kitiems struktūralistams, kurie visi kėlė tą pačią mintį: buka priešistorinių durnių sugalvota gramatika nieko bendra neturi su kalbos dėsniais, todėl reikia sukurti struktūruotą, analitinę ir sistemingą teoriją, kuri leistų analizuoti tais pačiais metodais įvairias kalbas ir tekstus.

Bet, tiesą sakant, niekam tai neįdomu. Įdomiau gal kitas dalykas: XIXa. pabaigoje, kai ėmė rastis pirmos struktūralizmo kalbos tyrimuose apraiškos, krizė ištiko ir kitą mokslo sritį – matematiką. Ėmė ir išlindo, kad matematiniams įrodymams toli gražu nepakanka to, ką matematikai turi. Ir kad problema tokia kardinali, kad visa matematika gali imti ir sugriūti. Šiaip jau viskas prasidėjo nuo Euklido su puikiai visiems žinoma teorema apie tai, kad esą dvi tiesės tegali susikirsti viename taške. Arba (ta pati teorema) kad trikampio kampų suma lygi 180 laipsnių. Arba (vėl ta pati) kad dvi paraleles tieses trečioji kerta tuo pačiu kampu. Arba netgi kad dvi, daugiau, kaip viename taške sutampančios tiesės yra viena tiesė (išties – vėl ta pati teorema, kaip beskambėtų absurdiškai). Ir t.t.. Išlindo anoks Lobačevskis, o paskui ir Rymanas, ir abu parodė, kad pasirodo, kelis tūkstančius metų gyvavusi geometrija besanti nepilna.

Taip, nepilna. Nepilna teorija – tai tokia, kuri savo pačios ribose iškeltoms problemoms (teoremoms) nesuteikia pakankamų priemonių įrodyti ar paneigti, todėl duotosios teoremos gali būti įrodomos ar paneigiamos tik remiantis išorinėmis teorijomis, analizuojančiomis duotosios teorijos aksiomatiką. Šiaip tai niekai tai būtų buvę, jei tik su ta geometrija būtų buvusios bėdos, bet kad išlindo, jog nepilna ir aritmetika bei, atitinkamai, visos teorijos, kurios yra paremtos aritmetika. O dar paskui išlindo, kad nėra priemonių pačių teorijų ribose įsitikinti jų pilnumu ar nepilnumu. Tada ėmė ir išlindo anoks Hilbertas, kuris ėmė ir iškėlė naują teoremą, kuri turėtų įrodyti, kad matematika yra neprieštaringa ir teisinga. O jau tada išlindo Gėdelis, kuris suvedė šitą teoremą į kitą – kad matematika pilna ar nepilna. O jau tada paaiškėjo, kad vienintelis būdas išspręsti šitas kiaulystes – tai sukurti teoriją, kuri leistų analizuoti matematines teorijas dėl pilnatvės ir neprieštaringumo, tačiau būtų atskirtos nuo matematinių teorijų, kurios būtų analizuojamos. Bet tada berods tas pats Gėdelis dar papildė reikalą tuo, kad tokią analizei skirtą teoriją – metateoriją – irgi reiktų paanalizuoti dėl pilnumo ir neprieštaringumo. Taigi, reikia ir metametateorijos. O dar ir šią juk reiktų paanalizuoti dėl pilnumo…

O jau tada prasidėjo tokios įdomybės, kad analizei reikia gerų analitinių priemonių – kitaip tariant, kalbos. Kalbos, kuri būtų matematiškai tiksli ir apibrėžta, tam, kad ja būtų galima tiksliai ir vienareikšmiškai aprašyti analizuojamus konceptus, o šieji, paanalizavus, pasirodė besą ne kuo kitu, kaip vėlgi kalba… Taigi, metateorijai prireikė metakalbos, o dar, kadangi ir metametateorija – tai ir metametakalbos… O tai metakalba gi turi turėti ir formalų taisyklių rinkinį, kitaip tariant metagramatiką, o tai ir metametagramatiką… Ir metametametagramatiką. Ir taip toliau.

Tai negana to, paskui išlindo ir visokie ten kibernetikai su visokiomis informacijos teorijomis ir panašiais reikaliukais, analizuojančiais pasiskirstymus ne iš kombinatorinių, o iš naudingumo pozicijų, su savo keistomis entropijos ir informacijos koncepcijomis.

Gerai, grįžtant prie trijų šventų trejybių:

  • Pirmoji trejybė
    • Prasmė
    • Ženklas
    • Reikšmė
  • Antroji trejybė
    • Pranešimo siuntėjas
    • Pranešimas
    • Pranešimo gavėjas
  • Trečioji trejybė
    • Informacija
    • Triukšmas
    • Perdavimo kanalas

Tfu tu, kad galiu čia dar komplektėlį trejybių paminėti. Neverta net abejoti, kad tai trejybinis sąmokslas. Galimai yra ne tik trys trejybės, bet netgi trys trejybių trejybės. Nors ir žadėjau apie tas trejybes papasakoti, gal būt papasakosiu kitą kartą. Tuo tarpu – tiesiog vienas fundamentalus klausimas: jei turime metakalbą, kuria aprašome kalbą, o metakalbai aprašyti būtina metametakalba, ar galimas toks variantas, kai viena metakalba aprašo kitą metakalbą, o kita metakalba – pirmąją metakalbą, taip leisdamos apsiriboti dviem metakalbomis ir dviem metateorijom, vietoje to, kad turėti nebaigtinę metateorijų ir metakalbų seką?

Tfu tu, čia dabar jau prasideda matematinė aibių teorija, su visais savo gliukais ir vėlgi nepilnatve, paveldėta iš aritmetikos… Gerai, paprastesnis klausimas: kodėl žmogus, žinantis, kuriem galam kuriamos metagramatikos, aptardinėdamas klausimą apie „kad su bendratimi“ galimumą ar negalimumą, gali pagrįstai pasiųsti kalbainį genderiškai abstrahuota kryptimi, o kalbainis to padaryti negali?

Na, gerai, dar kadangi kai kam nuotraukų su panomis norėjosi – straipsnio iliustracija: pranešimo perdavimas pranešimo gavėjoje, kur ženklai perneša reikšmes perdavimo kanalu.