|
" Foundations of mathematics : "
Erwin Engeler
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
753799
|
| Doc. No
|
:
|
b573760
|
| Main Entry
|
:
|
Erwin Engeler
|
| Title & Author
|
:
|
Foundations of mathematics : : questions of analysis, geometry algorithmics.\ Erwin Engeler
|
| Publication Statement
|
:
|
[Place of publication not identified] : Springer, 2012
|
| ISBN
|
:
|
3642780520
|
|
|
:
|
: 9783642780523
|
| Contents
|
:
|
I. The Continuum.- 1 What Are the Real Numbers?.- 2 Language as Part of Mathematics.- 3 Elementary Theory of Real Numbers.- 4 Non-Standard Analysis.- 5 Axiom of Choice and Continuum Hypothesis.- II. Geometry.- 1 Space and Mathematics.- 2 Axiomatization by Means of Coordinates.- 3 Metatheoretical Questions and Methods in Elementary Geometry.- 4 Geometric Constructions.- III. Algorithmics.- 1 What is an Algorithm?.- 2 The Existence of Combinatory Algebras: Combinatory Logic.- 3 Concrete Combinatory Algebras.- 4 Lambda Calculus.- 5 Computability and Combinatorss.
|
| LC Classification
|
:
|
QA9.8E795 2012
|
| Added Entry
|
:
|
Erwin Engeler
|
| |