- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Should Type Theory Replace Set Theory as the Foundation of Mathematics? ; volume:33 ; number:1 ; day:13 ; month:2 ; year:2023 ; pages:1-13 ; date:2.2023
Axiomathes ; 33, Heft 1 (13.2.2023), 1-13, 2.2023
- Creator
-
Altenkirch, Thorsten
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10516-023-09676-0
- URN
-
urn:nbn:de:101:1-2023121314112875004740
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:26 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Altenkirch, Thorsten
- SpringerLink (Online service)
Other Objects (12)
Discussion of foundation of mathematics and quantum theory
Can integrity replace institutions? : theory and evidence
Fuzzy mathematics : approximation theory
Quantum information theory : mathematical foundation
Media theory : interdisciplinary applied mathematics
Number theory and discrete mathematics
Group prioritarianism: why AI should not replace humanity
Algebraic foundation of Group Field Theory
An Alternative Foundation of Quantum Theory
Automated theory formation in pure mathematics
Elements of mathematics, [...]. Theory of sets
Mathematics in the alternative set theory
Discussion of foundation of mathematics and quantum theory
Can integrity replace institutions? : theory and evidence
Fuzzy mathematics : approximation theory
Quantum information theory : mathematical foundation
Media theory : interdisciplinary applied mathematics
Number theory and discrete mathematics
Group prioritarianism: why AI should not replace humanity
Algebraic foundation of Group Field Theory
An Alternative Foundation of Quantum Theory
Automated theory formation in pure mathematics
Elements of mathematics, [...]. Theory of sets
Mathematics in the alternative set theory
Discussion of foundation of mathematics and quantum theory
Can integrity replace institutions? : theory and evidence
Fuzzy mathematics : approximation theory
Quantum information theory : mathematical foundation
Media theory : interdisciplinary applied mathematics
Number theory and discrete mathematics
Group prioritarianism: why AI should not replace humanity
Algebraic foundation of Group Field Theory
An Alternative Foundation of Quantum Theory
Automated theory formation in pure mathematics
Elements of mathematics, [...]. Theory of sets