 |
|
You are here: Foswiki>Math Web>WasIstSeminar>WhatIsSeminar>WhatIsFormalMathematics (13 Dec 2016, kpoelke)Edit Attach
What is ... formal mathematics?
| This page hosts information on Martin Skrodzki's talk "What is ... formal mathematics?" at the "What is ...?" seminar. This talk will help you better understand the talk by Christoph Benzmüller. |
Where & When
- Friday, December 16, 2016, 1.00pm @ BMS Loft at Urania
Abstract
- To call something Formal Mathematics seems to be redundant. However, the field has its own merits, some of which shall be exemplified in the talk. We will take some initial steps to clarify what we understand by the notion of "proof". Having done this, we go on to formally prove a part of de Morgan's law. Furthermore, the "Donkey Sentence" will raise our awareness for difficulties in formal proofs. Finally, we will briefly get into the topic of Automated Theorem Provers and consider the famous proof of the irrationality of sqrt(2), formalized in Isabelle.
Edit | Attach | Print version | History: r2 < r1 | Backlinks | View wiki text | Edit wiki text | More topic actions
Topic revision: r1 - 13 Dec 2016, kpoelke
- User Reference
- BeginnersStartHere
- EditingShorthand
- Macros
- MacrosQuickReference
- FormattedSearch
- QuerySearch
- DocumentGraphics
- SkinBrowser
- InstalledPlugins
- Admin Maintenance
- Reference Manual
- AdminToolsCategory
- InterWikis
- ManagingWebs
- SiteTools
- DefaultPreferences
- WebPreferences
- Categories
ABI
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding Foswiki? Send feedback