Undecidable problems | Theory of computation | Computability theory

Post correspondence problem

The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability. (Wikipedia).

Video thumbnail

Geometry - Ch. 2: Reasoning and Proofs (32 of 46) Postulate 11: Intersecting Planes

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain Postulate 11: If 2 planes intersect, then their intersection is a line. Next video in this series can be seen at: https://youtu.be/EETEj8-etCM

From playlist GEOMETRY CH 2 PROOFS & REASONING

Video thumbnail

Parallel Line Postulate

This video states the parallel line postulate and shows how to construct parallel lines. http://mathispower4u.wordpress.com/

From playlist Parallel and Perpendicular Lines

Video thumbnail

Geometry - Ch. 4: Lines and Angles (2 of 37) Postulates of Parallel and Perpendicular Lines

Visit http://ilectureonline.com for more math and science lectures! In this video I will define and explain postulates of parallel and perpendicular lines. 1) If there is a line and a point not on the line then there is exactly one line through the point PARALLEL to the initial line. 2) I

From playlist GEOMETRY CH 4 LINES AND ANGLES

Video thumbnail

Geometry - Ch. 2: Reasoning and Proofs (29 of 46) Postulate 8: The Plane Postulate

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain Postulate 8: The Plane Postulate – Through any 3 non-collinear points, exists exactly one plane. Next video in this series can be seen at: https://youtu.be/NuiTMuNaUdA

From playlist GEOMETRY CH 2 PROOFS & REASONING

Video thumbnail

Geometry - Ch. 2: Reasoning and Proofs (28 of 46) Postulate 7: Line Intersect

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain Postulate 7: Line Intersection Postulate – If 2 lines intersect, then their intersection is exactly 1 point. Next video in this series can be seen at: https://youtu.be/2SrWjJ8qSoY

From playlist GEOMETRY CH 2 PROOFS & REASONING

Video thumbnail

Geometry - Ch. 2: Reasoning and Proofs (22 of 46) Postulate 1: Ruler (Numberline)

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain Postulate 1:The Ruler, or Number Line, Postulate – points on a line have corresponding points on a number line such that they can have “x-values” called “coordinates” of the points (x1, x2, x3

From playlist GEOMETRY CH 2 PROOFS & REASONING

Video thumbnail

Geometry - Ch. 2: Reasoning and Proofs (21 of 46) What is a Postulate?

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain what is a postulate. A postulate, or axium, is a proposition that is not proved or demonstrated but considered to be self evident. It is a “truth” that is accepted. A postulate serves as a sta

From playlist GEOMETRY CH 2 PROOFS & REASONING

Video thumbnail

Solving Linear Systems with Substitution and Linear Combination (Simultaneous Equations)

I take a system of linear equations and show you how to solve it with substition and then with linear combination. I show how you could find one answer, no answer, or many answers. Check out http://www.ProfRobBob.com, there you will find my lessons organized by class/subject and then by

From playlist PreCalculus

Video thumbnail

Geometry - Ch. 3: Proofs (5 of 17) Postulates Needed for Proofs

Visit http://ilectureonline.com for more math and science lectures! In this video I will define what is a postulate, and review some of the basic postulates needed for geometry proofs: linear pair, ruler, segment addition, protractor, angle addition, line intersecting lines, and plane. T

From playlist GEOMETRY CH 3 PROOFS

Video thumbnail

Undecidability and CFLs

Theory of Computation 10. Undecidability and CFLs ADUni

From playlist [Shai Simonson]Theory of Computation

Video thumbnail

DDPS | Prony's method, analytic continuation, and quantum signal processing by Lexing Ying

Description: Prony's method is a powerful algorithm for identifying frequencies and amplitudes from equally spaced signals. It is probably not as well-known as it should have been. In the first part of the talk, we will review the Prony's method. In the second part of the talk, we use the

From playlist Data-driven Physical Simulations (DDPS) Seminar Series

Video thumbnail

!!Con 2018: If you could solve this word tile puzzle, you could... by Kamal Marhubi

If you could solve this word tile puzzle, you could solve the halting problem! (Too bad you can’t!) by Kamal Marhubi The idea that there are undecidable problems – ones that simply cannot be solved with computers – is kind of mind-blowing. The most well-known is the halting problem: given

From playlist !!Con 2018

Video thumbnail

Theory of Computation: The Post Correspondence Problem

This video is for my Spring 2020 section of MA 342, for the class meeting on Friday April 24. Fast forward music is from "Now Get Busy" by the Beastie Boys, licensed Creative Commons Noncommercial Sampling Plus.

From playlist Math 342 (Theory of Computation) Spring 2020

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

Luc Blanchet: Theory of gravitational waves and approximation methods in general relativity

CIRM VIRTUAL EVENT Recorded during the meeting "Theory of Gravitation and Variation in Cosmology" the April 15, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematic

From playlist Virtual Conference

Video thumbnail

Assaf Rinot : Distributive Aronszajn trees

Abstract: It is well-known that the statement "all ℵ1-Aronszajn trees are special'' is consistent with ZFC (Baumgartner, Malitz, and Reinhardt), and even with ZFC+GCH (Jensen). In contrast, Ben-David and Shelah proved that, assuming GCH, for every singular cardinal λ: if there exists a λ+-

From playlist Logic and Foundations

Video thumbnail

Christian Gaetz: "Antichains and intervals in the weak order"

Asymptotic Algebraic Combinatorics 2020 "Antichains and intervals in the weak order" Christian Gaetz - Massachusetts Institute of Technology Abstract: The weak order is the partial order on the symmetric group S_n (or other Coxeter group) whose cover relations correspond to simple transp

From playlist Asymptotic Algebraic Combinatorics 2020

Video thumbnail

On Finite Types That Are Not h-Sets - Sergey Melikhov

Sergey Melikhov Steklov Mathematical Institute; Member, School of Mathematics February 14, 2013 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Signatures of theories beyond General Relativity through GW by Sumanta Chakraborty

DISCUSSION MEETING THE FUTURE OF GRAVITATIONAL-WAVE ASTRONOMY ORGANIZERS : Parameswaran Ajith, K.G. Arun, B.S. Sathyaprakash, Tarun Souradeep and G. Srinivasan DATE : 19 August 2019 to 22 August 2019 VENUE : Ramanujan Lecture Hall, ICTS Bangalore This discussion meeting, or

From playlist The Future of Gravitational-wave Astronomy 2019

Video thumbnail

Review Questions (Simultaneous Equations)

More resources available at www.misterwootube.com

From playlist Types of Relationships

Related pages

Chomsky hierarchy | Turing machine | Substring | Undecidable problem | Computation history | Boolean satisfiability problem | Turing degree | Decision problem | Entscheidungsproblem | Sequence | EXPTIME | Halting problem