katholisch.de · @news_katholisch
233 followers · 1098 posts · Server libori.social

gegen die Beanstandung durch die |aufsicht will zwar nicht einlegen – doch die rechtliche Auseinandersetzung geht weiter. https://www.katholisch.de/artikel/46636-fall-weissenfels-bischof-ackermann-legt-keine-rechtsmittel-ein

#rechtsmittel #Datenschutz #ackermann #Weißenfels #trier

Last updated 1 year ago

Jon Awbrey · @Inquiry
247 followers · 1784 posts · Server mathstodon.xyz

Survey of Precursors Of Category Theory • 4
inquiryintoinquiry.com/2023/08

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
oeis.org/wiki/Precursors_Of_Ca

Propositions As Types Analogy
oeis.org/wiki/Propositions_As_

Blog Series —

Notes On Categories
inquiryintoinquiry.com/2013/02

Precursors Of Category Theory
1. inquiryintoinquiry.com/2013/12
2. inquiryintoinquiry.com/2013/12
3. inquiryintoinquiry.com/2014/01

Precursors Of Category Theory • Discussion
1. inquiryintoinquiry.com/2020/09
2. inquiryintoinquiry.com/2020/09
3. inquiryintoinquiry.com/2020/09

Categories à la Peirce —

C.S. Peirce • A Guess at the Riddle
inquiryintoinquiry.com/2012/03

Peirce's Categories
1. inquiryintoinquiry.com/2015/10
2. inquiryintoinquiry.com/2015/10
3. inquiryintoinquiry.com/2015/11
•••
19. inquiryintoinquiry.com/2020/05
20. inquiryintoinquiry.com/2020/05
21. inquiryintoinquiry.com/2020/06




#universals #typetheory #propositionsastypes #peircescategories #hypostaticabstraction #continuouspredicate #RelationTheory #functionallogic #foundationsofmathematics #diagrams #categorytheory #analogy #abstraction #saundersmaclane #ackermann #hilbert #carnap #kant #Peirce #aristotle

Last updated 1 year ago

katholisch.de · @news_katholisch
229 followers · 660 posts · Server libori.social

sprinta a casa di Coppi e Girardengo

Partito da Camaiore, il gruppo arriva a Tortona dopo la tappa più lunga del Giro, 218 chilometri. Arrivo studiato per festeggiare i campionissimi nella loro terra d’origine: Girardengo era nato
The post sprinta a casa di Coppi e Girardengo first appeared on il manifesto.

sprints at the home of Coppi and Girardengo

Starting from Camaiore, the peloton arrived in Tortona after the longest stage of the Giro, 218 kilometres. Arrival designed to celebrate the champions in their land of origin: Girardengo was born
The post sprints to the home of Coppi and Girardengo first appeared on il manifesto.

18-5-2023 0:1 manifesto cms.ilmanifesto.it ilmanifesto.it/ackermann-sprin

#ackermann #il

Last updated 1 year ago

1100 (!) Watt im Schnitt. Das schafft nicht mal eine komplette Muckibuden-Besatzung an einem Tag auf 48 Rad-Ergometern. 🤣

🇮🇹

#cycling #radsport #ackermann #giroditalia

Last updated 1 year ago

Reto · @rettichschnidi
34 followers · 39 posts · Server swiss.social

: Bonis sind nötig um die besten zu kriegen

Auch Joe Ackermann: Wäre nicht erstaunt, wenn die Leute in den Geschäftsleitungen die Neuigkeiten (Regulatorien!?) der Letzten Jahre nicht mitbekommen haben.

Alles klar...

srf.ch/play/tv/redirect/detail

#joe #ackermann #srf #nzz #nzzstandpunkte

Last updated 2 years ago

𝗣𝗠𝗝 👽 · @pmj
392 followers · 16273 posts · Server social.pmj.rocks

oh boy
joe brabelt da immer noch was von "ohne boni gibts nicht die besten" und vergleicht den quatsch dann auch noch mit fussball 🙄

#standpunkte #nzz #ackermann

Last updated 2 years ago

Jon Awbrey · @Inquiry
216 followers · 1478 posts · Server mathstodon.xyz

Survey of Precursors Of Category Theory
inquiryintoinquiry.com/2023/04

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.



#saundersmaclane #lambek #williamhoward #curry #carnap #ackermann #hilbert #schonfinkel #Peirce #kant #aristotle #propositionsastypesanalogy #combinatorylogic #categorytheory

Last updated 2 years ago

· @089chris
73 followers · 693 posts · Server muenchen.social

@zdfmagazin
Wenn das Geburtstagskind dafür extra blechen muss, wäre das schon ein Fortschritt...

Unter Mutti Merkel war's noch gratis und die Geburtstagsfeier mit Festessen ging auf Kosten der Steuerzahler.

#ackermann

Last updated 2 years ago

Jon Awbrey · @Inquiry
52 followers · 171 posts · Server mathstodon.xyz

@aputsiak

Might be of interest —

of
inquiryintoinquiry.com/2020/09

A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from , to and , through and , 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.

#ackermann #hilbert #Peirce #kant #aristotle #categorytheory #precursors

Last updated 2 years ago

Cedric · @cedric
374 followers · 1225 posts · Server fosstodon.org
Peter Drake, he/him, LFHCfS 🔥 · @peterdrake
313 followers · 6819 posts · Server qoto.org

Cormen et al. claims that A(4, 1) is "a huge number" beyond anything one would realistically encounter, but according to both Wikipedia and Wolfram Alpha it's only 65,533.

#ackermann

Last updated 6 years ago