# On A.Ya. Khinchin's paper ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ (1926): A translation with introduction and commentary

@article{Verburgt2016OnAK, title={On A.Ya. Khinchin's paper ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ (1926): A translation with introduction and commentary}, author={Lukas M. Verburgt and Olga Hoppe-Kondrikova}, journal={Historia Mathematica}, year={2016}, volume={43}, pages={369-398} }

## One Citation

### The beginnings of the Soviet encyclopedia. The utopia and misery of mathematics in the political turmoil of the 1920s

- Economics
- 2018

In this paper, we focus on the beginning of the publication of the Great Soviet Encyclopedia, which was launched in 1925. We present the context of this launching and explain why it was tightly…

## References

SHOWING 1-10 OF 97 REFERENCES

### Brouwer versus Hilbert: 1907–1928

- PhilosophyScience in Context
- 1998

The Argument L. E. J. Brouwer and David Hubert, two titans of twentieth-century mathematics, clashed dramatically in the 1920s. Though they were both Kantian constructivists, their notorious…

### Kant's Mathematical Realism

- Philosophy
- 1984

Though my title speaks of Kant’s mathematical realism, I want in this essay to explore Kant’s relation to a famous mathematical anti-realist. Specifically, I want to discuss Kant’s influence on L. E.…

### The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940

- Philosophy
- 2011

Preface PART 1: HISTORY OF LOGIC 1. The Development of Mathematical Logic from Russell to Tarski, 1900-1935 OART 2: FOUNDATIONS OF MATHEMATICS 2. Hilbert and Bernays on Metamathematics 3. Between…

### Brouwer's intuitionism

- Philosophy
- 1990

The Brouwer Bibliography. Publications. Unpublished Papers. Brouwer, Life and Work. Childhood and Student Years. Post-Graduate Study. Life, Art and Mysticism. The Foundations of Mathematics. Towards…

### Hilbert's Programs: 1917–1922

- PhilosophyBulletin of Symbolic Logic
- 1999

The connection of Hilbert's considerations to issues in the foundations of mathematics during the second half of the 19th century is sketched, the work that laid the basis of modern mathematical logic is described, and the first steps in the new subject of proof theory are analyzed.

### Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930

- Philosophy
- 1988

Brouwer's criticism of mathematical proofs making essential use of the tertium non datur had a surprisingly late response in logical circles. Among the diverse reactions in the mid 1920s and early…

### Contemporary debates on the nature of mathematics

- MathematicsProbl. Inf. Transm.
- 2006

The goal of the republication of this article is not only to acquaint the reader with a scarcely known article of the great scientist but to invite him to observe the process of scientific progress.

### On The Epistemological Justification of Hilbert’s Metamathematics

- Philosophy
- 2005

The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will…

### The fate of one forgotten idea: N. A. Vasiliev and his imaginary logic

- Philosophy
- 1990

The fate of scientific ideas is whimsical. Very often time only gives us the opportunity to appraise the strength of forecasting of the scholar, the scale of his ideas, their orientation to the…