Hilbert curve but more fractal in the corners #fractal #hilbert #geometry #mathsart #mathart #mastoart

Survey of Precursors Of Category Theory • 4
• http://inquiryintoinquiry.com/2023/08/01/survey-of-precursors-of-category-theory-4/

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_Theory

Propositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_Analogy

Blog Series —

Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/

Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2013/12/20/precursors-of-category-theory-1/
2. https://inquiryintoinquiry.com/2013/12/30/precursors-of-category-theory-2/
3. https://inquiryintoinquiry.com/2014/01/03/precursors-of-category-theory-3/

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/

#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #Diagrams #FoundationsOfMathematics
#FunctionalLogic #RelationTheory #ContinuousPredicate #HypostaticAbstraction
#CategoryTheory #PeircesCategories #PropositionsAsTypes #TypeTheory #Universals

Darf #Dresden OB #Hilbert sowas überhaupt allein beschließen? @dissidentenDD

Bezahlartikel
https://www.saechsische.de/dresden/politik/neuer-streit-ueber-25-millionen-euro-im-stadtrat-dresden-5887566-plus.html

Ach #hilbert - willst du dein lieblingsprojekt BUGA beerdigen? https://www.saechsische.de/dresden/lokales/fuer-mindestens-12-millionen-euro-warum-die-tu-dresden-ein-parkhaus-bauen-will-5886025.html Das

Ahnungslos & desinteressiert: OB #Hilbert/s Haltung zur #klimaneutralität2035 in #dresden, gilt auch für Emissionen der chipindustrie https://www.tag24.de/nachrichten/politik/deutschland/politiker/dirk-hilbert/stadtratsanfrage-ob-hilbert-antwortet-mit-einem-nichts-2895963

2019 haben rotgrünrot & cdu im #staddrat den Ausbau des ÖV beschlossen, dank der überlegenen Führung von #hilbert, #hemmersbach, der Blockade des rechtsfossilen Blocks und des Versagens der Grünen diskutieren wir heute über streckenkürzungen https://www.saechsische.de/dresden/verkehr-baustellen-dresden/dvb-sparvorschlaege-es-gibt-keine-tabus-5882485-plus.html

Eine gute Diskussion von @dissidentenDD @mswdresden ( @piratendresden ) und @Lichdi mit den Fraktionsvositzenden der SPD, Dana Frohwieser, und der FDP, Holger Zastrow aus dem #StaDDrat . Ein paar hübsche Einblicke waren dabei, gerade rund um das Miteinander und um den OB #Hilbert und sein Handeln.

https://video.dresden.network/w/feVp8hem7zCs8p79qq2iHv

Comm | Pokemon Characters

Support me: https://www.patreon.com/AleuzArt

#pokemon #hilda #hilbert #wally #brendan #may #beach #nude #loli #exhibitionism #aleuz91

oh, i almost forgot, the #hilberthotel

for those who joined recently, a while ago i did a #hilbert #hotel #meme
https://det.social/@mastomememakers/110513386127815490

this lead to new ideas;
https://det.social/@mastomememakers/110561139562433657

things escalated;
https://det.social/@mastomememakers/110610138363325349

so ...5th dimension.
and 5th dimension it is!

...still basically the same thing as a simple hilbert hotel. still fun to do.

#mathematics #philosophy #meme #mamema #memes

Einen Sommerempfang abzuhalten, während #NotMyOB #Hilbert durch eine Haushaltssperre unter anderem den Stadtbezirken die Mittel zur Förderung lokaler Projekte und Initiativen einfriert zeigt mal wieder sehr deutlich seine Prioritäten und sein Fingerspitzengefühl.

#staddrat #Dresden

https://www.saechsische.de/dresden/ob-hilbert-koennen-wir-uns-in-dresden-die-standards-weiter-leisten-5879138-plus.html

...as said, i am not done yet with the #hilberthotel

first there was a simple #meme https://det.social/@mastomememakers/110513386127815490
then there was the elaboration https://det.social/@mastomememakers/110561139562433657

BEHOLD for now we enter the 4th DIMENSION
...basically still the same as a simple #hilbert #hotel

#mamema #memes #philosophy #mathematics
oh, kurt #goedel isnt all sure if that thing in the middle really is the main enterance.
now, am i done here? -not yet :)

#SeanCarroll - What Exists?

https://www.youtube.com/watch?v=tYBeC4aDaKw&ab_channel=CloserToTruth

#Philosophy #PhilosophyOfScience #QM #QuantumMechanics #QuantumPhysics #Physics #Metaphysics #WaveFunction #Universe #DavidHilbert #Hilbert #HilbertSpace #Contingency #Multiverse #CloserToTruth #RobertKuhn

#rome #roman #religion #philosophy #history #meme #mamema #memes #mathematics

and #hinduism be like; hello, we´d like to book a #hilberthotel filled with #hilbert hotels

Hask doesn't have equalizers
types with isomorphic underlying sets certainly aren't necessarily isomorphic. One difference between Hask and Set as that Hask's arrows must be computable, and in fact for idealized Hask, they must be total
typechecking that sigma type won't always be computable,
f, g: ([Int], Int) -> Int

f (p,v) = treat p as a polynomial with given coefficients, and evaluate p(v).
g _ = 0

The equalizer "should" be the type of all pairs (p,n) where p(n) = 0, along with a function injecting these pairs into ([Int], Int). By #Hilbert's 10th problem, this set is undecidable.
https://stackoverflow.com/questions/15047775/do-hask-or-agda-have-equalisers

Nach seiner Wiederwahl stürzte OB #Hilbert #Dresden mit seinen sehr eigenen Vorstellungen zu den Beiräten in ein Chaos. Das hat sich nach langem Hin & Her größtenteils gelichtet. Aber in der Frage seiner Stellvertretung gibt es eine neue Dauerbaustelle.
https://www.tag24.de/dresden/politik-wirtschaft/machtkampf-im-rathaus-um-vize-fuer-ob-hilbert-spd-legt-pruefbeschwerde-ein-2803473

Sie versuchen Politiker*innen einzuschüchtern.
Rechtsextreme bringen Banner am Wohnhaus
von Oberbürgermeister Dirk #Hilbert an.
#Dresden #Sachsen

Am Haus von OB #Hilbert gab es heute eine Banneraktion der #querdenker.

Bei allen politischen Differenzen: Die Privathäuser von Politiker*innen sind tabu!

#DD0604

Survey of Precursors Of Category Theory
• https://inquiryintoinquiry.com/2023/04/03/survey-of-precursors-of-category-theory-3/

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.

#CategoryTheory #CombinatoryLogic #PropositionsAsTypesAnalogy
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann
#Carnap #Curry #WilliamHoward #Lambek #SaundersMacLane

Im #Staddrat wurde heute mit der Stimme von OB #Hilbert der Beitritt #Dresden|s zur Städteinitiative "Lebenswerte Städte durch angepasste Geschwindigkeiten", die mehr Freiheiten für Kommunen bei der Anordnung von #Tempo30 fordert, abgelehnt.

Weil die Tage jetzt wieder länger werden, fragt der #Zastrow, wann die Stadt die Gebäude wieder anstrahlt. 🤦

Die Antwort von Herrn #Hilbert fällt knapp aus: Sobald der Bund die Kurzfristenergieeinsparungsverordnung zurücknimmt, welche das aktuell verbietet.

#Staddrat