друг друга пердуна's Journal
 
[Most Recent Entries] [Calendar View] [Friends View]

Thursday, April 30th, 2020

    Time Event
    12:40a
    pochti proshel po odnomu razu arabskiy v duolingo (on ochen' syroy eshche)

    yazyk sovershenno zamechatel'nyy

    naprimer v nem net prilagatel'nyh i narechiy voobshe
    nu to est' funkciya takaya est' konecho, slova kotorye na nash indoevropeyskiy yazyk nuzhno perevodit' prilagatel'nymi
    (i v kursah dlya angliyazychnyh lyudey govoryat chto est')
    no nikakih morfologicheskih otlichiy ot glagolov net (krasnyy eto na samom dele "byt' krasnym i td")
    klassicheskie arabskie grammatiki voobshe vyvodili vse iz glagola, chto eto edinstvennaya chast' rechi, no lingvisty govoryat chto eto uproshchenie i est' slova kotorye dokazanno proishodyat istoricheski ne ot glagolov.

    vremen tozhe na samom dele net. est' sovershennyy\nesovershennyy aspekt i vsyakie storonnie pribludy chtoby oboznachat' tense (v kursah tozhe govoryat pro present tense i td no eto vse na samom dele priblizhenie)

    pri etom est' sovershenno genial'naya ochen' analiticheskaya sistema (pochti vsegda trehbukvennyh) korney (kak i vo vseh semitskih yazykah) iz kotoryh
    chisto kombinatorno mozhno proizvodit' novye slova s zadannym smyslom (i tak zhe mozhno ugadyvat' smysl novogo neznakomogo slova po kornyu). korney ogranichennoe chislo, vsego voobshe 5-6 tysyach. iz kazhdogo kornya mozheno sdelat' opredelennoe kolichestvo raznyh slov.
    klassicheski primer s kornem كتب KTB, kotoryy svayazan s pisaniem
    كتب -- KaTaBa -- on napisal
    يكتب -- yuKTaB -- byt' napisannym, udvoenie glasnoy imeet smysl amplifikacii, to est'
    كاتب -- KaaTiB -- pisatel' ("pishushiy mnogo")
    كتاب -- KiTaaB -- kniga, dobavlyya pristavku ma, kotoroe imeet zhnachenue obilnosti mesta, poluchaem
    مكتب -- maKTab -- office ili
    مكتة -- maKTaba -- biblioteca

    i tak tysacha form

    eto nazyvaetsya formation of derived forms, po russki "porody"
    https://en.wikipedia.org/wiki/Arabic_verbs#Formation_of_derived_stems_(%22forms%22)


    na samom dele neudicitel'no pochemu Ars Magna napisal imenn Ramon Llull, izvestnyy znatok arabskogo yazyka.

    pri etom u yazyka tysyacheletnyaa istoria formalizacii i opisaniya i literaturnaya forma neveroyatno stabil'na
    tam dazhe doislamskie teksty vpolne sebe sohranilis' i uvazhayutsya (poety)
    voobshche poeziya imeet sil'no bo'shiy status chem u nas, to est' est' konursy tipa evrovideniya gde pobediteli nastoyashchie seleby

    Current Music: Ассоциация Пых -- Быстрее жизнь прожить (1988)
    4:31p
    Причем проклятие арабского языка конечно
    в том, что у них есть ultimate poet и ultimate произведение. Ситуация не как у нас с каким нибудь Пушкиным, которого можно легко пинком нахуй выпнуть. Дело даже не только вттом чтоо тебе отрубят за это голову, а там реально феноменальный медиуматических свойств видимо был поэт, которого избежать очень трудно (сейчас вроде научились в какой-то мере). Если читать биографии доисламских поэтов как они приезжали в медину и переходили на сторону мухамеда то это впечатляет (по модулю всех деформаций понятных когда задним числом пророков прошлого вписывают в сторонники нового режима это видно все равно). Притом что формально сам текст это более-менее воинский устав, там типа как кровать заправлять, как зубы чистить даже написано говорят. Ни один другой мне известный текст такими взрывообразными экспансивными свойствами не обладал.
    6:01p
    An amusing application of Compactness theorem

    Theorem (Malcev): if G is a group that is elementary equivalent to some linear group H\subset GL_n(k) then G is a linear group itself.

    Proof: Consider a new language {+,-,*,0,1,c_ij^g}, where i,j\le n, g\in G. It is the language of rings augmented by constant symbols for each element of the group G and a pair of indices i,j (secretly coefficients of matrices).

    Now define a theory T by the following (pretty infinite) set of axioms:

    1) Axioms of a field
    2) Det(c_ij^g)\ineq 0 for all g\in G
    3) c_ij^g \ineq c_ij^s for all g,s\in G
    4) R(c_ij^g)=Id for each relation R of G

    For any finite subset of propositions from T there are only finitely many constants c_ij^g involved. Every relation satisfied by these c_ij^g is fulfilled by some k-matrix C_ij^g in H by the assumption that H is elementary equivalent to G (the first-order sentence (in the language of groups) "there exist pairwise different g_1 ... g_r such that R(g_1,...g_r)=1" is true in H).

    Thus k is a model of each finite subset of sentences from T. By compactness theorem there exists a model of T, that is a field K satisfying 1)-4). By construction the map g\mapsto C_ij^g is an embedding.

    Note that K is not necessarily isomorphic to k, it generally looks more likely to an ultrapower of k.

    Current Music: БОМЖ -- "БОМЖ-1" (1989)

    << Previous Day 2020/04/30
    [Calendar]
    Next Day >>

About LJ.Rossia.org