Undecidable problems | Theory of computation

Mortality (computability theory)

In computability theory, the mortality problem is a decision problem which can be stated as follows: Given a Turing machine, decide whether it halts when run on any configuration (not necessarily a starting one) In the statement above, the configuration is a pair , where q is one of the machine's states (not necessarily its initial state) and w is an infinite sequence of symbols representing the initial content of the tape. Note that while we usually assume that in the starting configuration all but finitely many cells on the tape are blanks, in the mortality problem the tape can have arbitrary content, including infinitely many non-blank symbols written on it. Philip K. Hooper proved in 1966 that the mortality problem is undecidable. However, it can be shown that the set of Turing machines which are mortal (i.e. halt on every starting configuration) is recursively enumerable. * v * t * e (Wikipedia).

Video thumbnail

Statistics 5_1 Confidence Intervals

In this lecture explain the meaning of a confidence interval and look at the equation to calculate it.

From playlist Medical Statistics

Video thumbnail

(PP 6.1) Multivariate Gaussian - definition

Introduction to the multivariate Gaussian (or multivariate Normal) distribution.

From playlist Probability Theory

Video thumbnail

(PP 6.4) Density for a multivariate Gaussian - definition and intuition

The density of a (multivariate) non-degenerate Gaussian. Suggestions for how to remember the formula. Mathematical intuition for how to think about the formula.

From playlist Probability Theory

Video thumbnail

Linear regression

Linear regression is used to compare sets or pairs of numerical data points. We use it to find a correlation between variables.

From playlist Learning medical statistics with python and Jupyter notebooks

Video thumbnail

(PP 6.7) Geometric intuition for the multivariate Gaussian (part 2)

How to visualize the effect of the eigenvalues (scaling), eigenvectors (rotation), and mean vector (shift) on the density of a multivariate Gaussian.

From playlist Probability Theory

Video thumbnail

(PP 6.6) Geometric intuition for the multivariate Gaussian (part 1)

How to visualize the effect of the eigenvalues (scaling), eigenvectors (rotation), and mean vector (shift) on the density of a multivariate Gaussian.

From playlist Probability Theory

Video thumbnail

The Origins of Suicide

One of the oddest facts about the tragedy of suicide is that it isn’t as common in every country, society and age. Rates of suicide appear to rise enormously the more a society becomes wealthy and industrialised. Why should this be? And how can we learn from this about how we might better

From playlist SELF

Video thumbnail

Birth Rates and Death Rates in Differential Equations (Differential Equations 33)

https://www.patreon.com/ProfessorLeonard How changing Birth Rates and Death Rates can effect population growth and be modeled with Differential Equations.

From playlist Differential Equations

Video thumbnail

What is a conditional probability?

An introduction to the concept of conditional probabilities via a simple 2 dimensional discrete example. If you are interested in seeing more of the material, arranged into a playlist, please visit: https://www.youtube.com/playlist?list=PLFDbGp5YzjqXQ4oE4w9GVWdiokWB9gEpm For more inform

From playlist Bayesian statistics: a comprehensive course

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

IMS Public Lecture: Some Mathematical Insights into Aging and Mortality

Steven Evans, University of California at Berkeley, USA

From playlist Public Lectures

Video thumbnail

10/25/19, Fabian Immler

Fabian Immler, Carnegie Mellon University Formal mathematics and a proof of chaos Formal proof has been successfully applied to the verification of hardware and software systems. But formal proof is also applicable to mathematics: proofs can be checked with ultimate rigor and one can bui

From playlist Fall 2019 Kolchin Seminar in Differential Algebra

Video thumbnail

Evolution of species ecological niche and geographical range by Ophelie Ronce

The Third Bangalore School on Population Genetics and Evolution DATE:05 March 2018 to 17 March 2018 VENUE:Ramanujan Lecture Hall, ICTS Bangalore. No living organism escapes evolutionary change. Evolutionary biology thus connects all biological disciplines. To understand the processes dri

From playlist Third Bangalore School on Population Genetics and Evolution

Video thumbnail

Data Analysis Projects Python 2022 | 3 Amazing Python Projects To Add In Your Resume | Simplilearn

In this Data Analysis Projects Python 2022 video, you'll learn about 3 really interesting data analysis projects that you can work on to get hands-on experience. You will look at IPL data analysis, Formula 1 analysis and Dr. Semmelweis handwashing case study using Python programming and li

From playlist Python For Beginners 🔥[2022 Updated]

Video thumbnail

YCEI Sixth Annual Conference Future of Nuclear Energy Welcome/Keynote Address

YCEI Sixth Annual Conference Future of Nuclear Energy Welcome/Keynote Address, Pushker Kharecha, Columbia University Leading academics, industry professionals, former and current government officials gather to discuss the needs, impediments and opportunities for using nuclear energy to add

From playlist YCEI's 6th Annual Conference: "The Future of Nuclear Energy"

Video thumbnail

Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2

My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im

From playlist Summer of Math Exposition 2 videos

Video thumbnail

The Logic of Aristotle

Gabriele Giannantoni explains the logic of Aristotle in the context of the history of logic in interview from 1990. These clips are from the Multimedia Encyclopedia of the Philosophical Sciences. The translation is my own. #Philosophy #Aristotle

From playlist Aristotle

Video thumbnail

Which Is Worse: Underpopulation Or Overpopulation?

This video was made in partnership with Gates Ventures. The human population of the world will soon peak – and then decrease – thanks to a combination of two quickly changing economic and educational trends. LEARN MORE ************** To learn more about this topic, start your googling wi

From playlist Policy

Video thumbnail

Epidemiologists Debunk 14 New Myths About COVID-19

COVID-19 and misinformation that surrounds the disease are still spreading. We bring back Syra Madad (@syramadad) and Stephen Morse to debunk 14 new coronavirus myths. They talk about the effectiveness of masks and what it'll take to reopen schools and keep them open. They also debunk the

From playlist Debunked

Related pages

Undecidable problem | Computability theory | Decision problem | Turing machine