117b – Undecidability and Incompleteness – Lecture 4

We showed that is Diophantine. This implies that the prime numbers are Diophantine. Therefore, there is a polynomial in several variables with integer coefficients whose range, when intersected with the natural numbers, coincides with the set of primes. Amusingly, no nonconstant polynomial with integer coefficients can only take prime values.

We proved the bounded quantifier lemma, the last technical component of the proof of the undecidability of Hilbert’s tenth problem. It implies that the class of relations definable by a formula in the structure coincides with the class of relations (i.e., the Diophantine ones).

To complete the proof of the undecidability of the tenth problem, we will show that any c.e. relation is Diophantine. For this, recall that a set is c.e. iff it is the domain of a Turing machine. We proceeded to code the behavior of Turing machines by means of a Diophantic representation. This involves coding configurations of Turing machines and it remains to show how to code the way a configuration changes into another one.

Advertisements

Like this:

LikeLoading...

Related

This entry was posted on Thursday, February 1st, 2007 at 2:51 pm and is filed under 117b: Computability theory. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

4 Responses to 117b – Undecidability and Incompleteness – Lecture 4

I was a bit confused about this in class, but it’s probably just because I was majorly sleep-deprived: “Therefore, there is a polynomial in several variables with integer coefficients whose range on the natural numbers coincides with the prime numbers. Amusingly, no nonconstant polynomial with integer coefficients can only take prime values.”

The distinction, then, is that there IS a polynomial whose range is all the primes AND a bunch of negatives, but there is NO polynomial whose range is primes only? Is that correct?

Yes, exactly. I think I may have actually written something incorrect on the board, so I will briefly review it on Tuesday. We have that the primes are Diophantine. From this, we saw how to build a polynomial P such that, if R is its range, then the intersection of R with the naturals is the set of primes. But any such R necessarily takes negative values (and 0?) as well. I rephrased the entry a little to make this clear.

If anyone’s interested, I remembered reading about this polynomial (though I didn’t know the historical context in which it was derived) a while back in the book The Music of the Primes. According to Amazon’s search-inside-this-book function, it’s on page 200, which I have downloaded from Amazon and is now stored on my web page. It’s good to see these things actually written out!

Thanks!
The same polynomial is shown in page 331 of the handout “Hilbert’s tenth problem. Diophantine equations: positive aspects of a negative solutions”, it is due to J. P. Jones. The polynomial we obtain if we simply apply the definitions shown in lecture is different than this one.
It is curious that this polynomial is written as the product of two polynomials, and yet its (positive) values are precisely the prime numbers.

(As I pointed out in a comment) yes, partial Woodinness is common in arguments in inner model theory. Accordingly, you obtain determinacy results addressing specific pointclasses (typically, well beyond projective). To illustrate this, let me "randomly" highlight two examples: See here for $\Sigma^1_2$-Woodin cardinals and, more generally, the noti […]

I am not sure which statement you heard as the "Ultimate $L$ axiom," but I will assume it is the following version: There is a proper class of Woodin cardinals, and for all sentences $\varphi$ that hold in $V$, there is a universally Baire set $A\subseteq{\mathbb R}$ such that, letting $\theta=\Theta^{L(A,{\mathbb R})}$, we have that $HOD^{L(A,{\ma […]

A Wadge initial segment (of $\mathcal P(\mathbb R)$) is a subset $\Gamma$ of $\mathcal P(\mathbb R)$ such that whenever $A\in\Gamma$ and $B\le_W A$, where $\le_W$ denotes Wadge reducibility, then $B\in\Gamma$. Note that if $\Gamma\subseteq\mathcal P(\mathbb R)$ and $L(\Gamma,\mathbb R)\models \Gamma=\mathcal P(\mathbb R)$, then $\Gamma$ is a Wadge initial se […]

Craig: For a while, there was some research on improving bounds on the number of variables or degree of unsolvable Diophantine equations. Unfortunately, I never got around to cataloging the known results in any systematic way, so all I can offer is some pointers to relevant references, but I am not sure of what the current records are. Perhaps the first pape […]

Yes. Consider, for instance, Conway's base 13 function $c$, or any function that is everywhere discontinuous and has range $\mathbb R$ in every interval. Pick continuous bijections $f_n:\mathbb R\to(-1/n,1/n)$ for $n\in\mathbb N^+$. Pick a strictly decreasing sequence $(x_n)_{n\ge1}$ converging to $0$. Define $f$ by setting $f(x)=0$ if $x=0$ or $\pm x_n […]

All proofs of the Bernstein-Cantor-Schroeder theorem that I know either directly or with very little work produce an explicit bijection from any given pair of injections. There is an obvious injection from $[0,1]$ to $C[0,1]$ mapping each $t$ to the function constantly equal to $t$, so the question reduces to finding an explicit injection from $C[0,1]$ to $[ […]

One way we formalize this "limitation" idea is via interpretative power. John Steel describes this approach carefully in several places, so you may want to read what he says, in particular at Solomon Feferman, Harvey M. Friedman, Penelope Maddy, and John R. Steel. Does mathematics need new axioms?, The Bulletin of Symbolic Logic, 6 (4), (2000), 401 […]

"There are" examples of discontinuous homomorphisms between Banach algebras. However, the quotes are there because the question is independent of the usual axioms of set theory. I quote from the introduction to W. Hugh Woodin, "A discontinuous homomorphism from $C(X)$ without CH", J. London Math. Soc. (2) 48 (1993), no. 2, 299-315, MR1231 […]

This is Hausdorff's formula. Recall that $\tau^\lambda$ is the cardinality of the set ${}^\lambda\tau$ of functions $f\!:\lambda\to\tau$, and that $\kappa^+$ is regular for all $\kappa$. Now, there are two possibilities: If $\alpha\ge\tau$, then $2^\alpha\le\tau^\alpha\le(2^\alpha)^\alpha=2^\alpha$, so $\tau^\alpha=2^\alpha$. In particular, if $\alpha\g […]

Fix a model $M$ of a theory for which it makes sense to talk about $\omega$ ($M$ does not need to be a model of set theory, it could even be simply an ordered set with a minimum in which every element has an immediate successor and every element other than the minimum has an immediate predecessor; in this case we could identify $\omega^M$ with $M$ itself). W […]

I was a bit confused about this in class, but it’s probably just because I was majorly sleep-deprived: “Therefore, there is a polynomial in several variables with integer coefficients whose range on the natural numbers coincides with the prime numbers. Amusingly, no nonconstant polynomial with integer coefficients can only take prime values.”

The distinction, then, is that there IS a polynomial whose range is all the primes AND a bunch of negatives, but there is NO polynomial whose range is primes only? Is that correct?

Yes, exactly. I think I may have actually written something incorrect on the board, so I will briefly review it on Tuesday. We have that the primes are Diophantine. From this, we saw how to build a polynomial P such that, if R is its range, then the intersection of R with the naturals is the set of primes. But any such R necessarily takes negative values (and 0?) as well. I rephrased the entry a little to make this clear.

If anyone’s interested, I remembered reading about this polynomial (though I didn’t know the historical context in which it was derived) a while back in the book The Music of the Primes. According to Amazon’s search-inside-this-book function, it’s on page 200, which I have downloaded from Amazon and is now stored on my web page. It’s good to see these things actually written out!

Thanks!

The same polynomial is shown in page 331 of the handout “Hilbert’s tenth problem. Diophantine equations: positive aspects of a negative solutions”, it is due to J. P. Jones. The polynomial we obtain if we simply apply the definitions shown in lecture is different than this one.

It is curious that this polynomial is written as the product of two polynomials, and yet its (positive) values are precisely the prime numbers.