References:
The blog posts Diophantine set, Listable sets, Halting problem, DPRM Theorem are based on superb article by B Poonan. - Undecidability in Number Theory.
As the article points out, the undecidability problem was studied not only for Integers, but also for Rationals, Rings etc.,
One of the questions, Poonan posed earlier in the article - does $x^3+y^3+z^3=33$ has integer solutions? At the time of writing article answer to this question was unknown. The article prompted search for solution to above equation. In fact an integer solution was now found.
Thursday, March 31, 2022
References for Undecidability
Subscribe to:
Post Comments (Atom)
Weak formulation of boundary value PDE and its meaning
Energy functional An energy functional is a mapping from a function space (often a Sobolev space) to the real numbers, which assigns a "...
-
==Problem 1== Find the multiplication table for group with 3 elements and prove that it is unique. ==Solution== Clear that if \(e,a\) are t...
-
==Problem 2A== Find all components of matrix \(e^{i\alpha A}\) where \(A\) is \begin{equation} A = \begin{pmatrix} 0&&0&&1...
No comments:
Post a Comment