## 92 Citations

### A formal system of mathematics based on definitions.

- Mathematics
- 2020

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?

- MathematicsPillars of Computer Science
- 2008

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

- Philosophy
- 2006

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?

- Philosophy
- 2004

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

- 2021

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

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

- PhysicsBulletin of the National Technical University "KhPI" A series of "Information and Modeling"
- 2018

Методы квантовой физики сегодня проникают в различные области теоретических дисциплин. В этой статье, основанной на принципах квантовой механики, введена однородная геометрическая модель эксперимента…

### Cognitive tensor model of a system based on Von Neumann classes

- Computer ScienceBulletin of the National Technical University "KhPI" A series of "Information and Modeling"
- 2018

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

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

- Psychology
- 2018

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…