Buchumschlag

Неповнота арифметики і теорія діофантових множин

Analysis of Diophantine sets showed that all recursively enumerated sets are Diophantine. Based on the classical results in the theory of computable functions, a simple version of the theorem on the incompleteness of arithmetic can be given: there is a polynomial that does not have positive integer...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2023
Автори та афіліації:
  • Anatolii Hupal — член-кореспондент НАН України, д. ф.- н., професор, Інститут кібернетики імені В.М. Глушкова НАН України, проспект Академіка Глушкова, 40, 03187, Київ-187
  • Mykyta Hupal — к. ф.-м. н., Інститут кібернетики імені В.М. Глушкова НАН України, проспект Академіка Глушкова, 40, 03187, Київ-187
Ключові слова:keywords
Hauptverfasser: Hupal, Anatolii, Hupal, Mykyta
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України 2023
Schlagworte:
діофантова множина
рекурсивно перелічені множини
неповнота арифметики.
Online Zugang:https://www.fmmit.lviv.ua/index.php/fmmit/article/view/278
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Physico-mathematical modeling and informational technologies
Завантажити файл: Pdf

Institution

Physico-mathematical modeling and informational technologies
Beschreibung
Zusammenfassung:Analysis of Diophantine sets showed that all recursively enumerated sets are Diophantine. Based on the classical results in the theory of computable functions, a simple version of the theorem on the incompleteness of arithmetic can be given: there is a polynomial that does not have positive integer solutions, and for which it is impossible to prove the absence of positive roots

Ähnliche Einträge