In order to discuss topics from the Leipzig Symposium in 2016 and in order to include other ideas to the pool of thoughts we develop, another gathering is initiated.

Topics that we discuss this time include:

Wilhelm: I would like to address the topic of arithmetic/logic in computer-based mathematical proving. As far as I can manage it, I prepare an introduction to the topic of axioms in arithmetic (see Peano Axioms) on top of which we build mathematical proofs now days and how far the current state of the art is concerning this field of research. This will hopefully give room for a discussion on how to formulate scientific reasoning in our field. We will probably start out with some theorems from number theory to get the idea (proof of the existence of infinitely many prime numbers) since those proofs will give us an idea of how to formulate our own train of thought in something like a standardized language. This language will have to be some kind of Boolean formula. If anyone is interested I can give a short introduction on how to solve Boolean formulas arithmetically but that’s for the nerds among you. If anyone is interested to work on the rhizome project proposed by Markus, this would be another opportunity to extend the thought.
With my discussion I would like to add a new perspective to the rhizome project project.