Computability theorists

Wilhelm Ackermann

Wilhelm Friedrich Ackermann (/ˈækərmən/; German: [ˈakɐˌman]; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. (Wikipedia).

Wilhelm Ackermann
Video thumbnail

Der Nürnberger Prozess - Die Verteidigung (7/8) / Hauptkriegsverbrecher-Prozess

Generaloberst, Alfred Jodl, Luise Jodl, Hilfsverteidigerin, Prof. Dr. Franz Exner, Wehrmachtsführungsstab, Feldmarschall, Wilhelm Keitel, Wilhelm Bodewin Johann Gustav Keitel, Befehlshaber, Arbeitspflichtgesetz, Arthur Seyß-Inquart, Reichskommissar, Zwangsarbeit, Judenverfolgung, Deportati

From playlist Der Nürnberger Prozess - Die Verteidigung

Video thumbnail

Gastkommentar: Kunst & Rechtsgeschichte mit Rechtshistoriker Stefan Vogenauer

Was sieht ein Rechtshistoriker in den Werken der Städel Sammlung? In diesem Gastkommentar eröffnet Stefan Vogenauer (Direktor am Max-Planck-Institut für Rechtsgeschichte und Rechtstheorie) seine individuelle Sichtweise auf die Kunstwerke im Städel Museum. Er schaut sich Job Adriaenszoon B

From playlist Video-Empfehlungen

Video thumbnail

Hitler - The Road to Revenge

Portraits of Power - Hitler - The Road to Revenge Narrated by Henry Fonda Adolf Hitler (20 April 1889 -- 30 April 1945) was an Austrian-born German politician and the leader of the Nazi Party (German: Nationalsozialistische Deutsche Arbeiterpartei (NSDAP); National Socialist German Worker

From playlist Portraits of Power - Those who shaped the Twentieth Century

Video thumbnail

Artur Axmann – Einziges Interview mit dem Reichsjugendführer, 1995 (Teil 1)

Der ehemalige Reichsjugendführer Artur Axmann (1913-1996) und Nachfolger von Baldur von Schirach, der nach dem Krieg kurze Zeit unter dem Tarnnamen Erich Siewert untergetaucht war, spricht 50 Jahre nach dem Kriegsende erstmalig ganz offen in einem Interview über seine Erlebnisse und bietet

From playlist Artur Axmann - Einziges Interview mit dem Reichsjugendführer

Video thumbnail

Prof. Wolfgang Leonhard - Interview mit einem Kenner der Sowjetunion und des Kommunismus (1994) 2/2

Rohmaterial eines Interviews aus 1994 mit dem Historiker, Publizisten und Schriftsteller, Prof. Wolfgang Leonhard (16.4.1921 in Wien - 17.08.2014). Er war einer der führenden Kenner der Sowjetunion und des Kommunismus. Leonhard war Mitglied der Gruppe Ulbricht und wurde bekannt durch seine

From playlist Interview-Rohmaterial aus unserem Archiv

Video thumbnail

Artur Axmann – Einziges Interview mit dem Reichsjugendführer, 1995 (Teil 2)

Der ehemalige Reichsjugendführer Artur Axmann (1913-1996) und Nachfolger von Baldur von Schirach, der nach dem Krieg kurze Zeit unter dem Tarnnamen Erich Siewert untergetaucht war, spricht 50 Jahre nach dem Kriegsende erstmalig ganz offen in einem Interview über seine Erlebnisse und bietet

From playlist Artur Axmann - Einziges Interview mit dem Reichsjugendführer

Video thumbnail

Zahlen und Geometrie. Antrittsvorlesung Prof. Peter Scholze

Am dies academicus der Universität Bonn im lfd. Sommersemester 2017 hat Prof. Dr. Peter Scholze (geb. 1987, u. a. Leibniz-Preisträger) seine Antrittsvorlesung gehalten. Peter Scholze ist Hausdorff Chair am Exzellenzcluster Hausdorff Center for Mathematics der Universität Bonn. Weitere Inf

From playlist Peter Scholze

Video thumbnail

Der Nürnberger Prozess - Das Urteil (2/9) / Hauptkriegsverbrecher-Prozess

Plädoyer, Robert Jackson, Beweismaterial, der historische Text der Schande und Verderbtheit der 20. Jahrhunderts, Joachim von Ribbentrop, Wilhelm Keitel, Wehrmacht, Ernst Kaltenbrunner, Großinquisitor, Terror, Gefügigkeit, Alfred Rosenberg, Vernichtung des Judentums, Julius Streicher, obsz

From playlist Der Nürnberger Prozess - Das Urteil

Video thumbnail

Strong and Weak Epsilon Nets and Their Applications - Noga Alon

Noga Alon Tel Aviv University; Institute for Advanced Study November 7, 2011 I will describe the notions of strong and weak epsilon nets in range spaces, and explain briefly some of their many applications in Discrete Geometry and Combinatorics, focusing on several recent results in the in

From playlist Mathematics

Video thumbnail

Programming Loops vs Recursion - Computerphile

Programming loops are great, but there's a point where they aren't enough. Professor Brailsford explains. EXTRA BITS: https://youtu.be/DVG5G1V8Zx0 The Most Difficult Program to Compute?: https://youtu.be/i7sm9dzFtEI What on Earth is Recursion?: https://youtu.be/Mv9NEXX1VHc Reverse Poli

From playlist Subtitled Films

Video thumbnail

DART VII Richard Gustavson

Title: Differential Kernels and Bounds for the Consistency of Differential Equations

From playlist Differential Algebra and Related Topics VII (2016)

Video thumbnail

The Enormous TREE(3) - Numberphile

Professor Tony Padilla on the epic number, TREE(3). Continues at: https://youtu.be/IihcNa9YAPk More links & stuff in full description below ↓↓↓ Graham's Number: http://bit.ly/G_Number Numberphile is supported by the Mathematical Sciences Research Institute (MSRI): http://bit.ly/MSRINumbe

From playlist Tony Padilla on Numberphile

Video thumbnail

26C3: Chaos-Familien-Duell 6/12

Clip 6/12 Speakers: Alexander Brock, Marcel Ackermann Zwei Chaos-Familien treten gegeneinander an, doch es kann nur eine geben. Team-Anmeldungen sind begrenzt! Meldet Euch im Event-Wiki an: http://events.ccc.de/congress/2009/wiki/Chaos-Familien-Duell For more information go to: h

From playlist 26C3: Here be dragons day 1

Video thumbnail

Prof. Wolfgang Leonhard - Interview mit einem Kenner der Sowjetunion und des Kommunismus (1994) 1/2

Rohmaterial eines Interviews aus 1994 mit dem Historiker, Publizisten und Schriftsteller, Prof. Wolfgang Leonhard (1921 - 2014). Er war einer der führenden Kenner der Sowjetunion und des Kommunismus. Leonhard war Mitglied der Gruppe Ulbricht und wurde bekannt durch seinen Bestseller "Die R

From playlist Interview-Rohmaterial aus unserem Archiv

Video thumbnail

Kaiser Wilhelm II - The Last German Emperor I WHO DID WHAT IN WW1?

Kaiser Wilhelm II (1859-1941), Germany's last emperor, was born in Potsdam in 1859, the son of Frederick III. and Victoria, daughter of Queen Victoria. Wilhelm became emperor of Germany in 1888 following the death of Frederick II. During his rule, Germany's relations with Britain, France a

From playlist Who Did What In WW1?

Video thumbnail

Hitler and the Hohenzollerns - The Kaiser's Family & the Nazis

During the Nazi period, the former Imperial Family of Kaiser Wilhelm II maintained a strange relationship with Hitler, hoping that he would re-instate one of them to the post of Emperor. Dr. Mark Felton FRHistS, FRSA, is a well-known British historian, the author of 22 non-fiction books

From playlist Hitler Various Subjects

Video thumbnail

History of Science and Technology Q&A (Apr. 7, 2021)

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Originally livestreamed at: https://twitch.tv/stephen_wolfram/ Outline of Q&A 0:00 Stream starts 2:28 Stephen begins the stream 3:00 History of Lisp 40:40 What was ctrl+en

From playlist Stephen Wolfram Ask Me Anything About Science & Technology

Video thumbnail

The Most Difficult Program to Compute? - Computerphile

The story of recursion continues as Professor Brailsford explains one of the most difficult programs to compute: Ackermann's function. Professor Brailsford's programs: http://bit.ly/1nhKtW4 Follow Up Film from the Prof in response to this film: https://www.youtube.com/watch?v=uNACwX-O5l

From playlist Subtitled Films

Video thumbnail

Wer bestimmt den Wert? – Köln – #wonachsuchstdu

So mancher Bordeaux kostet ein Vermögen – der Wein allein kann‘s nicht sein. Wissenschaftlerinnen und Wissenschaftler am Kölner Max-Planck-Institut für Gesellschaftsforschung untersuchen, was den Wert von Gütern eigentlich ausmacht. Dieser definiert sich nicht nur über objektive Eigenschaf

From playlist Max-Planck-Deutschlandreise – #wonachsuchstdu

Video thumbnail

Regularity Lemmas and Other Extremal Results - Guy Moshkovitz

Short talks by postdoctoral members Topic: Regularity Lemmas and Other Extremal Results Speaker: Guy Moshkovitz Affiliation: Member, School of Mathematics Date: Oct 1, 2018 For more video please visit http://video.ias.edu

From playlist Mathematics

Related pages

Ackermann function | Set theory | Hereditarily finite set | Ackermann ordinal | Ackermann set theory | Decision problem | Hilbert system | David Hilbert | Entscheidungsproblem | Peano axioms | Proof theory | Decidability (logic) | Mathematics | Theory of computation | Real number | Jean van Heijenoort | Mathematical logic | Gödel's completeness theorem | Ordinal notation | First-order logic