Mathematical logic | Undecidable problems | Metatheorems | Theory of computation | Computability theory

Entscheidungsproblem

In mathematics and computer science, the Entscheidungsproblem (pronounced [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm], German for 'decision problem') is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. The problem asks for an algorithm that considers, as input, a statement and answers "Yes" or "No" according to whether the statement is universally valid, i.e., valid in every structure satisfying the axioms. (Wikipedia).

Video thumbnail

Ansichten vom Ende - Einsatz an der Ostfront 1945 (1/2)

Hier den zweiten Teil der Dokumentation "Ansichten vom Ende - Einsatz an der Ostfront 1945" ansehen: https://youtu.be/FJCxU1r23Mk Über die Zeit von Anfang des Jahres 1945 bis zur Kapitulation im Mai 1945 geben ehemalige Soldaten, Offiziere, Hitlerjungen und Flüchtlinge/Vertriebene Auskunf

From playlist Kriegsende

Video thumbnail

Ansichten vom Ende - Einsatz an der Ostfront 1945 (2/2)

Hier den ersten Teil der Dokumentation "Ansichten vom Ende - Einsatz an der Ostfront 1945" ansehen: https://youtu.be/JLNbonaPdBk Über die Zeit von Anfang des Jahres 1945 bis zur Kapitulation im Mai 1945 geben ehemalige Soldaten, Offiziere, Hitlerjungen und Flüchtlinge/Vertriebene Auskunft

From playlist Kriegsende

Video thumbnail

Abgebrannt, na und? – Potsdam – #wonachsuchstdu

Feuer kann auch ein Neuanfang sein. Hier ist es sogar absolut notwendig. Denn nur dann, wenn die harte, hölzerne Samenkapsel der Banksia-Gewächse – australische Sträucher oder Bäume – großer Hitze ausgesetzt ist, öffnet sie sich, und die Samen können beim nächsten Regen keimen. Wie Umweltb

From playlist Max-Planck-Deutschlandreise – #wonachsuchstdu

Video thumbnail

Alan Turing and Animal Patterns (morphogenesis)

James Grime and Thomas Woolley in conversation about Alan Turing, morphogenesis and animal patterns. Turing's original paper: The chemical basis of morphogenesis http://www.dna.caltech.edu/courses/cs191/paperscs191/turing.pdf James Grime http://singingbanana.com Thomas Woolley http://peo

From playlist My Maths Videos

Video thumbnail

Impossible Programs (The Halting Problem)

Some programming problems are so hard that they’re impossible. We look at the first problem to have been proved undecidable, the halting problem, which was instrumental in forming the basis of the modern computer. Created by: Cory Chang Produced by: Vivian Liu Script Editors: Justin Chen,

From playlist Infinity, and Beyond!

Video thumbnail

Massemonster im Herzen der Milchstraße | Interview mit Prof. Reinhard Genzel

Interview mit Reinhard Genzel, Direktor am Max-Planck-Institut für extraterrestrische Physik (MPE) und Architekt des 30-jährigen Programms, das zur Entdeckung der Schwarzschild-Präzession um das schwarze Loch im Herzen unserer Milchstraße geführt hat. Genzel beschreibt den von seinem Team

From playlist Videos auf Deutsch

Video thumbnail

Wer bestimmt die Verkehrsregeln im Immunsystem? – Freiburg – #wonachsuchstdu

Immunzellen patrouillieren in den Blutgefäßen. Erst im Falle einer Entzündung oder Infektion des Gewebes erhalten sie grünes Licht, die Gefäße schlagartig zu verlassen. Hier geht es dann für die Zellen querfeldein – angezogen von Signalen, die vom beschädigten Gewebe ausgesandt werden. Wis

From playlist Max-Planck-Deutschlandreise – #wonachsuchstdu

Video thumbnail

Was macht das Klima? – Mainz – #wonachsuchstdu

Der CO2-Gehalt in der Atmosphäre war seit Jahrhunderttausenden nicht mehr so hoch wie heute. Um den aktuellen Klimawandel besser verstehen und das künftige Klima genauer vorhersagen zu können, schauen die Forscher*innen des Max-Planck-Instituts für Chemie in Mainz oft in die Vergangenheit.

From playlist Max-Planck-Deutschlandreise – #wonachsuchstdu

Video thumbnail

The First Five Kilobytes are the Hardest... - George Dyson

Institute Talk: March 16, 2012 George Dyson, Science and Technology Historian The history of digital computing can be divided into an Old Testament whose prophets, led by Gottfried Wilhelm Leibniz, supplied the logic, and a New Testament whose prophets, led by John von Neumann, built th

From playlist Public Lectures

Video thumbnail

Widerstand - Kampf gegen Hitler, Teil 5: Die Hoffnung der Demokraten

Die bürgerliche Opposition während der NS-Zeit ist Thema dieser Dokumentation. Sie formiert sich um den Leipziger Oberbürgermeister Carl Goerdeler und um Helmuth von Moltke, dem Begründer des "Kreisauer Kreises". Goerdeler versucht zunächst in seinem Bürgermeisteramt nationalsozialistisch

From playlist Widerstand im Nationalsozialismus - Kampf gegen Hitler

Video thumbnail

Heimatlos (1) - eine Dokumentation von Irmgard von zur Mühlen

Menschen auf der Flucht Menschen, die ihre Heimat verlassen mussten Das Schicksal der Vertriebenen aus den ehemals deutschen und von der Wehrmacht besetzten Gebiet. Die Dokumentation thematisiert das heute wieder aktuelle Thema der Heimatlosen; Flucht, Vertreibung und Zwangsumsiedlung vor

From playlist Nachkriegszeit

Video thumbnail

Alan Turing - Celebrating the life of a genius

Saturday 23 June 2012 marks the centenary of the birth of Alan Turing - mathematical genius, hero of the WWII code breakers of Bletchley Park, and father of modern computing. Alan Turing was a mathematician, cryptographer and pioneer of computer science who possessed one of the greatest

From playlist My Maths Videos

Video thumbnail

Can you tell the difference between AI and a human? | Michael Wooldridge | Big Think

Can you tell the difference between AI and a human?, with Michael Wooldridge Subscribe to Big Think on YouTube ►► https://www.youtube.com/c/bigthink/videos Up next ►► Walter Isaacson on Alan Turing, Intelligent Machines and "The Imitation Game" https://youtu.be/rz_99PBycSo The limits to

From playlist The future: artificial intelligence | Big Think

Video thumbnail

THIS 1936 Paper Theorized the FIRST Computer EVER, by Alan Turing

In 1936, Alan Turing wrote a paper that changed the course of history, titled "On Computable Numbers, with an Application to the Entscheidungsproblem", first introducing the Universal Turing Machine and laying the theoretical foundation of modern computing . It revolutionized the field of

From playlist Computer Science History Documentaries

Video thumbnail

Ethereum Q&A: Gas and Resource Allocation

How is “gas” used in Ethereum, Ethereum Classic, and other smart contract platforms? What does “Turing complete” mean? As a smart contract developer, how do I estimate how much the execution of my program will cost in gas? Chapters 0:00 How is gas used? Is it used only in Ethereum? 0:45 T

From playlist English Subtitles - aantonop Videos with subtitles in English

Video thumbnail

70 Jahre Grundgesetz: Wissenschaftsfreiheit in Gefahr? – Podiumsdiskussion

70 Jahre nach Inkrafttreten des Deutschen Grundgesetzes und des darin enthaltenen Artikels 5 Abs. 3 diskutierten Ulrich Becker, Direktor am Max-Planck-Institut für Sozialrecht und Sozialpolitik, Lorraine Daston, Direktorin am Max-Planck-Institut für Wissenschaftsgeschichte, und Ulrich Scho

From playlist Videos auf Deutsch

Video thumbnail

Alan Turing: Crash Course Computer Science #15

Today we’re going to take a step back from programming and discuss the person who formulated many of the theoretical concepts that underlie modern computation - the father of computer science himself: Alan Turing. Now normally we try to avoid “Great Man" history in Crash Course because tru

From playlist Computer Science

Video thumbnail

Vollständige Induktion - Beispielrechnung

Abonniert den Kanal, damit er auch in Zukunft bestehen kann. Es ist vollkommen kostenlos und ihr werdet direkt informiert, wenn ich einen Livestream anbiete. Hier erzähle ich etwas über eine typische Aufgabe im ersten Semester. Man soll einen ordentlichen Beweis für eine vollständige Induk

From playlist Analysis

Video thumbnail

Making a computer Turing complete

The 8-bit breadboard computer is certainly limited. But is it capable enough to even be a computer? In this video we explore how Turing Machines and the Lambda Calculus defined the whole class of "computable problems." And we talk about the relatively minor change needed to make the 8-bit

From playlist Building an 8-bit breadboard computer!

Related pages

Real closed field | Tarski–Seidenberg theorem | Truth value | Satisfiability modulo theories | Alonzo Church | Gödel numbering | Lambda calculus | Automated theorem proving | Oracle machine | Wilhelm Ackermann | David Hilbert | Model of computation | Computable function | Formal language | Peano axioms | Julia Robinson | Paul Bernays | Presburger arithmetic | Decidability (logic) | Alan Turing | Cylindrical algebraic decomposition | Natural number | Mathematics | Type system | Stephen Cole Kleene | Boolean satisfiability problem | Church–Turing thesis | Turing machine | Simplex algorithm | Halting problem | DPLL algorithm | Hilbert's tenth problem | Turing's proof | Diophantine equation | Structure (mathematical logic) | Gödel's completeness theorem | Hilary Putnam | Bertrand Russell | Alfred North Whitehead | Algorithm