Klaus Truemper
Professor Emeritus of Computer Science
E-mail: klaus .at. utdallas .dot. edu Office: (972) 883-2712
Klaus Truemper is Professor Emeritus of Computer Science.
His research has focused on problems in
mathematics and computer science,
but now also concerns brain science, history, and questions of philosophy.
Find
out more.
Books
Wittgenstein and Brain Science: Understanding the World
Download the introductory part of the book.What is the nature of knowledge? What is time? This book proposes answers to these and other centuries-old, and so far unresolved, questions about the world using results of modern brain science and a key method of the philosopher Wittgenstein.
The book relies on the same tools to show why some of these questions about the world simply cannot be answered. For example: Do we have free will?
The arguments rely on a very general concept of subconscious and conscious neuroprocesses that acquire information and react in some way. A hypothesis consistent with the results of modern brain science specifies how these processes interact.
Why would you want to read this book?
- If you are interested in the fundamental questions about the world, this book gives you a new way to look at them.
- The tools help you deal with the flood of information produced by the media. They help you decide whether material is relevant or manipulative drivel.
Magic, Error, and Terror: How Models in Our Brain Succeed and Fail
Download the introductory part of the book.How is it possible that the brain, an organ weighing less than 4 lbs., manages the body and copes with our complex world so effectively?
The answer: The brain employs a large number of subconscious and conscious models. They often produce magical results, but also lead to errors, and sometimes to terror. The book explores a number of these models.
We look at subconscious models that explain how psychotherapy changes minds, why fatigue is an emotion, how breathing affects our well-being, and how we may give mind and body a rest. In contrast with these beneficial models, we meet conscious models in medicine, economics, politics and religion that inflict enormous damage. Lastly, the models play an important role in philosophy. We use them to establish that the age-old question "Do we have free will" is nonsensical.
The Daring Invention of Logarithm Tables: How Jost Bürgi, John Napier, and Henry Briggs simplified arithmetic and started the computing revolution
Download the introductory part of the book.In the early 17th century, both Jost Bürgi and John Napier dared to invent a logarithm table whose construction required tens of thousands of computing steps. The Daring Invention of Logarithm Tables tells the story of Bürgi's and Napier's work, and how Henry Briggs built on Napier's idea, creating a table of logarithms that was easier to use.
The book reconstructs Bürgi's thinking leading up to his table. The reader looks over his shoulder, so to speak, and learns how Bürgi came upon the idea, how he decided on the specific format of the table, and how his instructions should be interpreted. And so the reader experiences the magic of the invention of logarithms.
Careful parsing of the history of logarithm going back to Archimedes of antiquity then reveals that, without doubt, John Napier and Jost Bürgi are independent co-inventors of logarithms.
The Construction of Mathematics: The Human Mind's Greatest Achievement
Download the introductory part of the book.Is mathematics created or discovered? The answer has been debated for centuries. This book answers the question clearly and decisively by applying the concept of language games, invented by the philosopher Wittgenstein to solve difficult philosophical issues.
Matroid Decomposition (Revised Edition)
Download the introductory part of the book.Matroids, first defined in 1935, are an abstract generalization of graphs and matrices. The book covers the part of the theory dealing with composition and decomposition of matroids.
For the reader unfamiliar with matroid theory, the book may serve as an easy and intuitive introduction to that beautiful part of combinatorics.
Effective Logic Computation (Revised Edition)
Download the introductory part of the book.The book proposes an effective computational method for logic. It makes use of a theory of logic computation based on matroid theory, in particular matroid decomposition.
Design of Logic-based Intelligent Systems
Copyright restrictions prevent inclusion of the introductory part of the book. Errata.The book develops principles and methods for constructing intelligent systems for complex tasks that humans readily accomplish but that are difficult for machines.
Edited Books
Introduction to Wittgenstein's Tractatus Logico-Philosophicus
Author F. Hülster, translator W. E. O'Hea, editors I. Truemper and K. TruemperDownload the introductory part of the book.
In 1921, Ludwig Wittgenstein (1889-1951) published a landmark book in philosophy: the Tractatus Logico-Philosophicus, usually called just the Tractatus.
It is an understatement to say that the Tractatus is difficult to read and understand.
This book brings out the fundamental ideas of the Tractatus in simple, everyday language, with all concepts and conclusions illustrated by numerous examples taken from the natural sciences.
Das Buch ist auch in Deutsch erhältich, siehe unten.
Einführung in Wittgensteins Tractatus Logico-Philosophicus
Autor F. Hülster, Herausgeber K. TruemperLaden Sie den einleitenden Teil des Buches herunter.
Ludwig Josef Wittgenstein (1889-1951) veröffentlichte 1921 ein bahnbrechendes Buch der Philosophie: den Tractatus Logico-Philosophicus, oft kurz Tractatus genannt.
Das Buch entwickelt eine tiefgreifende Theorie - heute Bildtheorie genannt - über die Bedeutung von Sprache und liefert damit eine allumfassende Antwort auf die Frage, was durch Sprache ausgedrückt werden kann.
Der Tractatus ist zweifellos schwierig zu lesen und zu verstehen.
Aus dem Grunde sind eine Anzahl von Einführungen erschienen. Diese Einführungen sind wichtige Beiträge zur Philosophie, aber selber oft recht komplex.
Im Gegensatz dazu entwickelt das vorliegende Buch die fundamentalen Ideen des Tractatus in einfacher, nicht-technischer Sprache. Konzepte und Schlussfolgerungen werden anhand zahlreicher Beispiele aus den Naturwissenschaften erläutert.
The book is also available in English, see above.
Leibniz System Software and References
The entire Leibniz System software is available in source code form and free of charge under the GNU Lesser General Public License (LGPL).Subgroup Discovery Method SUBARP , by K. Truemper, 2015.
Dimension Reduction of Chemical Process Simulation Data , by G. Janiga and K. Truemper, 2011.
Multivariate Classification of Children with Speech Delay of Unknown Origin , by J. Vick, C. A. Moore, T. Campbell, L. Shriberg, J. Green, and K. Truemper, Presentation at American Speech-Language Hearing Association Convention (ASHA) 2009. Describes example application of Subgroup Discovery module of Leibniz System.
The Needles-In-Haystack-Problem , by K. Moreland and K. Truemper; a summarizing version appears in Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.
Discretization of Target Attributes for Subgroup Discovery , by K. Moreland and K. Truemper, Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.
Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization , by K. Truemper, Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.
An Alternative Representation for QBF , by A. Remshagen and K. Truemper, Proceedings of International Conference on Artificial Intelligence (ICAI), 2009.
A Solver for Quantified Formula Problem Q-ALL SAT , by A. Remshagen and K. Truemper, 2008.
Construction of Deterministic, Consistent, and Stable Explanations from Numerical Data and Prior Domain Knowledge , by K. Riehl and K. Truemper, 2007.
Design of Logic-based Intelligent Systems, 2004. Errata .
Other Software
Free installation, for noncommercial as well as commercial use, of Unimodularity Library for deciding unimodularity, strong unimodularity, and total unimodularity of integer matrices. The program is supplied in source code form and can be installed on any computer with C++ compiler.Free installation, for noncommercial as well as commercial use, of the Laempel System for checking of spelling and syntax of English texts. The system is supplied in source code form and can be installed on any computer with C compiler.