Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Mathesis Universalis, Computability and Proof |
| Erscheinungsort | Cham |
| Seiten | 47-53 |
| Seitenumfang | 7 |
| ISBN (elektronisch) | 978-3-030-20447-1 |
| Publikationsstatus | Veröffentlicht - 2019 |
| Extern publiziert | Ja |
Publikationsreihe
| Name | Synthese Library |
|---|---|
| Band | 412 |
| ISSN (Print) | 0166-6991 |
| ISSN (elektronisch) | 2542-8292 |
Abstract
In constructive proofs of negated statements, case distinctions are permitted. We illustrate the strength of this well-known and useful fact in the context of automatic continuity in convex analysis. This sheds light on the level of logic needed to deduce some prominent results and thus fits in well with the concept of Proof Theory as Mathesis Universalis.
ASJC Scopus Sachgebiete
- Geisteswissenschaftliche Fächer (insg.)
- Wissenschaftsgeschichte und -philosophie
- Geisteswissenschaftliche Fächer (insg.)
- Verlauf
- Geisteswissenschaftliche Fächer (insg.)
- Sprache und Linguistik
- Mathematik (insg.)
- Logik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Mathesis Universalis, Computability and Proof. Cham, 2019. S. 47-53 (Synthese Library; Band 412).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review
}
TY - CHAP
T1 - Constructive Proofs of Negated Statements
AU - Berger, J.
AU - Svindland, G.
N1 - Funding information: This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sk?odowska-Curie grant agreement No 731143.
PY - 2019
Y1 - 2019
N2 - In constructive proofs of negated statements, case distinctions are permitted. We illustrate the strength of this well-known and useful fact in the context of automatic continuity in convex analysis. This sheds light on the level of logic needed to deduce some prominent results and thus fits in well with the concept of Proof Theory as Mathesis Universalis.
AB - In constructive proofs of negated statements, case distinctions are permitted. We illustrate the strength of this well-known and useful fact in the context of automatic continuity in convex analysis. This sheds light on the level of logic needed to deduce some prominent results and thus fits in well with the concept of Proof Theory as Mathesis Universalis.
UR - http://www.scopus.com/inward/record.url?scp=85114725498&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-20447-1_5
DO - 10.1007/978-3-030-20447-1_5
M3 - Contribution to book/anthology
SN - 978-3-030-20449-5
SN - 978-3-030-20446-4
T3 - Synthese Library
SP - 47
EP - 53
BT - Mathesis Universalis, Computability and Proof
CY - Cham
ER -