https://mage.uber.space/dokuwiki/ 2026-05-03T14:58:13+00:00 https://mage.uber.space/dokuwiki/ https://mage.uber.space/dokuwiki/lib/tpl/dokuwiki/images/favicon.ico text/html 2017-01-31T13:36:58+00:00 Anonymous (anonymous@undisclosed.example.com) https://mage.uber.space/dokuwiki/standreasberg2017/arlog?rev=1485866218&do=diff Arithmetic and Logic Logic and arithmetic of proofs nowadays are partially automated. The We differentiate between different orders of logic. First-Order logic defined by Presburger Arithmetic can be automated, however the problem of computational complexity persists. However this Arithmetic has good properties like decidability and provability of every theorem described by Presburger arithmetic. Extensions of this arithmetic like the Peano arithmetic lead to problems as the result of Gödel wi… text/html 2017-01-31T13:37:58+00:00 Anonymous (anonymous@undisclosed.example.com) https://mage.uber.space/dokuwiki/standreasberg2017/conceptofmotion?rev=1485866278&do=diff Concept of Space Is there motion without time? If motion is defined by the change of distance to a point in a given time period, then this question must be answered with no. If there is a different concept of distance between two points, as we know there is, text/html 2017-01-31T13:37:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://mage.uber.space/dokuwiki/standreasberg2017/conceptofspace?rev=1485866247&do=diff Concept of Space How do we think of space? Adrian presents the initial ideas in physics of space. text/html 2017-01-31T13:46:19+00:00 Anonymous (anonymous@undisclosed.example.com) https://mage.uber.space/dokuwiki/standreasberg2017/start?rev=1485866779&do=diff BRCP - St. Andreasberg, January 2017 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