Undecidable problems | Diophantine equations

Hilbert's tenth problem

Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge to provide a general algorithm which, for any given Diophantine equation (a polynomial equation with integer coefficients and a finite number of unknowns), can decide whether the equation has a solution with all unknowns taking integer values. For example, the Diophantine equation has an integer solution: . By contrast, the Diophantine equation has no such solution. Hilbert's tenth problem has been solved, and it has a negative answer: such a general algorithm does not exist. This is the result of combined work of Martin Davis, Yuri Matiyasevich, Hilary Putnam and Julia Robinson which spans 21 years, with Matiyasevich completing the theorem in 1970. The theorem is now known as Matiyasevich's theorem or the MRDP theorem (an initialism for the surnames of the four principal contributors to its solution). When all coefficients and variables are restricted to be positive integers, the related problem of polynomial identity testing becomes a decidable (exponentiation-free) variation of Tarski's high school algebra problem, sometimes denoted (Wikipedia).

Hilbert's tenth problem
Video thumbnail

Turing Machines & The Halting Problem (Part 1)

In the year 1900, David Hilbert gave a list of 23 mathematics problems for the mathematicians of the new generation. His tenth problem proved to be an enigma for many years until Alan Turing solved it while simultaneously creating the modern computer. Watch the video to see how Alan Turi

From playlist Math

Video thumbnail

Yuri Matiyasevich - On Hilbert's 10th Problem [2000]

On Hilbert's 10th Problem - Part 1 of 4 Speaker: Yuri Matiyasevich Date: Wed, Mar 1, 2000 Location: PIMS, University of Calgary Abstract: A Diophantine equation is an equation of the form $ D(x_1,...,x_m) $ = 0, where D is a polynomial with integer coefficients. These equations were n

From playlist Number Theory

Video thumbnail

M. Kisin - Hilbert's thirteenth problem and the moduli space of abelian varieties

The (multi-valued) solution of a general polynomial of degree n is a priori a function of n-1 variables. Hilbert's thirteenth problem and its variants ask when such functions can be written as a composite of functions in a smaller number of variables. I will explain some progress on this q

From playlist Arithmetic and Algebraic Geometry: A conference in honor of Ofer Gabber on the occasion of his 60th birthday

Video thumbnail

Space-Filling Curves (2 of 4: Hilbert Curve)

More resources available at www.misterwootube.com

From playlist Exploring Mathematics: Fractals

Video thumbnail

The Geometry of Hilbert's 13th problem - Jesse Wolfson

Special Seminar on Hilbert's 13th Problem I Topic: The Geometry of Hilbert's 13th problem Speaker: Jesse Wolfson Affiliation: University of California, Irvine Date: December 5, 2019 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Hilbert Curve

This shows a 3d print of a mathematical sculpture I produced using shapeways.com. This model is available at http://shpws.me/2toQ.

From playlist 3D printing

Video thumbnail

Barry Mazur - Logic, Elliptic curves, and Diophantine stability

This is the first lecture of the 2014 Minerva Lecture series at the Princeton University Mathematics Department October 14, 2014 An introduction to aspects of mathematical logic and the arithmetic of elliptic curves that make these branches of mathematics inspiring to each other. Specif

From playlist Minerva Lectures - Barry Mazur

Video thumbnail

Uncomputable problems: Theory of Computation (Apr 30, 2021)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Download class notes from class website. Class website: http://cstaecker.fairfield.edu/~cstaecker/courses/2021s3342/

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

John Pardon: Totally disconnected groups (not) acting on three-manifolds

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Geometry

Video thumbnail

Unentscheidbare Probleme in der Mathematik

Prof. Dr. Dr. Katrin Tent, Mathematikerin von der Universität Münster und derzeit Gastwissenschaftlerin am Hausdorff Research Institute for Mathematics (HIM) der Universität Bonn, sprach im 200. Jahr des Bestehens der Bonner Alma Mater über "Unterschjeidbare Probleme in der Mathematik":

From playlist Hausdorff Center goes public

Video thumbnail

CTNT 2020 - Elliptic curves and the local-global principle for quadratic forms - Asher Auel

The Connecticut Summer School in Number Theory (CTNT) is a summer school in number theory for advanced undergraduate and beginning graduate students, to be followed by a research conference. For more information and resources please visit: https://ctnt-summer.math.uconn.edu/

From playlist CTNT 2020 - Conference Videos

Video thumbnail

Mod-01 Lec-21 Projection Theorem in a Hilbert Spaces (Contd.) and Approximation

Advanced Numerical Analysis by Prof. Sachin C. Patwardhan,Department of Chemical Engineering,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Bombay: Advanced Numerical Analysis | CosmoLearning.org

Video thumbnail

Mod-01 Lec-22 Discretization of ODE-BVP using Least Square Approximation

Advanced Numerical Analysis by Prof. Sachin C. Patwardhan,Department of Chemical Engineering,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Bombay: Advanced Numerical Analysis | CosmoLearning.org

Video thumbnail

What is... an elliptic curve?

In this talk, we will define elliptic curves and, more importantly, we will try to motivate why they are central to modern number theory. Elliptic curves are ubiquitous not only in number theory, but also in algebraic geometry, complex analysis, cryptography, physics, and beyond. They were

From playlist An Introduction to the Arithmetic of Elliptic Curves

Video thumbnail

Joshua Ciappara: Hilbert Schemes Lecture 10

SMRI Seminar Series: 'Hilbert Schemes' Lecture 10 Representations of Heisenberg algebras on homology of Hilbert schemes Joshua Ciappara (University of Sydney) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way tha

From playlist SMRI Course: Hilbert Schemes

Video thumbnail

Rings 16 Factorization of polynomials

This lecture is part of an online course on rings and modules. We discuss the problem of factorising polynomials with integer coefficients, and in particular give some tests to see whether they are irreducible. For the other lectures in the course see https://www.youtube.com/playlist?lis

From playlist Rings and modules

Video thumbnail

A Maths Puzzle: Find the nine digit number solution

Solution to the nine digit number puzzle. Sorry for the bad audio. Thanks to Mismag822 or the problem, which kept me awake when I had a presentation in the morning. Swine.

From playlist My Maths Videos

Related pages

Tarski's high school algebra problem | Emil Leon Post | Fibonacci number | Green–Tao theorem | Chinese remainder theorem | If and only if | Undecidable problem | Matiyasevich's theorem | Solomon Feferman | Riemann hypothesis | Algebraic variety | Algebraic number field | Fermat's Last Theorem | Polynomial | Greatest common divisor | David Hilbert | Rational number | Polynomial identity testing | Julia Robinson | Coq | Lagrange's four-square theorem | Natural number | Integer | Computability theory | Turing machine | Ring (mathematics) | Conditional proof | Diophantine set | Galois group | Four color theorem | Diophantine equation | Tuple | Formal system | Hilary Putnam | Thoralf Skolem | Algorithm | Abelian group | Goldbach's conjecture