Jäger, Gerhard (2017). The Operational Penumbra: Some Ontological Aspects. In: Feferman on Foundations 13 (pp. 253-283). Cham: Springer International Publishing 10.1007/978-3-319-63334-3_10
Full text not available from this repository.
Official URL: https://link.springer.com/chapter/10.1007/978-3-31...
Feferman’s explicit mathematics and operational set theory are two important examples of families of theories providing an operational approach to mathematics. My aim here is to survey some central developments in these two fields, to sketch some of Fefeman’s main achievements, and to relate them to the work of others. The focus of my approach is on ontological questions.
Item Type: |
Book Section (Book Chapter) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) |
UniBE Contributor: |
Jäger, Gerhard Max |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISBN: |
978-3-319-63332-9 |
Publisher: |
Springer International Publishing |
Language: |
English |
Submitter: |
Lukas Jaun |
Date Deposited: |
23 Jul 2018 13:01 |
Last Modified: |
05 Dec 2022 15:15 |
Publisher DOI: |
10.1007/978-3-319-63334-3_10 |
URI: |
https://boris.unibe.ch/id/eprint/117361 |
Actions (login required)
 |
Edit item |