Undecidable problems | Diophantine equations
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 10th Problem: Decision Problem on Solvability of Diophantine Equations
#shorts #mathonshorts
From playlist Elementary Number Theory
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
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
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
Space-Filling Curves (2 of 4: Hilbert Curve)
More resources available at www.misterwootube.com
From playlist Exploring Mathematics: Fractals
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
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
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
Lecture 24. Hilbert basis theorem
From playlist Abstract Algebra 2
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
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
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
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
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
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
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
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
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
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