|
|
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer
Book Archives mit Publikationen, die seit den Anfangen des Verlags
von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv
Quellen fur die historische wie auch die disziplingeschichtliche
Forschung zur Verfugung, die jeweils im historischen Kontext
betrachtet werden mussen. Dieser Titel erschien in der Zeit vor
1945 und wird daher in seiner zeittypischen politisch-ideologischen
Ausrichtung vom Verlag nicht beworben.
Nicht ohne Bedenken stand ich anfangs der Anregung des Herrn
Verlegers gegenuber, die in Kiel gehaltenen Vorlesungen zu
veroffentlichen; konnten doch diese, der Art der Horer und der
Kurze der Zeit entsprechend, nur in beschranktem Masse vollig Neues
bieten. Ich verschloss mich indes nicht der Uber zeugung, dass auch
die Sammlung und vor allem die von didak tischen Zielen geleitete
Darstellung vorhandenen Materials ihren Wert besitzen kann, wenn
dieses vielfaltig in Zeitschriften zer streut vorliegtl); das
trifft umsomehr zu, als ja die mathemati sche Produktion (die
eigenen Arbeiten des Verfassers nicht aus genommen) sich vorwiegend
in einem Gewand darbietet, das selbst den Fachgenossen, soweit sie
nicht gerade auf dem namlichen Sondergebiet arbeiten, das
Eindringen sehr erschwert. Uberdies bot die gegenuber
Originalaufsatz und Lehrbuch losere Form des Vortrags die
Moglichkeit, Neues nicht nur in Gestalt fertiger Resultate zu
geben, sondern auch in der Form gelegent licher Anregungen und
Hinweise auf noch ungeloste Probleme. Aus diesen Grunden wurden die
Vorlesungen, soweit dies nach traglich moglich war, in ihrer
ursprunglichen zwanglosen Form wiedergegeben, die fur Punkte von
grundsatzlicher Bedeutung auch gelegentliche Wiederholungen nicht
angstlich vermeidet."
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer
Book Archives mit Publikationen, die seit den Anfangen des Verlags
von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv
Quellen fur die historische wie auch die disziplingeschichtliche
Forschung zur Verfugung, die jeweils im historischen Kontext
betrachtet werden mussen. Dieser Titel erschien in der Zeit vor
1945 und wird daher in seiner zeittypischen politisch-ideologischen
Ausrichtung vom Verlag nicht beworben.
An Introduction to Metalogic is a uniquely accessible introduction
to the metatheory of first-order predicate logic. No background
knowledge of logic is presupposed, as the book is entirely
self-contained and clearly defines all of the technical terms it
employs. Yaqub begins with an introduction to predicate logic, and
ends with detailed outlines of the proofs of the incompleteness,
undecidability and indefinability theorems. Many other topics are
covered: expressive completeness, the basics of set theory,
infinite cardinalities, Cantor's Theorems, the Soundness and
Completeness Theorems, Turing machines, the Halting Problem,
predicate logic theories and their properties, elementary
equivalence, isomorphism, Peano Arithmetic, second-order predicate
logic and more.
Das Interesse allgemeinerer Kreise an der Mathematik hat in neuerer
Zeit entschieden zugenommen. Es ist dies die Folge teils der
Anwendungen, welche die Technik von dieser Wissenschaft macht,
teils der Bemiihungen der Philosophie um das Problem, das durch das
Vorhandensein einer solchen Wissenschaft gestellt ist. Darum ist es
auch kein Wunder, daB die Mathematiker selbst mehr als friiher
geneigt sind, weiteren Kreisen von ihrer Wissenschaft Mitteilungen
zukommen zu lassen und sich an der Erorterung der mit der Mathe
matik verkniipften erkenntnistheoretischen Fragen zu beteiligen. So
habe ich mich schon vor einer Reihe von J ahren entschlossen, die
Dberlegungen der Offentlichkeit zu unterbreiten, die seit meiner
Studentenzeit, urspriinglich durch die Kantsche Philosophie an
geregt, meine Facharbeit begleitet haben. Schon vorher hatte meine,
im Jahre IgOO veroffentlichte Leip ziger Antrittsvorlesung mir den
AnlaB geboten, mich iiber das Teil gebiet der Geometrie in der
einer Gelegenheitsschrift entsprechenden kurzen Weise zu auBern. In
den Jahren Igo3-IgIO sind dann die bekannten groBeren Werke von
Russel, Couturat und Natorp iiber die Prinzipien der Mathematik und
der exakten Wissenschaften er schienen. Diese Schriften haben viel
Dankenswertes gebracht, ohne jedoch auf die logischen und
erkenntnistheoretischen Fragen die jenigen Antworten zu geben, die
mir als die vermutlich richtigsten vorschweben. Hieraus ergab sich
mir der auBere AnstoB zu der aus fiihrlichen Darlegung meines
eigenen Standpunktes."
IN DIE MENGENLEHRE EINE ELEMENTARE EINFUHRUNG IN DAS REICH DES
UNENDLICHGROSSEN VON ADOLF FRAENKEL A.O.PROFESSOR AN DER
UNIVERSITAT MARBURG ZWEITE ERWEITERTE AUFLAGE MIT 13 TEXTFIGUREN
Springer-Verlag Berlin Heidelberg GmbH 1923 ISBN 978-3-662-23797-7
ISBN 978-3-662-25900-9 (eBook) DOI 10.1007/978-3-662-25900-9 ALLE
RECHTE, INSBESONDERE DAS DER UBERSETZUNG IN FREMDE SPRACHEN,
VORBEHALTEN COPYRIGHT 1923 BY Springer-Verlag Berlin Heidelberg
Ursprunglich erschienen bei Julius Springer in Berlin 1923. Vorwort
zur ersten Auflage. Das vorliegende Buchlein ist im Feld entstanden
und aus dem Feld in Druck gegeben worden; die Anregung zu ihm
verdanke ich Unterhaltungen, in denen ich Kriegskameraden
(Nichtmathematikern) gelegentlich ode Stunden durch Einfuhrung in
Gedankengange der Mengenlehre verkurzen konnte. Wenn auch diese
Entstehung in der Anlage der Schrift - nament lich im Zurucktreten
der Literaturangaben - noch e kennbar sein mag, so wird dadurch
doch der beabsichtigte Zweck nicht beein trachtigt: eine kurze
Einfuhrung in eine der gewaltigsten Errungen schaften des
menschlichen Geistes, in die Grundzuge der abstrakten Mengenlehre,
zu bieten, verstandlich fur jedermann, der Interesse nimmt an der
mathematischen Begrundung des Unendlichgrossen und daher auch so
viel Geduld mitbringt, um sich allmahlich in etwas abstrakte
Gedankengange hineinzufinden. Vorkenntnisse mathemati scher oder
philosophischer Art sind hierzu in keiner Weise erforderlich."
This is a reproduction of a book published before 1923. This book
may have occasional imperfections such as missing or blurred pages,
poor pictures, errant marks, etc. that were either part of the
original artifact, or were introduced by the scanning process. We
believe this work is culturally important, and despite the
imperfections, have elected to bring it back into print as part of
our continuing commitment to the preservation of printed works
worldwide. We appreciate your understanding of the imperfections in
the preservation process, and hope you enjoy this valuable book.
Quantitative Reasoning: A Reasonable Approach provides students
with reliable techniques and practical strategies to help them
overcome their fears of mathematics and testing. The text presents
critical mathematics concepts and approaches to problem-solving in
an accessible and approachable way. The opening chapter addresses
the various causes of math-related anxiety, provides students with
study tips, discusses test taking, and reviews fractions, decimals,
and essential vocabulary for numerical operations, as well as how
to approach word problems/application situations. Chapters 2 and 3
focus on algebraic topics, including coverage of integers,
percentages, exponents, algebraic expressions, and linear
equations. Additional chapters walk students through unit
conversions, graphing, and working with linear functions. Students
learn fundamental math principles related to finances, including
the calculation of taxes and markups/markdowns, the applications of
simple and compound interest, and the determination of cost,
revenue, and profit. Probability concepts, statistics, and how to
solve systems of equations are covered. The final chapter is
dedicated to matrices. Quantitative Reasoning is designed to help
students thrive in foundational mathematics courses at the college
level.
|
You may like...
The New Kingdom
Wilbur Smith, Mark Chadbourn
Hardcover
(1)
R589
R530
Discovery Miles 5 300
|