Anzeige
Erschienen in:
2015 | OriginalPaper | Buchkapitel
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem
verfasst von : Jean-Raymond Abrial
Erschienen in: Theoretical Aspects of Computing - ICTAC 2015
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
This paper contains the informal presentation of a well known theorem on planar graphs: the theorem of Kuratowski (1930). This study is supposed to serve as an example for the proposed new discipline of Mathematical Engineering. The intend if this discipline is to show to informaticians, by means of examples, that there must exist important connections between rigorous mathematics and rigorous computer science. Moreover, in both cases, the mechanisation of proofs is becoming more and more fashionable these days. Such mechanisations cannot be performed without a clear understanding of the mathematical context that has to be rigorously described before engaging in the proof itself.