<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">lexrussica</journal-id><journal-title-group><journal-title xml:lang="ru">Lex russica</journal-title><trans-title-group xml:lang="en"><trans-title>Lex Russica</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1729-5920</issn><issn pub-type="epub">2686-7869</issn><publisher><publisher-name>MSAL</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.17803/1729-5920.2023.201.8.133-146</article-id><article-id custom-type="elpub" pub-id-type="custom">lexrussica-3277</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ФИЛОСОФИЯ ПРАВА / PHILOSOPHIA LEX</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>PHILOSOPHY OF LAW / PHILOSOPHIA LEX</subject></subj-group></article-categories><title-group><article-title>«Гёделево неразрешимое предложение»  и проблематика машиночитаемого права</article-title><trans-title-group xml:lang="en"><trans-title>«Godel’s Undecidable Proposition» and the Problems of Machine Readable Law</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Гаврилов</surname><given-names>С. Н.</given-names></name><name name-style="western" xml:lang="en"><surname>Gavrilov</surname><given-names>S. N.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Гаврилов Сергей Николаевич - кандидат юридических наук, кандидат исторических наук, доцент, руководитель Центра внедрения и эксплуатации Комплексной информационной системы адвокатуры России </p><p>Сивцев Вражек пер., д. 43, г. Москва, 119002</p><p> </p></bio><bio xml:lang="en"><p>Sergey N. Gavrilov -  Cand. Sci. (Law), Cand. Sci. (History), Associate Professor, Head of the Center for the Implementation and Operation of the Integrated Information System, the Russian Bar </p><p>per. Sivtsev Vrazhek, d. 43, Moscow, 119002</p></bio><email xlink:type="simple">gavrilov@fparf.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Федеральная палата адвокатов РФ</institution></aff><aff xml:lang="en"><institution>Federal Chamber of Lawyers of the Russian Federation</institution></aff></aff-alternatives><pub-date pub-type="collection"><year>2023</year></pub-date><pub-date pub-type="epub"><day>19</day><month>09</month><year>2023</year></pub-date><volume>76</volume><issue>8</issue><fpage>133</fpage><lpage>146</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Гаврилов С.Н., 2023</copyright-statement><copyright-year>2023</copyright-year><copyright-holder xml:lang="ru">Гаврилов С.Н.</copyright-holder><copyright-holder xml:lang="en">Gavrilov S.N.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://lexrussica.msal.ru/jour/article/view/3277">https://lexrussica.msal.ru/jour/article/view/3277</self-uri><abstract><p>Актуализация тематики машиночитаемого права, значимость которой подтверждается как общей тенденцией и потребностью рассматривать право в контексте развития информационных технологий, так и принятием значимых правовых актов, в числе которых Концепция развития технологий машиночитаемого права, предполагает необходимость формирования надлежащей теоретической основы и разработки методологического обеспечения соответствующих процессов. Общая проблема «методологической недостаточности» обеспечения процессов цифровой трансформации права, а также актуальность разработки технологий машиночтения права предопределяют необходимость обращения в том числе к результатам и достижениям естественно-научного знания. В публикации анализируется корректность переноса выводов К. Гёделя в их гносеологическом (эпистемологическом) контексте на правовую область. Рассматривая право как объект машиночтения в контексте «гёделева неразрешимого предложения» и основываясь на заключении Гёделя о неспособности системы описать себя своими собственными средствами (доказать свою непротиворечивость), автор приходит к выводу о том, что «надправовым» основанием является культура, а само право видится в системной иерархии: культура — право — закон.Машиночтение права предлагается рассматривать в контексте семиотической парадигмы, основываясь на максимально широком охвате знаковых систем, отражающих всё многообразие систем-регуляторов, и не ограничиваясь лишь религией, моралью, этикой, правом и законом, а имея в виду культуру как «мегаисточник знакового множества», отражающий целый комплекс систем-регуляторов.На основе анализа выводов К. Гёделя, а также принципов «дополнительности» Н. Бора и «неопределенности» В. Гейзенберга в их гносеологическом (эпистемологическом) аспекте делается ряд выводов, которые могут быть значимы как для методологической основы машиночтения права и закона, так и для проблематики правопонимания и правовосприятия в целом. В частности, делается вывод об актуальности темы трансформации научных споров о теориях правопонимания в процесс взаимодополнения таких теорий с целью достижения состояния их конструктивного противоречия (контрадикторности).</p></abstract><trans-abstract xml:lang="en"><p>The relevance of machine readable law, the significance of which is confirmed by both the general trend and the need to consider law in the context of the development of information technologies, and the adoption of significant legal acts, including the Concept of the Development of machine readable law technologies, implies the need to form an appropriate theoretical basis and develop methodological support for relevant processes. The general problem of the «methodological insufficiency» of ensuring the processes of digital transformation of law, as well as the relevance of the development of machine reading technologies of law, predetermine the need to address, among other things, the results and achievements of natural science knowledge.The paper analyzes the correctness of the transfer of K.Godel’s conclusions in their gnoseological (epistemological) context to the legal field. Considering law as an object of machine reading in the context of «Godel’s undecidable proposition» and based on Godel’s conclusion about the inability of the system to describe itself by its own means (to prove its consistency), the author concludes that the «supra-legal» basis is culture, and law itself is seen in the system hierarchy: culture--law--legislation.It is proposed to consider the machine reading of law in the context of a semiotic paradigm, based on the widest possible coverage of sign systems reflecting the diversity of regulatory systems, and not limited only to religion, morality, ethics, law and legislation, but referring to culture as a «mega-source of a sign set» reflecting a whole complex of regulatory systems. Based on the analysis of K. Godel’s conclusions, as well as the principles of «complementarity» by N. Bohr and «uncertainty» by V. Heisenberg in their gnoseological (epistemological) aspect, a number of conclusions are drawn. These can be significant both for the methodological basis of machine reading of law and the law and for the problems of legal understanding and legal perception in general. In particular, it is concluded that of high importance is the topic of the transformation of scientific disputes on theories of legal understanding into the process of complementarity of such theories in order to achieve a state of their constructive contradiction (contradictority).</p></trans-abstract><kwd-group xml:lang="ru"><kwd>искусственный интеллект</kwd><kwd>цифровая трансформация права</kwd><kwd>машиночитаемое право</kwd><kwd>машиночтение права</kwd><kwd>машиночтение закона</kwd><kwd>гёделево неразрешимое предложение</kwd><kwd>правопонимание</kwd><kwd>правовосприятие</kwd></kwd-group><kwd-group xml:lang="en"><kwd>artificial intelligence</kwd><kwd>digital transformation of law</kwd><kwd>machine readable law</kwd><kwd>machine reading of law</kwd><kwd>machine reading of legislation</kwd><kwd>Godel’s undecidable proposition</kwd><kwd>legal understanding</kwd><kwd>legal perception</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Агацци Э. Влияние Гёделя на философию математики // Epistemology &amp; Philosophy of Science. — 2010. — Т. 25. — № 3. — С. 16–41.</mixed-citation><mixed-citation xml:lang="en">Agazzi E. Vliyanie Gedelya na filosofiyu matematiki [Godel’s influence on the philosophy of mathematics]. Epistemology &amp; Philosophy of Science. 2010;25(3):16-41. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Бегишев И. Р., Хисамова З. И. Искусственный интеллект и робототехника : глоссарий понятий. — М., 2021. — 64 с.</mixed-citation><mixed-citation xml:lang="en">Begishev IR, Khisamova ZI. Iskusstvennyy intellekt i robototekhnika: glossariy ponyatiy [Artficiall Intelligence and Robotics: Glossary]. Moscow; 2021. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Бессонов А. В. Еще раз о неверных истолкованиях второй теоремы Гёделя о неполноте // Сибирский философский журнал. — 2020. — Т. 18. — № 3. — С. 132–143.</mixed-citation><mixed-citation xml:lang="en">Bessonov AV. Eshche raz o nevernykh istolkovaniyakh vtoroy teoremy Gedelya o nepolnote [Once again about the misinterpretations of Godel’s second incompleteness theorem]. Sibirskiy filosofskiy zhurnal [Siberian Philosophical Journal]. 2020;18(3):132-143. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Бессонов А. В. О двух неверных догмах, связанных со второй теоремой Гёделя // Философия науки. — 2014. — № 4 (63). — С. 12–31.</mixed-citation><mixed-citation xml:lang="en">Bessonov AV. O dvukh nevernykh dogmakh, svyazannykh so vtoroy teoremoy Gedelya [About two incorrect dogmas related to the second theorem of Godel]. Filosofiya nauki [Philosophy of Science]. 2014;4(63):12-17. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Бессонов А. В. Теоремы Гёделя не дезавуируют программу Гильберта // Вестник Томского государственного университета. Философия. Социология. Политология. — 2017. — № 40. — С. 311–318.</mixed-citation><mixed-citation xml:lang="en">Bessonov AV. Teoremy Gedelya ne dezavuiruyut programmu Gilberta [Gödel’s theorems do not disavow Hilbert’s program]. Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya. Sotsiologiya. Politologiya [Tomsk State University Journal. Philosophy. Sotsiologiya. Political science]. 2017;40:311-318. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Бочаров В. А., Карпенко А. С., Воробьёва С. В., Бернштейн В. Л. Логика // Гуманитарный портал. — URL: https://gtmarket.ru/concepts/6892.</mixed-citation><mixed-citation xml:lang="en">Bocharov VA, Karpenko AS, Vorobyova SV, Bernstein VL. Logika [Logic]. Gumanitarnyy portal [Humanitarian portal]. Available from: https://gtmarket.ru/concepts/6892. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Букалов А. В. Мышление и квантовая физика: теоремы Гёделя, Тарского и принцип неопределенности // Физика сознания и жизни, космология и астрофизика. — 2001. — № 2. — С. 5–8.</mixed-citation><mixed-citation xml:lang="en">Bukalov AV. Myshlenie i kvantovaya fizika: teoremy Gedelya, Tarskogo i printsip neopredelennosti [Thinking and quantum physics: The theorems of Godel, Tarski and the uncertainty principle]. Fizika soznaniya i zhizni, kosmologiya i astrofizika [Physics of consciousness and life, cosmology and astrophysics]. 2001;2:5-8. (In Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Варламова Н. В. Российская теория права в поисках парадигмы // Журнал российского права. — 2009. — № 12. — С. 68–84.</mixed-citation><mixed-citation xml:lang="en">Varlamova NV. Rossiyskaya teoriya prava v poiskakh paradigmy [The Russian theory of law in search of a paradigm]. Zhurnal Rossiyskogo Prava [Journal of Russian Law]. 2009;12:68-84. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Власенко Н. А. Методологические проблемы современной теории права // Журнал российского права. — 2019. — № 4. — С. 5–19.</mixed-citation><mixed-citation xml:lang="en">Vlasenko NA. Metodologicheskie problemy sovremennoy teorii prava [Methodological problems of modern theory of law]. Zhurnal rossiyskogo prava [Journal of Russian Law]. 2019;4:5-19. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Гаврилов С. Н. Машиночтение права и «пространственные построения в живописи»: поиск методологии машинного правовосприятия // Lex russica. — 2022. — Т. 75. — № 9. — С. 66–78.</mixed-citation><mixed-citation xml:lang="en">Gavrilov SN. Mashinochtenie prava i «prostranstvennye postroeniya v zhivopisi»: poisk metodologii mashinnogo pravovospriyatiya [Machine Reading of Law and «Spatial Constructions in Painting»: Search for the Methodology of Machine Perception of Law]. Lex russica. 2022;75(9):66-78. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Гаврилов С. Н. Методология машинного восприятия права на основе синектического подхода // Журнал российского права. — 2022. — Т. 26. — № 12. — С. 30–44.</mixed-citation><mixed-citation xml:lang="en">Gavrilov SN. Metodologiya mashinnogo vospriyatiya prava na osnove sinekticheskogo podkhoda [Methodology of machine perception of law on the basis of a synectical approach]. Zhurnal Rossiyskogo Prava [Journal of Russian Law]. 2022;26(12):30-44. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Гаврилов С. Н. «Новый язык для нового закона»: машиночтение права в контексте семиотической парадигмы // Актуальные проблемы российского права. — 2022. — Т. 17. — № 10. — С. 124–140.</mixed-citation><mixed-citation xml:lang="en">Gavrilov SN. «Novyy yazyk dlya novogo zakona»: mashinochtenie prava v kontekste semioticheskoy paradigmy [«A New Language for a New Law»: Machine Reading of Law in the Context of Semiotic Paradigm]. Aktual’nye problemy rossijskogo prava. 2022;17(10):124-140. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Гейзенберг В. Избранные философские работы : Шаги за горизонт. Часть и целое. — СПб., 2005. — 368 с.</mixed-citation><mixed-citation xml:lang="en">Heisenberg W. Izbrannye filosofskie raboty: Shagi za gorizont. Chast i tseloe [Selected philosophical works: Steps beyond the Horizon. Part and whole]. St. Petersburg; 2005. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Гейзенберг В. Физика и философия. Часть и целое. — М., 1989. — 400 с.</mixed-citation><mixed-citation xml:lang="en">Heisenberg W. Fizika i filosofiya. Chast i tseloe [Physics and philosophy. Part and whole]. Moscow; 1989. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Голубев С. В. Теорема Гёделя и проблема легитимности социального порядка в социологической науке // Социология. — 2010. — № 3. — С. 102–110.</mixed-citation><mixed-citation xml:lang="en">Golubev SV. Teorema Gedelya i problema legitimnosti sotsialnogo poryadka v sotsiologicheskoy nauke [Gödel’s theorem and the problem of the legitimacy of social order in sociological science]. Sotsiologiya [Sociology]. 2010;3:102-110. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">Дорожкин А. М., Шнырева О. Е. Критерий полноты научного знания в свете неклассической рациональности // Вестник Нижегородского университета имени Н.И. Лобачевского. — 2014. — № 6. — С. 26–31.</mixed-citation><mixed-citation xml:lang="en">Dorozhkin AM, Shnyreva OE. Kriteriy polnoty nauchnogo znaniya v svete neklassicheskoy ratsionalnosti [Criterion of completeness of scientific knowledge in the light of non-classical rationality]. Vestnik Nizhegorodskogo universiteta imeni N.I. Lobachevskogo [Vestnik of Lobachevsky University of Nizhni Novgorod]. 2014;6:26-31. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">Захарцев С. И., Сальников В. П. Что есть компрехендная теория права? // Юридическая наука. — 2016. — № 3. — С. 5–9.</mixed-citation><mixed-citation xml:lang="en">Zakhartsev SI, Salnikov VP. Chto est komprekhendnaya teoriya prava? [What is a comprehensive theory of law?]. Yuridicheskaya nauka [Legal Science]. 2016;3:5-9. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">Зотов А. Ф., Мельвиль Ю. К. Западная философия XX века : учебное пособие. — М. : Проспект, 1998. — 432 с.</mixed-citation><mixed-citation xml:lang="en">Zotov AF, Melvil YuK. Zapadnaya filosofiya XX veka: uchebnoe posobie [Western Philosophy of the 20th century: A textbook]. Moscow: Prospekt Publ.; 1998. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">Иванский В. П. Информационно-когнитивное (квантовое) правопонимание: понятие и критерии // Известия высших учебных заведений. Правоведение. — 2014. — № 4 (315). — С. 44–60.</mixed-citation><mixed-citation xml:lang="en">Ivanskiy VP. Informatsionno-kognitivnoe (kvantovoe) pravoponimanie: ponyatie i kriterii [Information-cognitive (quantum) legal understanding: Concept and criteria]. Izvestiya vysshikh uchebnykh zavedeniy. Pravovedenie [Higher Educational Institutions Bulletin. Jurisprudence]. 2014;4(315):44-60. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">Иванский В. П. О новой правовой парадигме: информационно-квантовая (когнитивная) теория права // Современное право. — 2014. — № 2. — С. 4–11.</mixed-citation><mixed-citation xml:lang="en">Ivanskiy VP. O novoy pravovoy paradigme: informatsionno-kvantovaya (kognitivnaya) teoriya prava [On the new legal paradigm: Information-quantum (cognitive) theory of law]. Sovremennoe pravo [Modern law]. 2014;2:4-11. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">Измайлова А. М. О критике теоремы К. Гёделя о неполноте А. В. Бессоновым // Грани науки. — 2018. — Т. 6. — № 1. — С. 7–9.</mixed-citation><mixed-citation xml:lang="en">Izmaylova AM. O kritike teoremy K. Gedelya o nepolnote V. Bessonovym [On criticism of K. Godel’s incompleteness theorem by A.V. Bessonov]. Grani nauki [Facets of Science]. 2018;6(1):7-9. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit22"><label>22</label><citation-alternatives><mixed-citation xml:lang="ru">Карамышев И. С. Смерть математика? // Вестник Московского университета. Серия 7, Философия. — 2019. — № 1. — С. 95–108.</mixed-citation><mixed-citation xml:lang="en">Karamyshev IS. Smert matematika? [Death of a mathematician?]. Vestnik Moskovskogo Universiteta. Seriya 7, Filosofiya [Bulletin of the Moscow University. Series 7, Philosophy]. 2019;1:95-108. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit23"><label>23</label><citation-alternatives><mixed-citation xml:lang="ru">Керимов Д. А. Методология права: предмет, функции, проблемы философии права. — М., 2003. — 521 с.</mixed-citation><mixed-citation xml:lang="en">Kerimov DA. Metodologiya prava: predmet, funktsii, problemy filosofii prava [Methodology of law: Subject, functions, problems of philosophy of law]. Moscow; 2003. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit24"><label>24</label><citation-alternatives><mixed-citation xml:lang="ru">Кун Т. Структура научных революций. — М., 1974. — 268 с.</mixed-citation><mixed-citation xml:lang="en">Kun T. Struktura nauchnykh revolyutsiy [Structure of Scientific Revolutions]. Moscow; 1974. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit25"><label>25</label><citation-alternatives><mixed-citation xml:lang="ru">Лобовиков В. О. Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Гёделем // Известия Уральского государственного университета. Серия 3, Общественные науки. — 2011. — Т. 6. — № 1. — С. 14–28.</mixed-citation><mixed-citation xml:lang="en">Lobovikov VO. Logiko-filosofskoe obosnovanie gipotezy o formalno-eticheskoy protivorechivosti formalnoy arifmetiki, issledovannoy K. Gedelem [Logical and philosophical substantiation of the hypothesis about the formal-ethical inconsistency of formal arithmetic, studied by K. Goedel]. Izvestiya Uralskogo gosudarstvennogo universiteta. Seriya 3, Obshchestvennye nauki [Izvestia. Ural Federal University Journal. Series 3, Social Sciences]. 2011;6(1):14-28. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit26"><label>26</label><citation-alternatives><mixed-citation xml:lang="ru">Лобовиков В. О. Проблема неполноты формально определенных систем норм позитивного права, первая теорема Гёделя о неполноте и юридические фикции как важный компонент юридической техники // Научный вестник Омской академии МВД России. — 2013. — № 2 (49). — С. 53–57.</mixed-citation><mixed-citation xml:lang="en">Lobovikov VO. Problema nepolnoty formalno opredelennykh sistem norm pozitivnogo prava, pervaya teorema Gedelya o nepolnote i yuridicheskie fiktsii kak vazhnyy komponent yuridicheskoy tekhniki [The problem of incompleteness of formally defined systems of positive law norms, Godel’s first incompleteness theorem and legal fictions as an important component of legal technique]. Nauchnyy vestnik Omskoy akademii MVD Rossii [Scientific Bulletin of the Omsk Academy of the MIA of Russia]. 2013;2(49):53-57. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit27"><label>27</label><citation-alternatives><mixed-citation xml:lang="ru">Манин Ю. И. Теорема Гёделя // Природа. — 1975. — № 12. — С. 80–87.</mixed-citation><mixed-citation xml:lang="en">Manin YuI. Teorema Gedelya [Godel’s Theorem]. Priroda [Nature]. 1975;12:80-87. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit28"><label>28</label><citation-alternatives><mixed-citation xml:lang="ru">Пашенцев Д. А. Модернизация методологии правовых исследований в условиях становления новой научной рациональности // Журнал российского права. — 2020. — № 8. — С. 5–13.</mixed-citation><mixed-citation xml:lang="en">Pashentsev DA. Modernizatsiya metodologii pravovykh issledovaniy v usloviyakh stanovleniya novoy nauchnoy ratsionalnosti [Modernization of the methodology of legal research in the context of the formation of a new scientific rationality]. Zhurnal rossiyskogo prava [Journal of Russian Law]. 2020;8:5-13. (In Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit29"><label>29</label><citation-alternatives><mixed-citation xml:lang="ru">Подниекс К. М. Вокруг теоремы Гёделя. — Рига, 1992. — 191 с.</mixed-citation><mixed-citation xml:lang="en">Podnieks KM. Vokrug teoremy Gedelya [Around Godel’s theorem]. Riga; 1992. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit30"><label>30</label><citation-alternatives><mixed-citation xml:lang="ru">Понкин И. В. Концепт машиночитаемого и машиноисполняемого права: актуальность, назначение, место в PerTexe, содержание, онтология и перспективы // International journal of open information technologies. — 2020. — Т. 8. — № 10. — С. 59–69.</mixed-citation><mixed-citation xml:lang="en">Ponkin IV. Kontsept mashinochitaemogo i mashinoispolnyaemogo prava: aktualnost, naznachenie, mesto v PerTexe, soderzhanie, ontologiya i perspektivy [The concept of machine-readable and machine-executable rights: relevance, purpose, place in PerText, content, ontology and prospects]. International journal of open information technologies. 2020;8(10):59-69. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit31"><label>31</label><citation-alternatives><mixed-citation xml:lang="ru">Пучков В. О. Понятийно-терминологический аппарат правоведения и перспектива «машинизации» права: возможно ли представление правовых конструкций средствами λ-исчисления? // Юридический вестник ДГУ. — 2021. — Т. 40. — № 4. — С. 36–42.</mixed-citation><mixed-citation xml:lang="en">Puchkov VO. Ponyatiyno-terminologicheskiy apparat pravovedeniya i perspektiva «mashinizatsii» prava: vozmozhno li predstavlenie pravovykh konstruktsiy sredstvami λ-ischisleniya? [Conceptual and terminological apparatus of jurisprudence and the prospect of «mechanization» of law: is it possible to represent legal constructions by means of λ-calculus?]. Yuridicheskiy vestnik DGU [Law Herald of Dagestan State University]. 2021;40(4):36-42. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit32"><label>32</label><citation-alternatives><mixed-citation xml:lang="ru">Хабриева Т. Я., Черногор Н. Н. Право в условиях цифровой реальности // Журнал российского права. — 2018. — № 1. — С. 85–102.</mixed-citation><mixed-citation xml:lang="en">Khabrieva TYa, Chernogor NN. Pravo v usloviyakh tsifrovoy realnosti [Law in the conditions of digital reality]. Zhurnal Rossiyskogo Prava [Journal of Russian Law]. 2018;1:85-102. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit33"><label>33</label><citation-alternatives><mixed-citation xml:lang="ru">Целищев В. В. Истинность гёделева предложения: внутренний и внешние вопросы // Философия науки. — 2014. — № 1 (60). — С. 16–38.</mixed-citation><mixed-citation xml:lang="en">Tselishchev VV. Istinnost gedeleva predlozheniya: vnutrenniy i vneshnie voprosy [The truth of Godel’s proposition: Internal and external issues]. Filosofiya nauki [Philosophy of Science]. 2014;1(60):16-38. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit34"><label>34</label><citation-alternatives><mixed-citation xml:lang="ru">Целищев В. В. Субъективная математика Гёделя: самоочевидные утверждения математики и артефакты синтаксических структур // Философия науки. — 2015. — № 1 (64). — С. 3–14.</mixed-citation><mixed-citation xml:lang="en">Tselishchev VV. Subektivnaya matematika Gedelya: samoochevidnye utverzhdeniya matematiki i artefakty sintaksicheskikh struktur [Gödel’s subjective mathematics: Self-evident statements of mathematics and artifacts of syntactic structures]. Filosofiya nauki [Philosophy of Science]. 2015;1(64):3-14. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit35"><label>35</label><citation-alternatives><mixed-citation xml:lang="ru">Честнов И. Л. Постклассическая теория права : монография. — СПб. : Алеф-Пресс, 2012.</mixed-citation><mixed-citation xml:lang="en">Chestnov IL. Postklassicheskaya teoriya prava: monografiya [Post-classical theory of law: A monograph]. St. Petersburg: Alef-Press; 2012. (In Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit36"><label>36</label><citation-alternatives><mixed-citation xml:lang="ru">Шкорубская Е. Г. Проблемное поле теорем Гёделя о неполноте // Ученые записки Крымского федерального университета имени В.И. Вернадского. Философия. Политология. Культурология. — 2015. — Т. 1 (67). — № 2. — С. 189–297.</mixed-citation><mixed-citation xml:lang="en">Shkorubskaya EG. Problemnoe pole teorem Gedelya o nepolnote [Problem field of Gödel’s incompleteness theorems]. Uchenye zapiski Krymskogo federalnogo universiteta imeni V.I. Vernadskogo. Filosofiya. Politologiya. Kulturologiya [Scientific notes of the V.I. Vernadsky Crimean Federal University. Philosophy. Political science. Cultural studies]. 2015;1-2:189-297. (In Russ.)</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
