Preprint Article Version 1 This version is not peer-reviewed

A New Proof of Smoryński’s Theorem

Version 1 : Received: 26 September 2017 / Approved: 26 September 2017 / Online: 26 September 2017 (04:44:11 CEST)
Version 2 : Received: 27 September 2017 / Approved: 27 September 2017 / Online: 27 September 2017 (04:05:45 CEST)

How to cite: Tyszka, A. A New Proof of Smoryński’s Theorem. Preprints 2017, 2017090127 (doi: 10.20944/preprints201709.0127.v1). Tyszka, A. A New Proof of Smoryński’s Theorem. Preprints 2017, 2017090127 (doi: 10.20944/preprints201709.0127.v1).

Abstract

We prove: (1) the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable, (2) the set of all Diophantine equations which have at most finitely many solutions in positive integers is not recursively enumerable, (3) the set of all Diophantine equations which have at most finitely many integer solutions is not recursively enumerable. Analogous theorems hold for Diophantine equations D(x1,…, xp) = 0, where p ∈ N \ {0} and for every i ∈ {1,…, p} the polynomial D(x1,…, xp) involves a monomial M with a non-zero coeffcient such that xi divides M.

Subject Areas

Diophantine equation which has at most finitely many solutions in non-negative integers; Diophantine equation which has at most finitely many solutions in positive integers; Diophantine equation which has at most finitely many integer solutions; Hilbert’s Tenth Problem; Matiyasevich’s theorem; recursively enumerable set; Smoryński’s theorem

Readers' Comments and Ratings (0)

Leave a public comment
Send a private comment to the author(s)
Rate this article
Views 0
Downloads 0
Comments 0
Metrics 0
Leave a public comment

×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.