U.T.Dallas Computer Science Program
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. Truemper
Download 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. Truemper
Laden 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.
Airplane Improvements: The Zenith 601HDS
We have developed and implemented several design changes for the
Zenith 601 HDS airplane.
For details, go to
Design Improvements.
Flying
My blogs
Passion for Flight
and
Points for Pilots
describe flying trips and
contain posts about safe low-level flying and maintenance of small aircraft.
Solutions for a Variety of Problems
My blog
A Few Creative Solutions provides answers for various problems where the Internet or, more generally, the market place didn't offer good or reasonably priced solutions.
Professional Website
My
professional
website contains details about the books I have written or edited in mathematics, computer science, brain science, history, and philosophy.
The website is also used for rapid distribution of news and posts.