ML-1998-02: Concepts and Axioms

ML-1998-02: Troelstra, A.S. (1998) Concepts and Axioms. [Report]

[thumbnail of Full Text] Text (Full Text)
ML-1998-02.text.ps.gz

Download (77kB)
[thumbnail of Abstract] Text (Abstract)
ML-1998-02.abstract.txt

Download (387B)

Abstract

The paper discusses the transition from informal concepts to
mathematically precise notions; examples are given, and in some
detail the case of lawless sequences, a concept of intuitionistic
mathematics, is discussed. A final section comments on philo­
sophical discussions concerning intuitionistic logic in connection
with a ``theory of meaning''.

Item Type: Report
Report Nr: ML-1998-02
Series Name: Mathematical Logic and Foundations (ML)
Year: 1998
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1391

Actions (login required)

View Item View Item