Model theorists | Lattice theorists
Thoralf Skolem
Thoralf Albert Skolem (Norwegian: [ˈtùːrɑɫf ˈskùːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory. (Wikipedia).
Model theorists | Lattice theorists
Thoralf Albert Skolem (Norwegian: [ˈtùːrɑɫf ˈskùːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory. (Wikipedia).
Lis Sørensen - Stille før storm
From playlist Western Music
The End of the World // Ragnarok as told by Snorri Sturluson // 13th century Norse Source
"...and at the end of world he shall go forth and harry, and overcome all the gods, and burn all the world with fire..." Here we have the 13th century lawspeaker and historian Snorri Sturluson's description of the Norse end of the world - Ragnarok ('twilight of the gods') - and the final
From playlist Vikings
PHILOSOPHY - Soren Kierkegaard
Soren Kierkegaard is useful to us because of the intensity of his despair at the compromises and cruelties of daily life. He is a companion for our darkest moments. Find out more by reading our book "Life lessons from Kierkegaard" (we ship worldwide): http://www.theschooloflife.com/shop/li
From playlist WESTERN PHILOSOPHY
Holmboeprisvinner Ingunn Valbekmo
Ingunn Valbekmo mottok Holmboeprisen for 2016. I denne videon får vi et innblikk i hennes lærerhverdag, hvordan hun underviser og hvordan hun har engasjert eleven sine innen matematikkfaget.
From playlist The Holmboe Prize
The myth of Loki and the deadly mistletoe - Iseult Gillespie
Discover the Norse myth of Baldur, the most beloved being in Asgard, and how the trickster god Loki plotted his death. -- Baldur was the gentlest and most beloved being in all of Asgard. But lately, he had been plagued by gruesome visions foretelling his own imminent death. Determined t
From playlist Myths from Around the World
"Drei Minuten Spaß mit Logik & Co.", Folge 2: Leere Menge, Reaktionen auf Folge 1, mit Thoralf Räsch
Thoralf Räsch beantwortet Rückfragen auf Folge 1: Braucht man die Zahl 0, um die leere Menge zu beschreiben? Wieso kann eine leere Menge überhaupt existieren? Wo nichts ist, da kann doch nicht plötzlich was sein? Zur Reihe ""Drei Minuten Spaß mit Logik & Co.": Mathematik als Wissenschaft
From playlist Drei Minuten Spaß mit Logik & Co.
Vikings: Meet Ragnar Lothbrok | History
Watch Knightfall, Mondays at 10/9c! Travis Fimmel plays Ragnar Lothbrok, a curious farmer with a thirst for adventure who believes he is a descendent of the god Odin and dreams of exploring new lands across the ocean. HISTORY®, now reaching more than 98 million homes, is the leading dest
From playlist Vikings: Best of Ragnar Lothbrok | History
"Drei Minuten Spaß mit Logik & Co.", Folge 1: Die Leere Menge, mit Thoralf Räsch
Was ist eine Menge in der Mathematik? Gibt es Mengen ohne Elemente? Wie kann man diese definieren? Zur Reihe "Drei Minuten Spaß mit Logik & Co.": Mathematik als Wissenschaft zu betreiben, ist vielleicht nicht einfach und braucht auf jeden Fall - wie die Entwicklung der meisten Kompetenz
From playlist Drei Minuten Spaß mit Logik & Co.
"Drei Minuten Spaß mit Logik & Co.", Folge 4: Naive Mengenlehre, mit Thoralf Räsch
In welchem Sinne ist die "Naive Mengenlehre" naiv? Kann da was Schlimmes schiefgehen? Zur Reihe "Drei Minuten Spaß mit Logik & Co.": Mathematik als Wissenschaft zu betreiben, ist vielleicht nicht einfach und braucht auf jeden Fall - wie die Entwicklung der meisten Kompetenzen - sehr vie
From playlist Drei Minuten Spaß mit Logik & Co.
Peter Sarnak - The Selberg Integral, Rankin Selberg Method, Arithmeticity [2008]
http://www.ams.org/notices/200906/rtx090600692p-corrected.pdf Saturday, January 12 12:00 PM Peter Sarnak The Selberg Integral, Rankin Selberg Method, Arithmeticity Atle Selberg Memorial Memorial Program in Honor of His Life & Work January 11-12, 2008 Renowned Norwegian mathematician A
From playlist Number Theory
Mathematik ist in Musik - Mathematics is in Music
UNESCO has declared the 14th of March to be the International Day of Mathematics (IDM). The topic in 2020 is “Mathematics Is Everywhere”. #idm314. The International Mathematical Union is putting together a collective video for this event. Clips from all over the world will illustrate the
From playlist Hausdorff Center goes public
Lajos Hajdu: Skolem’s conjecture and exponential Diophantine equations
CIRM VIRTUAL CONFERENCE Recorded during the meeting " Diophantine Problems, Determinism and Randomness" the November 24, 2020 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide
From playlist Virtual Conference
Raus aus der Klasse, rein in die Mathematik
Die mathematischen Spaziergänge der Uni Bonn führen Schulklassen der Region an verschiedene Orte außerhalb des Klassenzimmers, an denen Mathematik erlebt wird. Die Schülerinnen und Schüler wenden ihr Wissen an solchen mathematischen Fragen an, die mit der Architektur und Natur der Städte B
From playlist Hausdorff Center goes public
"Drei Minuten Spaß mit Logik & Co.", Folge 3: Implikation oder: Was mache ich, wenn es NICHT regnet?
"Wenn es morgen regnet, nehme ich meinen Schirm mit." Den Satz versteht jedes Kind. Aber was ist, wenn es nicht regnet? Habe ich für diesen Fall eine Aussage getroffen? Zur Reihe "Drei Minuten Spaß mit Logik & Co.": Mathematik als Wissenschaft zu betreiben, ist vielleicht nicht einfach u
From playlist Drei Minuten Spaß mit Logik & Co.
"Drei Minuten Spaß mit Logik & Co.", Folge 6: Implikationen - eine weitere Reaktion auf Folge 3
Was bedeutet "hinreichend" und "notwendig"? Und nicht nur Informatiker wissen: Der Wahrheitsgehalt der Aussage "Aus 1 + 1 = 0 folgt 1 + 0 = 0" ist vom Kontext abhängig. Zur Reihe "Drei Minuten Spaß mit Logik & Co.": Mathematik als Wissenschaft zu betreiben, ist vielleicht nicht einfach
From playlist Drei Minuten Spaß mit Logik & Co.
Live CEOing Ep 263: Predicate Logic Theorem Proving in Wolfram Language
Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Predicate Logic Theorem Proving in the Wolfram Language.
From playlist Behind the Scenes in Real-Life Software Design
Automated Theorem Proving and Axiomatic Mathematics
Jonathan Gorard
From playlist Wolfram Technology Conference 2019
Murat Erdemsel & Sigrid Van Tilbeurgh - Vals
From playlist Tango