Create АВТОРЕФЕРАТ.md

АВТОРЕФЕРАТ.md

@@ -0,0 +1,27 @@
+
+<p align="center">
+<picture>
+<source media="(prefers-color-scheme: dark)" srcset="https://avatars.githubusercontent.com/u/17128096?s=400&u=66a63d4cdd9625b2b4b37d724cc00fe6401e5bd8&v=4">
+<img src="https://avatars.githubusercontent.com/u/17128096?s=400&u=66a63d4cdd9625b2b4b37d724cc00fe6401e5bd8&v=4" width=100 lt="N2O.DEV">
+</picture>
+</p>
+
+<p align="center"><strong> Перша формальна система </strong></p>
+
+<p>Формальне середовище виконання <a href="https://axio.groupoid.space">AXIO.PRO</a>, система вищих мов та базові бібліотеки для програмування, доведення теорем і формальної філософії.</p>
+
+<p>У роботі розказується про новий формальний підхід до математичної верифікації та спробу автора у цій парадигмі
+  побудувати замкнену уніфіковану систему формальних мов для програмування, математики та філософії. В процесі
+   розробки моделі такої системи автору довелося апробувати частини її імплементації для головних SML-подібних
+   формальних академічних мов, мови Erlang та інших (загалом 7 мов). За 10 років автором було проаналізовані
+   синтаксис та семантика основних мов програмування (більше 50 мов) з різних промислових та академічних доменів,
+   8 мов з яких були особисто реалізовані автором. В роботі описані 8 мов уніфікованої мовної системи (концептуальна модель)
+та представлені 2 їх імплементації, зокрема <a href="https://github.com/synrc">N2O.DEV</a>.
+Головним чином, натхнення було почерпнуте з LISP-машин минулого, APL-систем, перших систем доведення теорем таких як AUTOMATH, віртуальних маших паралельної та узгодженої обробки
+  нескінченних процесів, таких як BEAM, та кубічних MLTT-пруверів. Робота буде корисною всім аспірантам чистої та прикладної математики, теоретичної інформатики, а також інженерам цих спеціальностей для розуміння природи обчислень.</p>
+
+<p align="center">
+<a href="https://axio.groupoid.space/">Монографія</a> —
+<a href="https://groupoid.space/institute/index.htm">Інститут</a> —
+<a href="https://anders.groupoid.space/lib/">Бібліотека</a>
+</p>