Matroids Matheplanet Forum Index
Moderiert von matroid
Matroids Matheplanet Forum Index » Aktuelles und Interessantes » Kevin Buzzard: What is a proof?
Autor
Kein bestimmter Bereich Kevin Buzzard: What is a proof?
tactac
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 15.10.2014
Mitteilungen: 2337
  Themenstart: 2021-11-28

Kevin Buzzard philosophiert ein wenig über (d.h. vor allem: beantwortet nicht) die Frage, was denn ein Beweis sei. Dabei geht es auch um moderne Technologien wie Beweisassistenten, speziell Lean.


   Profil
Hans-Juergen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 31.03.2003
Mitteilungen: 1444
Wohnort: Henstedt-Ulzburg
  Beitrag No.1, eingetragen 2021-11-28

Ganz interessant. Wenn der Professor nur nicht so viel hin- und herrennen würde. Das irritiert mich gewaltig. Gruß Hans-Jürgen


   Profil
Slash
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 23.03.2005
Mitteilungen: 8692
Wohnort: Sahlenburg (Cuxhaven)
  Beitrag No.2, eingetragen 2021-11-29

\quoteon(2021-11-28 19:46 - Hans-Juergen in Beitrag No. 1) Wenn der Professor nur nicht so viel hin- und herrennen würde. Das irritiert mich gewaltig. \quoteoff Ein Paar engere Hosen würden schon helfen 😉. Allerdings... in was für einer friedvollen Welt würden wir leben, wenn alle Anzugträger (vor allem aus der Politik) ihren stofflichen Schutzpanzer gegen solch ein Schlabberoutfit tauschen würden.


   Profil
tactac hat die Antworten auf ihre/seine Frage gesehen.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2022 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]