Weiterhin verkündet Herr #Hilbert eine Einzelspende der Familie Arnhold über 1,9 Millionen € an die Stadt #Dresden
Damit soll das Ehemalige Kunsthaus in der Neustadt zu einen "Haus der Brücken" als Begegnungszentrum weiterentwickelt werden, sowie die #Robotronkantine gekauft und ertüchtigt werden.
Born #onthisday in 1862, German mathematician David Hilbert was one of the most influential mathematicians of the 19th and early 20th centuries.
Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics (particularly proof theory).
In 1900 Hilbert published what we now call Hilbert's Program, which consisted of 23 fundamental problems in mathematics [1] (there was also a 24th problem that HIlbert chose not to include [4]). One of the main goals of Hilbert's Program, expressed in Hilbert's second problem, was to find a finitistic proof of the consistency of the axioms of arithmetic [2,5].
Unfortunately (or fortunately, depending on your perspective), Gödel's second incompleteness theorem gives a precise sense in which such a finitistic proof of the consistency of arithmetic is provably impossible [3]. The discovery of the incompleteness theorems effectively drove a state through the heart of Hilbert's Program. Hilbert lived for 12 years after Kurt Gödel published his theorem, but does not seem to have written any formal response to Gödel's work.
Re-added/ported more agent behavior building blocks today, incl. path following and path attraction (both for open/closed geometries). In total there're now 7 freely combinable behaviors, each weighted and so usable as soft/hard constraint.
Here's an example of path following (here a Hilbert curve) and separation only...
In Folge 2 von #RebootPolitics geht es weiter mit einem bunten Blumenstrauß aus u.a. Lokalthemen um Oberbürgermeister #Hilbert, Kritik am #Weihnachtscircus, Arbeitssicherheit bei #Tesla, dem Geburtstag der #Dezentrale und ab jetzt sogar mit guten Nachrichten. Viel Spaß beim Hören.
Was macht OB #Hilbert zum Start der europäischen Mobilitätswoche? #Radwege auf dem Blauen Wunder verhindern.🚳
Was macht der #ADFC Dresden? Dagegen demonstrieren! Kommt Montag früh vorbei und protestiert für Radwege!