BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Nikolai Vavilov (St. Petersburg) DTSTART:20201105T090000Z DTEND:20201105T100000Z DTSTAMP:20260419T060348Z UID:CRMDS/23 DESCRIPTION:Title: 5 0 SHADES OF PROOF\nby Nikolai Vavilov (St. Petersburg) as part of West ern Sydney University Abend Seminars\n\n\nAbstract\nQui dit Mathématiques \, dit démonstration. The only problem is that there is no obvious standa rd of proof\, common for different areas of mathematics at different times .\n \nFor vast majority of mathematicians proofs are not mere texts\, and are intimately\nrelated to individual and collective understanding. From t his viewpoint FORMAL\nPROOFS are not higher forms of traditional proofs\, they ARE NOT mathematical\nPROOFS at all. Rather\, they play a role of tes timonies\, or experimental evidence\,\nurging us to find a real proof that might give such an understanding.\n \nI plan to discuss and illustrate by a medley of historical examples of various\nlevels\, the difference betwe en proofs\, verifications\, and their intermediate\nforms\, as far as thei r reliability\, transparency\, and durability.\n LOCATION:https://researchseminars.org/talk/CRMDS/23/ END:VEVENT END:VCALENDAR