Metadata
Author: WikiMatrix
Data
English[en]
Other formalists, such as Rudolf Carnap, Alfred Tarski, and Haskell Curry, considered mathematics to be the investigation of formal axiom systems.
Dutch[nl]
Andere formalisten, zoals Rudolf Carnap, Alfred Tarski en Haskell Curry, beschouwden wiskunde als het onderzoek van formele axioma-systemen.