RESUMO. Uziĝas procedo en matematiko kaj informadiko, kuriigo (angle: currying), per kiu oni espr... more RESUMO. Uziĝas procedo en matematiko kaj informadiko, kuriigo (angle: currying), per kiu oni esprimas la aplikadon de funkcio al pluraj argumentoj per unuopargumenta vicfoja aplikado. Tio transformas la ordon de argumentoj en ordon de funkci-apliko. Iomtiele agas la artefarita lingvo Voksigid (iom japanstruktura lingvo, sed kun inversigita ordo) eĉ se ĝi atribuas, klasikmaniere kiel ĉe vortkazoj, rilatmarkojn al la argumentoj anstataŭe ke al enoncoj por ilia predikatigo. La Aŭtoro aplikis tian logikon al analizo de Esperanto per modifo inspiriĝanta al la klasika predikat-logika modelo Enonco=Predikato(Argumento). Tie, predikatoj aplikiĝas al argumentoj (o-sintagmoj kaj i-sintagmoj), kiel kutime, sed rilatigiloj estas postmetitaj predikatvaloraj operatoroj sur enoncoj (as-sintagmoj); do: Predikato=(Enonco)Rilatigilo; dume determiniloj estas argumentvaloraj operatoroj sur predikatoj; do: Argumento=Determinilo(Predikato[j]); tiel ke la baza elementa aro konsistas el: 1) atomaj predikatoj (leksemoj: ordinare, predikativaĵoj el Esperanta o-forma estigo); 2) rilatigiloj, determiniloj kaj pra-enoncoj (as ,-is,-os,-us,-u) (morfemoj). Tiamaniere kompleksa fraza enonco elkerniĝas ekde la eroj laŭ la sama regula predikat-logika strukturo, rikure kaj unuop-argumente kiel ĉe la lambda-kalkulo (angle: lambda calculus). Tio verŝajne elpluigeblas eĉ al perioda – ĉu hipotaksa aŭ parataksa – strukturo, konceptante konjunkciojn kiel pluigilojn, ĉar enoncoj, tiavidpunkte, " subkuŝas " ambaŭparte en la strukturo Predikato(Argumento), evoluece en la unua, kaj laŭeble eĉ hipostaze en la dua. Mi preferis uzi la franc-aŭ-ital-modelan, Esperante nekutiman, vorton " enonco " , kiu ŝajnas pli matematike neŭtr(al)a ol " aserto " , " eldiro " , " vortigo " kaj malpli matematike aŭ formale trajtliverema ol " formul(ad)o ". ABSTRACT. An often used tool in mathematics and theoretical computer science is " currying " , a technique of translating the evaluation of a function that takes multiple arguments into evaluating a sequence of functions, each with a single argument. This transforms the order of arguments into the order of functional applying. On the other hand, if we consider predicates as arising from statements through relation marks, the rigidity of that order restriction can be overcome, allowing to buid up more informative statements by means of recursion. Voksigid, a constructed language based on a sort of inverted japanese structure, works in a somewhat similar way, although it ties (according to the classical word case model) relation markers to arguments instead of linking them to statements to get predicates. The Author applied such a logic to the analysis of Esperanto by means of modifying the classical predicate logic pattern Statement=Predicate(Argument). In this context, predicates are applied to arguments (o-sintagms and i-syntagms), as usual, but relation marks are predicate-valued postfixed operators on statements (as-sytagms); so: Predicate=(Statement)RelationMark; while determiners are argument-valued operators on predicates; so: Argument=Determinant(Predicate[s]); therefore the base set of elements consists of: 1) atomic predicates (lexemes: ordinarily, predicative items extracted from the esperanto o-form outcomes); 2) relation marks, determiners and primitive " statement sprouts " (as ,-is,-os,-us,-u) (morfemes).
Del "più" e del "per": dal "far di conto" al "vedere in calcolo" ; l'introduzione combinata di al... more Del "più" e del "per": dal "far di conto" al "vedere in calcolo" ; l'introduzione combinata di algebra e geometria
Morf-EO : Morf-ologio de EsperantO ; kiel en Esperanto sintakso dormas ( vekeble ) en morfologio.... more Morf-EO : Morf-ologio de EsperantO ; kiel en Esperanto sintakso dormas ( vekeble ) en morfologio. ENKONDUKO Ĉiu, kiun mi konas, el la legintoj de la Plena Analiza Gramatiko de Esperanto verkita de Kalocsay kaj Waringhien, la klasika kaj ĝis nun ĉefa lingvoanalizo de la Internacia Lingvo, asertas ke, trastudante ties paĝojn kaj trabatalante inter sia cerbo kaj la densaj linioj de tiu libro -ofte ĝis la ekdubado eĉ pri la propra gepatra lingvo mem -la ĝenerala ideo kiu ekestas post la tralegado estas ke Esperanto ne estas tiel simpla, kiel li pensis kiam li komencis ties studon per eta broŝuro.
RESUMO. Uziĝas procedo en matematiko kaj informadiko, kuriigo (angle: currying), per kiu oni espr... more RESUMO. Uziĝas procedo en matematiko kaj informadiko, kuriigo (angle: currying), per kiu oni esprimas la aplikadon de funkcio al pluraj argumentoj per unuopargumenta vicfoja aplikado. Tio transformas la ordon de argumentoj en ordon de funkci-apliko. Iomtiele agas la artefarita lingvo Voksigid (iom japanstruktura lingvo, sed kun inversigita ordo) eĉ se ĝi atribuas, klasikmaniere kiel ĉe vortkazoj, rilatmarkojn al la argumentoj anstataŭe ke al enoncoj por ilia predikatigo. La Aŭtoro aplikis tian logikon al analizo de Esperanto per modifo inspiriĝanta al la klasika predikat-logika modelo Enonco=Predikato(Argumento). Tie, predikatoj aplikiĝas al argumentoj (o-sintagmoj kaj i-sintagmoj), kiel kutime, sed rilatigiloj estas postmetitaj predikatvaloraj operatoroj sur enoncoj (as-sintagmoj); do: Predikato=(Enonco)Rilatigilo; dume determiniloj estas argumentvaloraj operatoroj sur predikatoj; do: Argumento=Determinilo(Predikato[j]); tiel ke la baza elementa aro konsistas el: 1) atomaj predikatoj (leksemoj: ordinare, predikativaĵoj el Esperanta o-forma estigo); 2) rilatigiloj, determiniloj kaj pra-enoncoj (as ,-is,-os,-us,-u) (morfemoj). Tiamaniere kompleksa fraza enonco elkerniĝas ekde la eroj laŭ la sama regula predikat-logika strukturo, rikure kaj unuop-argumente kiel ĉe la lambda-kalkulo (angle: lambda calculus). Tio verŝajne elpluigeblas eĉ al perioda – ĉu hipotaksa aŭ parataksa – strukturo, konceptante konjunkciojn kiel pluigilojn, ĉar enoncoj, tiavidpunkte, " subkuŝas " ambaŭparte en la strukturo Predikato(Argumento), evoluece en la unua, kaj laŭeble eĉ hipostaze en la dua. Mi preferis uzi la franc-aŭ-ital-modelan, Esperante nekutiman, vorton " enonco " , kiu ŝajnas pli matematike neŭtr(al)a ol " aserto " , " eldiro " , " vortigo " kaj malpli matematike aŭ formale trajtliverema ol " formul(ad)o ". ABSTRACT. An often used tool in mathematics and theoretical computer science is " currying " , a technique of translating the evaluation of a function that takes multiple arguments into evaluating a sequence of functions, each with a single argument. This transforms the order of arguments into the order of functional applying. On the other hand, if we consider predicates as arising from statements through relation marks, the rigidity of that order restriction can be overcome, allowing to buid up more informative statements by means of recursion. Voksigid, a constructed language based on a sort of inverted japanese structure, works in a somewhat similar way, although it ties (according to the classical word case model) relation markers to arguments instead of linking them to statements to get predicates. The Author applied such a logic to the analysis of Esperanto by means of modifying the classical predicate logic pattern Statement=Predicate(Argument). In this context, predicates are applied to arguments (o-sintagms and i-syntagms), as usual, but relation marks are predicate-valued postfixed operators on statements (as-sytagms); so: Predicate=(Statement)RelationMark; while determiners are argument-valued operators on predicates; so: Argument=Determinant(Predicate[s]); therefore the base set of elements consists of: 1) atomic predicates (lexemes: ordinarily, predicative items extracted from the esperanto o-form outcomes); 2) relation marks, determiners and primitive " statement sprouts " (as ,-is,-os,-us,-u) (morfemes).
Del "più" e del "per": dal "far di conto" al "vedere in calcolo" ; l'introduzione combinata di al... more Del "più" e del "per": dal "far di conto" al "vedere in calcolo" ; l'introduzione combinata di algebra e geometria
Morf-EO : Morf-ologio de EsperantO ; kiel en Esperanto sintakso dormas ( vekeble ) en morfologio.... more Morf-EO : Morf-ologio de EsperantO ; kiel en Esperanto sintakso dormas ( vekeble ) en morfologio. ENKONDUKO Ĉiu, kiun mi konas, el la legintoj de la Plena Analiza Gramatiko de Esperanto verkita de Kalocsay kaj Waringhien, la klasika kaj ĝis nun ĉefa lingvoanalizo de la Internacia Lingvo, asertas ke, trastudante ties paĝojn kaj trabatalante inter sia cerbo kaj la densaj linioj de tiu libro -ofte ĝis la ekdubado eĉ pri la propra gepatra lingvo mem -la ĝenerala ideo kiu ekestas post la tralegado estas ke Esperanto ne estas tiel simpla, kiel li pensis kiam li komencis ties studon per eta broŝuro.
Uploads
Papers by Gae Spes
( www.facebook.com/informatematica/posts/147308452037086 )
( www.facebook.com/informatematica/posts/147308452037086 )