Krokuvos Jogailos universiteto mokslininkas Andrzej Odrzywo\u0142ek teigia, kad did\u017ei\u0105j\u0105 dal\u012f to, k\u0105 daro mokslinis skai\u010diuotuvas, teori\u0161kai galima \u201esulankstyti\u201c \u012f vien\u0105 pasikartojant\u012f mechanizm\u0105. Jo preprinto publikacijoje si\u016bloma id\u0117ja, kad \u012fvairios aritmetikos ir elementariosios analiz\u0117s operacijos gali b\u016bti i\u0161rei\u0161kiamos pasikartojan\u010diomis vieno operatoriaus kombinacijomis.<\/p>\n
Pagrindas yra operatorius eml(x, y) = exp(x) \u2212 ln(y), o kartu naudojama ir konstanta 1. Autoriaus teigimu, daug kart\u0173 taikant \u0161\u012f veiksm\u0105 ir tinkamai \u012fterpiant konstant\u0105, galima atkurti funkcijas, kurios \u012fprastai atskiromis komandomis pateikiamos skai\u010diuotuvuose: nuo sud\u0117ties ir daugybos iki laipsni\u0173, logaritm\u0173 ar trigonometrini\u0173 funkcij\u0173.<\/p>\n
Kompiuteri\u0173 moksle seniai \u017einoma id\u0117ja apie universalum\u0105, kai sud\u0117ting\u0105 logik\u0105 galima sukonstruoti i\u0161 vieno tipo logini\u0173 vart\u0173. Odrzywo\u0142ek bando parodyti analogi\u0161k\u0105 krypt\u012f matematikai: vietoj daugyb\u0117s skirting\u0173 veiksm\u0173 tur\u0117ti vien\u0105 universal\u0173 \u201estatybin\u012f blok\u0105\u201c, i\u0161 kurio galima sud\u0117ti sud\u0117tingesnes i\u0161rai\u0161kas.<\/p>\n
Toks po\u017ei\u016bris, jei b\u016bt\u0173 pla\u010diau pagr\u012fstas, gal\u0117t\u0173 b\u016bti \u012fdomus ne vien kaip teorin\u0117 \u012f\u017evalga. Vienodo tipo i\u0161rai\u0161k\u0173 strukt\u016bra gali b\u016bti patogi kompiuteriniams metodams, kurie ie\u0161ko formuli\u0173 ar d\u0117sningum\u0173 duomenyse, nes visos i\u0161rai\u0161kos tur\u0117t\u0173 t\u0105 pat\u012f schemin\u012f \u201emed\u012f\u201c su tuo pa\u010diu operatoriumi.<\/p>\n
Autorius id\u0117j\u0105 iliustruoja mintiniu eksperimentu apie skai\u010diuotuv\u0105 su dviem mygtukais: vienas reik\u0161t\u0173 eml operatori\u0173, kitas \u012fvest\u0173 konstant\u0105 1. Teori\u0161kai, spaud\u017eiant juos tinkama seka, b\u016bt\u0173 galima gauti bet kur\u012f rezultat\u0105, kur\u012f \u0161iandien pateikia mokslinis skai\u010diuotuvas.<\/p>\n
Vis d\u0117lto tai n\u0117ra pasi\u016blymas patogesniam \u012frenginiui. Toks skai\u010diuotuvas prakti\u0161kai b\u016bt\u0173 nepatogus, nes daug paprast\u0173 skai\u010diavim\u0173 virst\u0173 ilgomis veiksm\u0173 grandin\u0117mis, bet id\u0117ja tur\u0117t\u0173 parodyti, kad sud\u0117tingumas gali kilti i\u0161 paprasto branduolio.<\/p>\n
Svarbi detal\u0117 ta, kad darbas \u0161iuo metu pateiktas kaip preprintas, tod\u0117l n\u0117ra pilnai per\u0117j\u0119s recenzavimo proceso. Publikacijoje apra\u0161omi argumentai gali remtis skaitmeniniais, euristiniais patikrinimais, o dalis bendruomen\u0117s tokiais atvejais laukia grie\u017etesni\u0173, simbolini\u0173 \u012frodym\u0173.<\/p>\n
Net jei id\u0117ja pasirodyt\u0173 teisinga, ji neb\u016btinai reik\u0161t\u0173, kad taip skai\u010diuoti apsimoka. Vieno operatoriaus grandin\u0117s gali b\u016bti gerokai ilgesn\u0117s ir skai\u010diavimo prasme ma\u017eiau efektyvios nei \u012fprastos formul\u0117s, tod\u0117l praktinis pritaikymas labiau siet\u0173si su teorija ir specializuotais algoritmais, o ne kasdieniais skai\u010diavimais.<\/p>\n
Kol kas tai intriguojantis bandymas naujai suformuluoti matematin\u012f \u201euniversalum\u0105\u201c, ta\u010diau galutin\u0117s i\u0161vados priklausys nuo to, ar autoriaus konstrukcijos bus patvirtintos formalesniais \u012frodymais ir nepriklausoma per\u017ei\u016bra.<\/p>\n
\u0160altiniai:
\n– https:\/\/arxiv.org\/abs\/2603.21852<\/p>\n","protected":false},"excerpt":{"rendered":"
Krokuvos Jogailos universiteto mokslininkas Andrzej Odrzywo\u0142ek teigia, kad did\u017ei\u0105j\u0105 dal\u012f to, k\u0105 daro mokslinis skai\u010diuotuvas, teori\u0161kai galima \u201esulankstyti\u201c \u012f vien\u0105 pasikartojant\u012f mechanizm\u0105. Jo preprinto publikacijoje si\u016bloma id\u0117ja, kad \u012fvairios aritmetikos ir elementariosios analiz\u0117s operacijos gali b\u016bti i\u0161rei\u0161kiamos pasikartojan\u010diomis vieno operatoriaus kombinacijomis. Pagrindas yra operatorius eml(x, y) = exp(x) \u2212 ln(y), o kartu naudojama ir konstanta […]<\/p>\n","protected":false},"author":0,"featured_media":10637,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[10],"tags":[],"miestas":[],"class_list":["post-10636","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-mokslas"],"acf":[],"_links":{"self":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/10636","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/comments?post=10636"}],"version-history":[{"count":0,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/10636\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media\/10637"}],"wp:attachment":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media?parent=10636"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/categories?post=10636"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/tags?post=10636"},{"taxonomy":"miestas","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/miestas?post=10636"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}