Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
Fuzzy sets were first proposed by Lotfi Zadeh in his seminal paper [366] in 1965, and ever since have been a center of many discussions, fervently admired and condemned.
This ambitious exposition by Malik and Mordeson on the fuzzification of discrete structures not only supplies a solid basic text on this key topic, but also serves as a viable tool for learning basic fuzzy set concepts "e;from the ground up"e; due to its unusual lucidity of exposition.
In the mid-1960's I had the pleasure of attending a talk by Lotfi Zadeh at which he presented some of his basic (and at the time, recent) work on fuzzy sets.
When we learn from books or daily experience, we make associations and draw inferences on the basis of information that is insufficient for under- standing.
The volume "e;Fuzziness in Database Management Systems"e; is a highly informative, well-organized and up-to-date collection of contributions authored by many of the leading experts in its field.
Die »Logik« des Philosophen Hermann Lotze (1817–1881) gilt auch nach internationalem Maßstab als einer der folgenreichsten philosophischen Texte im Übergang vom 19.
Gottlob Frege hinterließ eine große Anzahl wissenschaftlich bedeutsamer Papiere, darunter größere unveröffentlichte Manuskripte, die allerdings fast sämtlich fragmentarisch geblieben sind, sowie Notizen und Briefentwürfe, ferner Briefe seiner wichtigsten Diskussionspartner wie z.
Dieser Band enthält fotomechanische Nachdrucke klassischer Arbeiten von Giuseppe Peano zur Analysis und zur mathematischen Logik aus den Jahren 1886 bis 1899, denen für die Herausbildung der gegenwärtigen Mathematik große Bedeutung zukommt.
George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.
This book is a collection of selected papers written by researchers qf our "e;RISC"e; institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason- ing).
Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Gödel) herausgegebenen "Ergebnisse eines Mathematischen Kolloquiums" zählen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit, mit bahnbrechenden Beiträgen von Menger, Gödel, Tarski, Wald, John von Neumann und vielen anderen.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
Dieses Buch entwickelt systematisch die Konstruktion der klassischen Zahlenbereiche mit Blick auf die wichtigsten mathematischen Strukturen: Ordnungsstrukturen, algebraische Strukturen und topologische Strukturen.
Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen des Wissens.
