#hilbert — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hilbert, aggregated by home.social.
-
@jerry my request is for you to go over all the fedi apps and instances you have going on along with with 3/4q prognosis/prospectus
fedi apps are way underappreciated imho
#roadmap #what's in my bag #hilbert space #talking book #federated enclaves #compute #local ai anthology #forks #popularity contest telemetry
-
“If I were to awaken after having slept for a thousand years, my first question would be: Has the Riemann hypothesis been proven?” – David Hilbert
#RiemannHypothesis #DavidHilbert #RiemannZetaFunction #ZetaFunction #UnsolvedProblem #MathHistory #Hilbert #Riemann
-
Vetternwirtschaft und Kumpanei wo man hinsieht!
Ich fände es toll, wenn wir Hilbert auch einfach einen "Sprecher der Geschäftsführung" vor die Nase setzen könnten!
-
“Gödel presented his #CompletenessTheorem on 6 September 1930 at conference in Königsberg (today known as Kaliningrad in Russia). #Hilbert was at a different conference in Königsberg and gave a grand speech on 8 September, in which he famously rejected the idea that there are limits to human knowledge. “We must know. We will know,” he said – words that were eventually engraved on his tombstone.
There is just one problem with Hilbert’s rallying cry to mathematicians – Gödel had already destroyed all hope of it the day before. Not on 6 September, when he presented his completeness theorem, but on 7 September. During a discussion with fellow logicians that day, #Gödel let slip that he had identified the possibility of “undecidable” statements – ones that cannot be proven true given a certain set of axioms, but crucially cannot be proven false either. This was the genesis of an idea that would limit the horizons of #mathematics forever.”
#Proof / #MathematicalObjects / #JacobAron <https://newscientist.com/article/2522297-the-man-who-ruined-mathematics/> (paywall) / <https://archive.md/s18W0>
-
ÖPNV in Dresden: OBM #Hilbert lehnt #Bürgerentscheid weiterhin ab
https://www.l-iz.de/politik/sachsen/2026/04/dresden-obm-hilbert-burgerentscheid-653470
#ÖPNV #Dresden -
Möge sich der #Stadtrat #Dresden, mögen sich die #SachsenNetze, möge sich Herr #Hilbert ein Beispiel daran nehmen.
Die #Energiewende und #Wärmewende können so cool sein!
-
Survey of Precursors Of Category Theory • 6
• https://inquiryintoinquiry.com/2025/05/05/survey-of-precursors-of-category-theory-6/A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.
Background —
Precursors Of Category Theory
• https://oeis.org/wiki/Precursors_Of_Category_TheoryPropositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_AnalogyBlog Series —
Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2024/05/25/precursors-of-category-theory-1-a/
2. https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/
3. https://inquiryintoinquiry.com/2024/05/27/precursors-of-category-theory-3-a/
4. https://inquiryintoinquiry.com/2024/05/28/precursors-of-category-theory-4-a/
5. https://inquiryintoinquiry.com/2024/05/29/precursors-of-category-theory-5-a/
6. https://inquiryintoinquiry.com/2024/05/30/precursors-of-category-theory-6-a/Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/Categories à la Peirce —
C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/C.S. Peirce and Category Theory
1. https://inquiryintoinquiry.com/2021/06/23/c-s-peirce-and-category-theory-1/
2. https://inquiryintoinquiry.com/2021/06/24/c-s-peirce-and-category-theory-2/
3. https://inquiryintoinquiry.com/2021/06/27/c-s-peirce-and-category-theory-3/
4. https://inquiryintoinquiry.com/2021/06/28/c-s-peirce-and-category-theory-4/
5. https://inquiryintoinquiry.com/2021/06/29/c-s-peirce-and-category-theory-5/
6. https://inquiryintoinquiry.com/2021/06/30/c-s-peirce-and-category-theory-6/
7. https://inquiryintoinquiry.com/2021/07/01/c-s-peirce-and-category-theory-7/
8. https://inquiryintoinquiry.com/2021/07/02/c-s-peirce-and-category-theory-8/#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #FunctionalLogic #RelationTheory
#PrecursorsOfCategoryTheory #PropositionsAsTypes #Semiotics #TypeTheory -
Was sagen die Stadtratsmitglieder zum DVB-Bürgerbegehren?
Gestern haben wir vor dem #StaDDrat die einzelnen Ratsmitglieder befragt, wie sie zu dem Bürgerbegehren für die #DVB und zu dem Antrag von Oberbürgermeister #Hilbert stehen, die Zulässigkeit trotz bereits positiver Einschätzung des Rechtsamtes (!) anzuzweifeln.
Das Ergebnis der Interviews könnt ihr hier in diesem Supercut auf PeerTube sehen (19 min 13 s):
:peertube: https://video.dresden.network/w/pefuubpdgTw1Ndsx8oFVdW
Wir hatten von jeder Fraktion mindestens eine Person vor der Kamera und auch wenn die Reaktionen zu einem großen Teil erwartbar waren, sind sie doch interessant und zeigen einiges auf.
Auch wenn der Antrag von Dirk Hilbert angenommen wurde, auch von mir an dieser Stelle ein Danke an alle Stadträt*innen, die sich für das Begehren eingesetzt haben. Und an euch alle: Der Kampf um den #ÖPNV geht weiter, die Abstimmung war nur eine von vielen Schlachten. Es ist noch nichts vorbei.
-
Oberbürgermeister Hilbert will Bürgerbegehren verhindern (PeerTube-Video)
video.dresden.network/w/2JRw9i…
Es ist der nächste Feldzug von Oberbürgermeister #Hilbert gegen die #DVB: Er möchte das #Bürgerbegehren zur Rettung der DVB verhindern. Durch seinen aktuellen Bemühungen würden nicht nur die Stimmen derer, die für das Begehren unterschrieben haben, verloren gehen, sondern es würde uns allen die Möglichkeit genommen, über die DVB an der Wahlurne abzustimmen. Dabei geht es hier nicht um fehlende Finanzierungsvorschläge, sondern um eine demokratische Grundsatzfrage. @mswdresden dröselt in diesem Video den komplexen Sachverhalt auf.
#Dresden #Piraten #ÖPNV #mobadd #MobilitätFürAlle
RE: video.dresden.network/videos/w… -
Sei es das Bürgerbegehren zum Erhalt des öffentlichen Nahverkehrs oder die Finanzspritze für den #Zoo: Oberbürgermeister #Hilbert handelt zunehmend nach seiner eigenen Lust und Laune, auch teilweise entgegen der realen Umstände, um seinen eigenen Willen durchzusetzen. Und das zum Nachteil von städtischen Unternehmen, die die Lebensqualität aller Dresdner*innen aufwerten.
Den gesamten Blogbeitrag findet ihr hier: piraten-dresden.de/egal-ob-gut…
-
Einfach eine Firma machen die alles maximal "preisoptimiert" erledigt, dann an öffentlichen Ausschreibungen teilnehmen und versuchen ganz knapp unter dem Angebot des stadteigenen Betriebes zu landen!
Dass so Aufträge überhaupt an externe gehen, wenn es einen Eigenbetrieb gibt, ist schon absurd. Aber für miese Leistungen sollten die dann automatisch für die nächsten 2-3 Jahre disqualifiziert werden.
Und dann labert der OB davon dass Gebührenerhöhungen nötig werden und evtl. die Stadtreinigung (SRD) anteilig verkauft werden müsse?
Nachdem gerade eben eine absurd übertriebene, nie sinnvolle, nie CO2-Neutrale, nie monetär rentable, Müllverbrennungsanlage geplant wird?
Aber hat alles sicher nie was mit irgendwas zu tun!
Keinesfalls privatisiert ein FDP-Bürgermeister wie #Hilbert Gewinne und verstädtischt Verluste! Sowas würde jemand von der FDP doch niiiiiiieee… oh. -
Une démonstration d'une équipe de chercheurs, la plus directe à ce jour,prouve que les #processeurs #quantiques existants peuvent générer et manipuler des #états #intriqués d'une #complexité suffisante pour exploiter l' #exponentialité de l'#espace de #Hilbert
-
-
Understanding the #Infinity Concept: A Dive into #Hilbert’s Infinite #Hotel #Paradox : Medium
Massive #Wildfires in #Canada helped keep the #world cooler in #2023 : New Sci
#NASA #Resurrects #Voyager 1 #Interstellar #Spacecraft's #Thrusters after 20 years: 'These thrusters were considered dead' : Space.com
Check our latest #KnowledgeLinks
-
Um es nach #Hilbert zu sagen: Wir müssen wissen, wir werden wissen! ✨
Am 21.06.2025, zur 6. Göttinger Nacht des Wissens, steht #Göttingen wieder unter diesem Motto.
🎉 Um euch die Planung zu erleichtern, findet Ihr in den nächsten Tagen unter #NDWgoeCountdown auch ein paar Events, die für Mathematikinteressierte spannend sind.
Also: Hashtag im Auge behalten (oder muten)! 👀🔗 https://www.goettinger-nacht-des-wissens.de/nach-themen/mathematik/
#ndwGoe #MIgoettingen #theGoeCampus #uniGoettingen #Mathematik
-
Je lis la page Wikipédia de David Hilbert, et je suis frappé de comment l’effet de Trump et du trumpisme sur les sciences aux US ressemble aux effets du nazisme en Allemagne. S’il y a bien eu des ingénieurs brillants pendant la période nazie, j’ignorais comment les mathématiques ont été sinistrées. Extrait.
Avec l’arrivée au pouvoir de Hitler en 1933, Ludwig Bieberbach, affilié au parti nazi, est propulsé au sommet des mathématiques allemandes et encourage des mathématiques « aryennes ou allemandes » (Deutsche Mathematik). Les professeurs juifs, désormais exclus de l’enseignement, perdent leur poste l’un après l’autre. L’institut de mathématique de Göttingen est bientôt démantelé et son prestige international sapé, au grand dam de Hilbert. Hermann Weyl, qui avait finalement été choisi pour lui succéder, doit quitter le pays, Emmy Noether, Richard Courant, Edmund Landau et Otto Blumenthal aussi. Paul Bernays, collaborateur de Hilbert en logique mathématique et coauteur avec lui de Grundlagen der Mathematik, un important livre paru en deux volumes en 1934 et en 1939, quitte l’Allemagne à la suite des pressions des nazis. Leur ouvrage était la suite du livre publié par Hilbert et Ackermann : Principes de logique théorique (1928).
Environ une année plus tard, Hilbert, invité à un banquet, est assis à côté du ministre nazi de l’Éducation Bernhard Rust. À la question de Rust : « Comment se trouvent les mathématiques à Göttingen maintenant qu’elle est libre de l’influence juive ? », Hilbert réplique : « Des mathématiques à Göttingen ? Il n’y en a plus guère. »
Lorsque Hilbert meurt en 1943, les nazis ont complètement restructuré l’université, tous les Juifs et conjoints de Juifs forcés de partir, certains ayant réussi à fuir l’Allemagne, d’autres déportés. Environ une douzaine de personnes assistent à ses funérailles, deux seulement étant des ex-collègues. Sur sa tombe à Göttingen, on peut lire cette épitaphe : « Wir müssen wissen, wir werden wissen. »
-
Hach schön, wie sich #Hilbert jetzt wieder als großer Gönner hinstellt, wo er diese doch als Ober- & Finanzbürgerinnenmeister selbst verursacht hat.
https://www.neustadt-ticker.de/226839/aktuell/ob-anweisung-wasser-marsch
-
Für alle die in #Göttingen gerade noch Ideen für die Abendgestaltung suchen: Die Nacht der Bibliotheken ist noch in vollen Gange.
Man trifft sogar Überraschungsgäste wie den guten David #Hilbert im Heynesaal der historischen @subugoe
https://www.nachtderbibliotheken.de/veranstaltungen/goettingen/
-
Wir freuen uns sehr über die Ehrung von Göttingen als 77te "#EPS historic site" und insbesondere auch die reichlichen Erwähnungen von Mathematikern, wie #Hilbert, #Klein, #Courant, #Minkowski, #Gauß und Detlev Buchholz sowie dem Mathematischen Institut (und seinen Vorgängern) während der Verleihungszeremonie.
https://www.youtube.com/watch?v=58gZAatGRlg
#DPGGOE25 #UniGöttingen #EPShistoricSite #GöttingenCampus #QuantumYear2025
-
Hab ihr schonmal von #HilbertsHotel gehört und/oder Lust auf etwas Point&Click-Adventure um mehr über #Hilbert, #Noether und viele andere Mathematiker*innen (aus #Göttingen) und ihre Arbeiten zu erfahren?
(Wir hörten es gäbe dort auch unendlich Kaffee...)Dann viel Spaß mit https://hilberts-holidays.eu/