Mathematical logic | Undecidable problems | Metatheorems | Theory of computation | Computability theory
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).
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
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
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
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
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!
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
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
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
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
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
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
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
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
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
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
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
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
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
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!