Mathematical logic

Grundlagen der Mathematik

Grundlagen der Mathematik (English: Foundations of Mathematics) is a two-volume work by David Hilbert and Paul Bernays. Originally published in 1934 and 1939, it presents fundamental mathematical ideas and introduced second-order arithmetic. (Wikipedia).

Video thumbnail

Vortrag "Wo steht die mathematische Forschung?"

Im Jahr 2000 veröffentlichte das Clay Mathematics Institute eine Liste von sieben großen mathematischen Problemen. Diese Millennium-Probleme wurden damals als die zentralen Fragen der Mathematik angesehen. Sie sind – mit nur einer Ausnahme, der Poincaré-Vermutung – bis heute ungelöst. Zu d

From playlist Riemannsche Vermutung

Video thumbnail

"Symmetrie und Ähnlichkeit" - Vortrag von Prof. Martin Grohe

Aufzeichnung des Vortrags "Symmetrie und Ähnlichkeit" von Prof. Dr. Martin Grohe (RWTH Aachen) im Rahmen der öffentlichen Reihe "Brücken in der Mathematik" an der WWU Münster. Darum geht es: Muster auf Schmetterlingsflügeln, Schneekristalle, Blütenblätter – symmetrische Strukturen sind in

From playlist Brücken in der Mathematik

Video thumbnail

Griechische Buchstaben im Schnellkurs

Abonniert den Kanal oder unterstützt ihn auf Steady: https://steadyhq.com/en/brightsideofmaths Ihr werdet direkt informiert, wenn ich einen Livestream anbiete. Hier beschreibe ich ganz schnell griechische Buchstaben, wie sie üblicherweise in der deutschsprachigen Wissenschaft verwendet u

From playlist Analysis

Video thumbnail

Vortrag "Was lehrt uns die Geschichte über mathematische Probleme?"

Im Jahr 2000 veröffentlichte das Clay Mathematics Institute eine Liste von sieben großen mathematischen Problemen. Diese Millennium-Probleme wurden damals als die zentralen Fragen der Mathematik angesehen. Sie sind – mit nur einer Ausnahme, der Poincaré-Vermutung – bis heute ungelöst. Zu d

From playlist Riemannsche Vermutung

Video thumbnail

Gram-Schmidt - Ein Beispiel - (Gram-Schmidt'sches Orthonormalisierungsverfahren)

Abonniert den Kanal oder unterstützt ihn auf Steady: https://steadyhq.com/en/brightsideofmaths Ihr werdet direkt informiert, wenn ich einen Livestream anbiete. Das Gram-Schmidtsche Orthonormalisierungsverfahren ist einer der wichtigsten Verfahren bzw. Algorithmen in den Grundlagen der lin

From playlist Vektoranalysis

Video thumbnail

Vollständige Induktion (Teil 2) – Die Türme von Hanoi (eine Rekursion) | Kaleidoskop der Mathematik

Wie viele Züge benötigt man, um das berühmte Stapelspiel „Die Türme von Hanoi“ zu lösen? Die Antwort kann mithilfe einiger systematischer Überlegungen gefunden werden: eine Rekursion. Das bedeutet, um die Lösung für eine bestimmte Zahl zu berechnen, muss man die Lösung für ihren Vorgänger

From playlist Kaleidoskop der Mathematik - Kurzvorlesungen für Schüler*innen der Oberstufe

Video thumbnail

Gram-Schmidt (Gram-Schmidt'sches Orthonormalisierungsverfahren)

Abonniert den Kanal oder unterstützt ihn auf Steady: https://steadyhq.com/en/brightsideofmaths Ihr werdet direkt informiert, wenn ich einen Livestream anbiete. Das Gram-Schmidtsche Orthonormalisierungsverfahren ist einer der wichtigsten Verfahren bzw. Algorithmen in den Grundlagen der li

From playlist Lineare Algebra

Video thumbnail

Vortrag "Sind Primzahlen dem Zufall unterworfen?"

Im Jahr 2000 veröffentlichte das Clay Mathematics Institute eine Liste von sieben großen mathematischen Problemen. Diese Millennium-Probleme wurden damals als die zentralen Fragen der Mathematik angesehen. Sie sind – mit nur einer Ausnahme, der Poincaré-Vermutung – bis heute ungelöst. Zu d

From playlist Riemannsche Vermutung

Video thumbnail

Partielle Differentialgleichungen Teil 1 (Sprechweisen)

Abonniert den Kanal, damit er auch in Zukunft bestehen kann. Es ist vollkommen kostenlos und ihr werdet direkt informiert, wenn ich einen Livestream anbiete. Videoreihe über partielle Differentialgleichungen. Hier erkläre ich die üblichen Sprechweisen bei partiellen Differentialgleichungen

From playlist Partielle Differentialgleichungen

Video thumbnail

Grothendieck-Gruppe - Konstruktion

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 die Konstruktion der Grothendieck-Gruppe in einem abstrakten Rahmen, aber mit elementaren Rechnungen. E

From playlist 1. Semester

Video thumbnail

23C3: Trust Your Eyes (de)

Speaker: Sonja Grundlagen der Visualisierung und wie man mit Visualisierungen „faken" kann Vorgestellt werden theoretische Grundlagen der Visualisierung und der menschlichen Wahrnehmung sowie einige Visualisierungstechniken. Im Anschluss wird exemplarisch dargestellt, wie leicht man dur

From playlist 23C3: Who can you trust

Video thumbnail

Vollständige Induktion (Teil 1) – In zwei Schritten zum Beweis | Kaleidoskop der Mathematik

Die Vollständige Induktion ist eine weitere grundlegende Beweistechnik und damit wichtiges Werkzeug für alle, die mathematisch arbeiten wollen. Bewiesen werden damit Aussagen über die natürlichen Zahlen. Dabei folgt man stets zwei gleichen Schritten, die Prof. Dr. Matthias Löwe hier vorste

From playlist Kaleidoskop der Mathematik - Kurzvorlesungen für Schüler*innen der Oberstufe

Video thumbnail

Mathematik für alle - in Zeiten von Corona, Folge 3: Unbekannte in der Mathematik

Was Sie schon immer über Mathematik wissen wollten, aber nie zu fragen wagten Nicht nur die Virologie, auch die Mathematik ist derzeit in aller Munde. Es wird von linearem und exponentiellem Wachstum gesprochen, von dynamischen Systemen, von Statistiken und Korrelationen, validen Testverf

From playlist Mathematik für alle - in Zeiten von Corona

Video thumbnail

Modellieren – Reale Probleme mathematisch lösen (Bertrand-Paradoxon) | Kaleidoskop der Mathematik

Mathematisches Modellieren ist das „Übersetzen“ von realen Fragestellungen in die Mathematik. Damit gehört es zur Angewandten Mathematik und taucht auch in der Schule im Mathematikunterricht auf. In diesem Video zeigt Prof. Dr. Matthias Löwe anhand des Bertrand-Paradoxons, welche Schwieri

From playlist Kaleidoskop der Mathematik - Kurzvorlesungen für Schüler*innen der Oberstufe

Video thumbnail

Mathematik für alle - in Zeiten von Corona, Folge 5: Was Mathematik NICHT zu Corona sagen kann

Was Sie schon immer über Mathematik wissen wollten, aber nie zu fragen wagten Nicht nur die Virologie, auch die Mathematik ist derzeit in aller Munde. Es wird von linearem und exponentiellem Wachstum gesprochen, von dynamischen Systemen, von Statistiken und Korrelationen, validen Testverf

From playlist Mathematik für alle - in Zeiten von Corona

Video thumbnail

"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.

Video thumbnail

Algebraische und geometrische Vielfachheit?

Abonniert den Kanal oder unterstützt ihn auf Steady: https://steadyhq.com/en/brightsideofmaths Ihr werdet direkt informiert, wenn ich einen Livestream anbiete. Hier erzähle ich etwas über algebraische Vielfachheiten und geometrischen Vielfachheiten von Eigenwerten einer Matrix, Diagonali

From playlist Lineare Algebra

Related pages

David Hilbert | Hilbert–Bernays paradox | Foundations of mathematics | Second-order arithmetic | Paul Bernays