Pi ist genau 3

Formale Beweise

Listen Later

“Es gibt Beweise mit Löchern, Beweise mit Fehlern und Beweise, die nur zwei Leute auf der ganzen Welt verstehen. […] Um wirklich zu wissen, welche Resultate man glauben kann, muss man Teil eines inneren Zirkels sein und Zugang zu den Experten haben, die den Konsens herstellen.” sagt Kevin Buzzard.

Oder man beweist die Sätze formal.

  • Formale Theorembeweiser
  • Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started | SpringerLink
  • Isabelle
  • The Foundation of a Generic Theorem Prover
  • Lean
  • Xena | Mathematicians learning Lean by doing.
  • The Natural Number Game - Lean spielend lernen.
  • Building the Mathematical Library of the Future | Quanta Magazine
  • The liquid tensor experiment
  • Proof Assistant Makes Jump to Big-League Math
  • Liquid tensor experiment | Xena
  • Half a year of the Liquid Tensor Experiment: Amazing developments | Xena
  • Philosophisches
  • Pure maths in crisis? | plus.maths.org
  • Will Computers Redefine the Roots of Math? | Quanta Magazine
  • The philosophy of mathematics

    Feedback gerne an feedback (bei) pi-ist-genau-3.de

    ...more
    View all episodesView all episodes
    Download on the App Store
    Pi ist genau 3By Petra Schwer und Thomas Kahle

    More shows like Pi ist genau 3

    View all
    Radiowissen by Bayerischer Rundfunk

    Radiowissen

    107 Listeners

    IQ - Wissenschaft und Forschung by Bayerischer Rundfunk

    IQ - Wissenschaft und Forschung

    46 Listeners

    Geschichten aus der Geschichte by Richard Hemmer und Daniel Meßner

    Geschichten aus der Geschichte

    181 Listeners

    Hörsaal - Deutschlandfunk Nova by Deutschlandfunk Nova

    Hörsaal - Deutschlandfunk Nova

    25 Listeners

    Quarks Science Cops by Quarks

    Quarks Science Cops

    11 Listeners

    Lanz + Precht by ZDF, Markus Lanz & Richard David Precht

    Lanz + Precht

    312 Listeners

    Was bisher geschah - Geschichtspodcast by Joachim Telgenbüscher, Nils Minkmar

    Was bisher geschah - Geschichtspodcast

    50 Listeners

    Geschichten aus der Mathematik by detektor.fm – Das Podcast-Radio

    Geschichten aus der Mathematik

    1 Listeners

    Eine kurze Geschichte über... by NOISER

    Eine kurze Geschichte über...

    17 Listeners