In its March 29, 1999, issue TIME magazine provided its picks for the twenty greatest “scientists and thinkers” of the twentieth century. Kurt Gödel was on the list along with his good friend Albert Einstein. Alan Turing was the other mathematician among the twenty. Since we may agree that Einstein should be regarded primarily as a physicist, it turns out that the mathematicians TIME selected a...

It is well known that the notions of a "decidable subset" and "recursively enumerable subset" are basic one for classical logic. In particular, they are basic tools for the proof of the famous limitative theorems about the undecidability and incompleteness of first order logic. Then, the question of a suitable extension of such concepts to fuzzy set theory arises. A first proposal in such a dir...

We discuss tenn rewriting in conjunction with sprfn, a Prolog-based theorem prover. Two techniques for theorem proving that utilize tenn rewriting are presented. We demonstrate their effectiveness by exhibiting the results of our experiments in proving some theorems of von Neumann-Bemays-Godel set theory. Some outstanding problems associated with tenn rewriting are also addressed.

Melanie Elze / Rosemarie Godel-Gaßner Alfred Hagemann Sabine Krehl (Hg.), Jenny Heymann (1890 – 1996). Lebensstationen einer jüdischen Lehrerin mit bildungsgeschichtlichen Streifzügen durch Württemberg (Ludwigsburger Hochschulschriften, Bd. 18 der Reihe TRANSFER). Hohengehren: Schneider Verlag 2020. 366 S. ISBN 978-3-8340-2067-3. Geb. € 39,80

The genetic code structure into distinct multiplet-classes as well as the numeric degeneracies of the latter are revealed by a two-step process. First, an empirical inventory of the degeneracies (of the shuffled multiplets) in two specific equal moieties of the experimental genetic code table is made and transcribed in the form of a sequence of integers. Second, a Gödel Encoding procedure is ap...