0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (10)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 11 of 11 matches in All Departments

Nachgelassene Schriften und Wissenschaftlicher Briefwechsel (German, Hardcover): Gottlob Frege Nachgelassene Schriften und Wissenschaftlicher Briefwechsel (German, Hardcover)
Gottlob Frege; Edited by Friedrich Kambartel, Hans Hermes
R4,748 R4,418 Discovery Miles 44 180 Save R330 (7%) Ships in 10 - 15 working days
Enumerability * Decidability Computability - An Introduction to the Theory of Recursive Functions (Paperback, Softcover reprint... Enumerability * Decidability Computability - An Introduction to the Theory of Recursive Functions (Paperback, Softcover reprint of the original 2nd ed. 1969)
Hans Hermes; Translated by Gabor T. Herman, O. Plassmann
R1,459 Discovery Miles 14 590 Ships in 10 - 15 working days

Once we have accepted a precise replacement of the concept of algo rithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which cannot be handled by algo rithms, and if that is the case, to give concrete cases of this kind. Many such investigations were carried out during the last few decades. The undecidability of arithmetic and other mathematical theories was shown, further the unsolvability of the word problem of group theory. Many mathematicians consider these results and the theory on which they are based to be the most characteristic achievements of mathe matics in the first half of the twentieth century. If we grant the legitimacy of the suggested precise replacements of the concept of algorithm and related concepts, then we can say that the mathematicians have shown by strictly mathematical methods that there exist mathematical problems which cannot be dealt with by the methods of calculating mathematics. In view of the important role which mathematics plays today in our conception of the world this fact is of great philosophical interest. Post speaks of a natural law about the "limitations of the mathematicizing power of Homo Sapiens." Here we also find a starting point for the discussion of the question, what the actual creative activity of the mathematician consists in. In this book we shall give an introduction to the theory of algorithms."

Numbers (Paperback, 1st Corrected ed. 1991. Corr. 2nd printing 1996): Heinz-Dieter Ebbinghaus Numbers (Paperback, 1st Corrected ed. 1991. Corr. 2nd printing 1996)
Heinz-Dieter Ebbinghaus; Edited by John H. Ewing; Introduction by K. Lamotke; Translated by H.L.S. Orde; Hans Hermes, …
R2,353 Discovery Miles 23 530 Ships in 10 - 15 working days

This is a book about numbers - all kinds of numbers, from integers to p-adics, from rationals to octonions, from reals to infinitesimals. Who first used the standard notation for Â? Why was Hamilton obsessed with quaternions? What was the prospect for "quaternionic analysis" in the 19th century? This is the story about one of the major threads of mathematics over thousands of years. It is a story that will give the reader both a glimpse of the mystery surrounding imaginary numbers in the 17th century and also a view of some major developments in the 20th.

Introduction to Mathematical Logic (Paperback): Diana Schmidt Introduction to Mathematical Logic (Paperback)
Diana Schmidt; Hans Hermes
R1,477 Discovery Miles 14 770 Ships in 10 - 15 working days

This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for mathematics students who are already acquainted with some of the fundamental concepts of mathematics, such as that of a group. It should help the reader to see for himself the advantages of a formalisation. The step from the everyday language to a formalised language, which usually creates difficulties, is dis cussed and practised thoroughly. The analysis of the way in which basic mathematical structures are approached in mathematics leads in a natural way to the semantic notion of consequence. One of the substantial achievements of modern logic has been to show that the notion of consequence can be replaced by a provably equivalent notion of derivability which is defined by means of a calculus. Today we know of many calculi which have this property."

Term Logic with Choice Operator (Paperback, 1965 ed.): Hans Hermes Term Logic with Choice Operator (Paperback, 1965 ed.)
Hans Hermes
R1,042 Discovery Miles 10 420 Ships in 10 - 15 working days
Einfuhrung in Die Verbandstheorie (German, Paperback, 2nd 2. Aufl. 1967. Softcover Reprint of the Original 2nd 1967 ed.): Hans... Einfuhrung in Die Verbandstheorie (German, Paperback, 2nd 2. Aufl. 1967. Softcover Reprint of the Original 2nd 1967 ed.)
Hans Hermes
R1,803 Discovery Miles 18 030 Ships in 10 - 15 working days
Aufzahlbarkeit Entscheidbarkeit Berechenbarkeit - Einfuhrung in die Theorie der rekursiven Funktionen (German, Paperback, 3.... Aufzahlbarkeit Entscheidbarkeit Berechenbarkeit - Einfuhrung in die Theorie der rekursiven Funktionen (German, Paperback, 3. Aufl.)
Hans Hermes
R1,682 Discovery Miles 16 820 Ships in 10 - 15 working days
Selecta Mathematica II (German, Paperback): H-.D. Ebbinghaus, F. K. Mahn, Hans Hermes, Konrad Jacobs Selecta Mathematica II (German, Paperback)
H-.D. Ebbinghaus, F. K. Mahn, Hans Hermes, Konrad Jacobs
R1,309 Discovery Miles 13 090 Ships in 10 - 15 working days
Die Rolle Der Logik Beim Aufbau Naturwissenschaftlicher Theorien (German, Paperback, 1967 ed.): Hans Hermes Die Rolle Der Logik Beim Aufbau Naturwissenschaftlicher Theorien (German, Paperback, 1967 ed.)
Hans Hermes
R1,516 Discovery Miles 15 160 Ships in 10 - 15 working days

Wir horen in dieser "Arbeitsgemeinschaft fur Forschung" oft Vortrage uber ganz spezielle Themen, die nur von den Fachleuten vollig verstanden werden konnen, wahrend die anderen Zuhorer kein eigenes Urteil uber die Materie haben. Bei der Logik ist dies anders, denn eigentlich musste jeder Fachmann sein: Jeder, der uberhaupt mit irgendeiner Theorie arbeitet, bedient sich dabei der Logik. Jeder Wissenschaftler sollte daher etwas von der Logik verstehen. Um Missverstandnissen vorzubeugen, soll genauer gesagt werden, was hier mit "Logik" und" Theorie" gemeint sein soll. Das. Wort "Logik" wird heute oft in einem sehr weiten Sinn verwendet. Hier soll ausschliesslich von formaler Logik die Rede sein. Wenn im folgenden von "Theorien" gespro chen wird, so sind darunter fertige Theorien zu verstehen. Diese haben eine gewisse Struktur, sie sind in einer besonderen Weise aufgebaut. Fur diesen Aufbau wollen wir uns interessieren. Ein interessantes, aber viel schwierigeres Problem ist es, zu ermitteln, wie man zu neuen Theorien kommt. Auch bei diesem Prozess spielt die Logik eine wesentliche Rolle. Dies ist aber nicht Gegenstand dieses Vortrags. Schliesslich soll betont werden, dass hier nicht die Grundlagen der Logik schlechthin diskutiert werden sollen. Es sollen nur die Aspekte heraus gehoben werden, welche es mit der dienenden Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien zu tun haben."

Zahlen (German, Paperback, 3. verb. Aufl. 1992): Klaus Lamotke Zahlen (German, Paperback, 3. verb. Aufl. 1992)
Klaus Lamotke; Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, …
R1,168 Discovery Miles 11 680 Ships in 12 - 17 working days

Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem Fach in Beruhrung gekommen ist. Begriffe wie "reelle oder komplexe Zahlen, Pi" sind zwar jedem gelaufig, aber nur wenige wissen, was sich wirklich dahinter verbirgt. Die Autoren dieses Bandes geben jedem, der mehr wissen will als nur die Hulle der Begriffe, eine meisterhafte Einfuhrung in die Magie der Mathematik und schlagen einzigartige Brucken fur Studenten.

Die Rezensenten der ersten beiden Auflagen uberschlugen sich."

Einfuhrung in Die Mathematische Logik - Klassische Pradikatenlogik (German, Paperback, 5th 5. Aufl. 1972 ed.): Hans Hermes Einfuhrung in Die Mathematische Logik - Klassische Pradikatenlogik (German, Paperback, 5th 5. Aufl. 1972 ed.)
Hans Hermes
R1,319 Discovery Miles 13 190 Ships in 10 - 15 working days

Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einfuhrung in die klassische zweiwertige Pradikaten logik geben. Die Beschrankung auf die klassische Logik soll nicht besagen, dass diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einfuhrung in die Logik wegen ihrer Einfachheit und als Fundament fur die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primar an Studierende der Mathematik, die in den An fangervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu gefuhrt werden, dass er die Vorteile einer Formalisierung einsieht. Der ubergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgemass gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeubt. Die Analyse desmathemati schen Umgangs mit den grundlegenden mathematischen Strukturen fuhrt in zwangloser Weise zum semantisch begrundeten Folgerungsbegriff."

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Elton Baatjies
Lester Walbrugh Paperback R306 Discovery Miles 3 060
The Boy Who Could Keep A Swan In His…
John Hunt Paperback  (1)
R347 Discovery Miles 3 470
Other People's Money and How the Bankers…
Louis D. Brandeis Hardcover R768 Discovery Miles 7 680
The Banker's Friend
Daniel Reale Paperback R402 Discovery Miles 4 020
Make Bank 2022 - The Best Guide for…
Faba's Diaries Hardcover R994 R820 Discovery Miles 8 200
Letters of Credit and Documentary…
Thomas H. MBA Ward Hardcover R723 Discovery Miles 7 230
Hello Beautiful
Ann Napolitano Paperback R378 Discovery Miles 3 780
Sustainable Banking - The Greening of…
Jan Jaap Bouma, Marcel Jeucken, … Hardcover R4,365 Discovery Miles 43 650
The Curious Incident Of The Dog In The…
Mark Haddon Paperback  (2)
R263 R232 Discovery Miles 2 320
Be Your Own Bank - Hidden in Plain Sight
Tasha M Dyer, Craig Bythewood, … Hardcover R608 R508 Discovery Miles 5 080

 

Partners