عنوان
پدید آورنده
موضوع
رده
QA9.8 E795 2012
QA9
.
8
E795
2012
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642780520
(Number (ISBN
9783642780523
NATIONAL BIBLIOGRAPHY NUMBER
Number
b573760
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Foundations of mathematics :
General Material Designation
[Book]
Other Title Information
questions of analysis, geometry & algorithmics.
First Statement of Responsibility
Erwin Engeler
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
[Place of publication not identified]
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2012
CONTENTS NOTE
Text of Note
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.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
8
Book number
E795
2012
PERSONAL NAME - PRIMARY RESPONSIBILITY
Erwin Engeler
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Erwin Engeler
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
