by Corry Shores
[Search Blog Here. Index-tags are found on the bottom of the left column.]
[Mathematics, Calculus, Geometry, Entry Directory]
[Logic and Semantics, entry directory]
[The collected brief summaries can be found at that link.]
Entry Directory for
Arend Heyting
Intuitionism: An Introduction
2.
Arithmetic
2.2
“Real Number Generators”
Definition; Relation of Coexistence
2.2.2
Inequality Relation Between Number-Generators
[Selections on inequality and negation]
2.2.3
Apartness-Relation Between Number-Generators
[Definition of Apartness of Number-Generators]
Heyting, Arend. Intuitionism. An Introduction. Amsterdam: North-Holland, 1956.
.
No comments:
Post a Comment