Effective Logic Computation Book Re-release

Our book Effective Logic Computation was first published in 1998 by Wiley. The company transferred the copyright back to us in 2002. Using templates developed earlier by G. Rinaldi and F.-S. Sun, we then created an ebook revised edition that could, and still can, be downloaded free of charge. Just check the Internet for websites offering the book.

We now have re-released the revised edition in a low-cost print version. In some sense it is a companion book of the Matroid Decomposition book. Indeed, the theory of logic computation developed in the book relies on various concepts of matroid theory, in particular matroid decomposition. For details about the book, see the More Books page.

Interview about Construction of Mathematics book

CS News of the University of Texas at Dallas has conducted an extended interview about the Construction of Mathematics book.

Lecture Tour in Germany and Italy 2017

In May/June 2017, we will visit several universities and research institutes in Germany and Italy to deliver the lecture “Wittgenstein’s Philosophy and the Creation vs. Discovery Question of Mathematics.”

The lecture covers key points of the just-published book The Construction of Mathematics: The Human Mind’s Greatest AchievementA discussion period is scheduled after the lecture.

The lecture is tailored for the general public and everyone is welcome to attend. No mathematical knowledge is necessary or assumed. For the location of the lecture hall and any other information, please contact the organizer of the university/institute for details.

Here is the schedule.

Technical University of Munich (TUM), Garching, Germany
Date: Tuesday May 9, 2017
Time of lecture: 6-7 pm (18:00-19:00)
Organizer: Prof.  P.  Gritzmann

University of Erlangen-Nuremberg, Erlangen, Germany
Date: Thursday May 11, 2017
Time of lecture: 4:15-5:15 pm (16:15-17:15)
The lecture is part of the workshop Johann Radon Lecture 2017.  The workshop starts at 1pm (13:00).
Location: Felix Klein Building, lecture hall H13
Organizer: Prof. R. Schulz

University of Cologne, Cologne, Germany
Date: Wednesday May 17, 2017
Time of lecture: 4:30-5:30 pm (16:30-17:30)
Organizer: Prof. M. Juenger

Technical University, Berlin, Germany
Date: Monday May 29, 2017
Time of lecture: 4:00-5:00 pm (16:00-17:00)
Location: MA 041
Organizer: Prof. Martin Skutella

University of Magdeburg, Magdeburg, Germany
Date: Thursday June 1, 2017
Time of lecture: 5:00-6:00 pm (17:00-18:00)
Location: G03-106
Organizer: Prof. V. Kaibel

Istituto di Analisi dei Sistemi ed Informatica “Antonio Ruberti”  (IASI CNR), via del Taurini 19, Rome, Italy
Date: June 5
Time of lecture: 11:30
Organizer: Prof. G. Rinaldi

Publication of Book Introduction to Wittgenstein’s Tractatus Logico-Philosophicus

In 1969, F. Hülster finished a book on Wittgenstein’s Tractatus. It was written in German, but later translated by W. E. O’Hea into English. An edited version was completed in 2015 and made available in electronic format.  And now, after additional editing, the book appears in print for the first time. For details about the book, see the More Books page.

Publication of Book The Construction of Mathematics

At long last, the book The Construction of Mathematics: The Human Mind’s Greatest Achievement has been completed and is now available in print. For details about the book and reviews-to-date, see the Welcome page.