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}
}
1 Citations

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

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

  • J. Carl
  • Philosophy
    Science 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

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

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

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

  • W. Sieg
  • Philosophy
    Bulletin of Symbolic Logic
  • 1999
TLDR
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

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

TLDR
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

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

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
...