Die Axiomatisierung der Mengenlehre

@article{NeumannDieAD,
  title={Die Axiomatisierung der Mengenlehre},
  author={John von Neumann},
  journal={Mathematische Zeitschrift},
  volume={27},
  pages={669-752}
}
  • J. Neumann
  • Published 1 December 1928
  • Mathematics
  • Mathematische Zeitschrift

A formal system of mathematics based on definitions.

It has been understood for more than a century that mathematical reasoning can in principle be formalized to the extend that it becomes machine readable and verifiable. The implementation of this

Why Sets?

Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far-away planet. Would their

Intuition and the Axiomatic Method

Preface Part I Mathematical Aspects Locke and Kant on Mathematical Knowledge : Emily Carson The View from 1763: Kant on the Arithmetical Method before Intuition : Ofra Rechter The Relation of Logic

T L  C S C W S?

Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far away planet. Would their

Das Protokoll-Buch

Godels Protokoll-Buch (Abb. 5.1) befindet sich in seinem Nachlass als Dokument Nr. 030114 in Box 6c, Folder 81. Auf den Microfilmen, die 1998 von dem Grosteil des Nachlass-Materials angefertigt

The math modeling cognitive issues of general system theory

  • V. TikhonovTykhonova Olena
  • Psychology
    Bulletin of the National Technical University "KhPI" A series of "Information and Modeling"
  • 2019
The paper focuses researches on general system theory. Related publications surveyed. Cognitive aspects of system math modeling studied. The issues of ‘state-space’ and ’space-structure’ discussed

A uniform geometrical presentation of a quantum system experiment

  • V. Tikhonov
  • Physics
    Bulletin of the National Technical University "KhPI" A series of "Information and Modeling"
  • 2018
Методы квантовой физики сегодня проникают в различные области теоретических дисциплин. В этой статье, основанной на принципах квантовой механики, введена однородная геометрическая модель эксперимента

Cognitive tensor model of a system based on Von Neumann classes

  • V. TikhonovO. Tykhonova
  • Computer Science
    Bulletin of the National Technical University "KhPI" A series of "Information and Modeling"
  • 2018
TLDR
A cognitive tensor model of a physical system on the base of hierarchical John Von Neumann classes is proposed, to promote a holistic insight on tensors by undergraduates.

Game, set, and graph

  • N. Biggs
  • Mathematics
    BSHM Bulletin: Journal of the British Society for the History of Mathematics
  • 2018
In the twentieth century the theory of games was transformed. It began as an amusing pastime, and ended as a major branch of mathematical research and a key paradigm of economic theory. Here it will

ICLE Set theory and the analyst

This survey is motivated by specific questions arising in the similarities and contrasts between (Baire) category and (Lebesgue) measure—category-measure duality and non-duality, as it were. The bulk
...