Work

John Stillwell*Reverse Mathematics: Proofs from the Inside Out

Year: 2020

Type: article

Source: Philosophia Mathematica

DOI: 10.1093/philmat/nkaa003

Author: Benedict Eastaugh

Institution: Ludwig-Maximilians-Universität München

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: closed

Funders: Deutsche Forschungsgemeinschaft, Agence Nationale de la Recherche

Awards: Formalism, Formalization,Intuition and Understanding in Mathematics: From Informal Practice to Formal Systems and Back Again, Formalismus, Formalisierung, Intuition und Verstehen in der Mathematik: Von der informellen Praxis zu formalen Systemen und zurück

OpenAlex ID: W3008402155

FWCI:

Cites: 13

Cited by:

Related to: 10