Gehen Sie mit der App Player FM offline!
Was ist ein Beweis?
Archivierte Serien ("Inaktiver Feed" status)
When? This feed was archived on February 26, 2024 18:29 (). Last successful fetch was on March 01, 2024 02:22 ()
Why? Inaktiver Feed status. Unsere Server waren nicht in der Lage einen gültigen Podcast-Feed für einen längeren Zeitraum zu erhalten.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 259225983 series 2656246
In dieser Folge sprechen wir über Beweise, Unbeweisbares und Prinzessinnen.
Wir klären, wie ein Beweis aussehen muss, damit man ihn glaubt.
Außerdem: Was kann man (nicht) beweisen und kann ein Computer Dinge für uns beweisen können?
- Pixibuch “Der Prinzessinnen Wettstreit”
- Leslie Lamport: “How to Write a 21st Century Proof”
- Daniel Solow: “How to Read and Do Proofs: An Introduction to Mathematical Thought Processes”
- G.H. Hardy: “Mathematical Proof”.
- Albrecht Beutelspacher: “Das ist o.B.d.A. trivial! Eine Gebrauchsanleitung zur Formulierung mathematischer Gedanken”
- Man kann nicht alles was richtig ist auch beweisen.
- Das Whitehead problem ist unabhängig von ZFC. D.h. es ist nicht beweisbar, aber das Gegenteil auch nicht. Man kann sich aussuchen, ob man die Aussage wahr oder falsch haben möchte.
- T. Franzen: Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse
- Von Neumanns Konstruktion der natürlichen Zahlen mittels Mengentheorie
53 Episoden
Archivierte Serien ("Inaktiver Feed" status)
When? This feed was archived on February 26, 2024 18:29 (). Last successful fetch was on March 01, 2024 02:22 ()
Why? Inaktiver Feed status. Unsere Server waren nicht in der Lage einen gültigen Podcast-Feed für einen längeren Zeitraum zu erhalten.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 259225983 series 2656246
In dieser Folge sprechen wir über Beweise, Unbeweisbares und Prinzessinnen.
Wir klären, wie ein Beweis aussehen muss, damit man ihn glaubt.
Außerdem: Was kann man (nicht) beweisen und kann ein Computer Dinge für uns beweisen können?
- Pixibuch “Der Prinzessinnen Wettstreit”
- Leslie Lamport: “How to Write a 21st Century Proof”
- Daniel Solow: “How to Read and Do Proofs: An Introduction to Mathematical Thought Processes”
- G.H. Hardy: “Mathematical Proof”.
- Albrecht Beutelspacher: “Das ist o.B.d.A. trivial! Eine Gebrauchsanleitung zur Formulierung mathematischer Gedanken”
- Man kann nicht alles was richtig ist auch beweisen.
- Das Whitehead problem ist unabhängig von ZFC. D.h. es ist nicht beweisbar, aber das Gegenteil auch nicht. Man kann sich aussuchen, ob man die Aussage wahr oder falsch haben möchte.
- T. Franzen: Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse
- Von Neumanns Konstruktion der natürlichen Zahlen mittels Mengentheorie
53 Episoden
Alle Folgen
×Willkommen auf Player FM!
Player FM scannt gerade das Web nach Podcasts mit hoher Qualität, die du genießen kannst. Es ist die beste Podcast-App und funktioniert auf Android, iPhone und im Web. Melde dich an, um Abos geräteübergreifend zu synchronisieren.