#williamhoward — Public Fediverse posts

Iowa remembers 4 soldiers killed in Syria and Kuwait | News

DES MOINES, Iowa — Governor Kim Reynolds has ordered all flags in Iowa to be lowered to half-staff…
#Conflict #Conflicts #War #edgartorres-tovar #flag #half-staff #Iowa #jeffreyo #memorialday #Syria #williamhoward
https://www.europesays.com/3011047/

Iowa remembers 4 soldiers killed in Syria and Kuwait | News https://www.byteseu.com/2045009/ #Conflicts #EdgarTorresTovar #flag #HalfStaff #iowa #JeffreyO #MemorialDay #Syria #WilliamHoward

https://www.europesays.com/iran/127046/ Iowa remembers 4 soldiers killed in Syria and Kuwait | News #EdgarTorresTovar #flag #HalfStaff #iowa #JeffreyO #MemorialDay #Syria #WilliamHoward

Catastrophic fire danger looms in Victoria as bushfire continues to burn
By William Howard, Jean Bell, Angus Mackintosh, and Gaye Pattison

Heartbreak and miraculous saves take place in western Victoria as a huge fire roars through 17,000 hectares.

https://www.abc.net.au/news/2024-02-26/catastrophic-fire-danger-possible-victoria-bushfire-continues/103507884

#Bushfires #DisasterandEmergencyResponse #Volunteers #CommunityOrganisations #RegionalCommunities #WilliamHoward #JeanBell #AngusMackintosh # #GayePattison

Assange's father says it's time to put 'serious' pressure on UK, US to bring home 'son of the Australian soil'
By William Howard, Mim Hook, and Millicent Spencer

As the world waits for the verdict on whether the WikiLeaks founder will be extradited to the US, his father John Shipton says Australia should consider imposing "not too brutal" restrictions on our allies.

https://www.abc.net.au/news/2024-02-22/julian-assange-father-urges-australia-to-pressure-uk-and-us/103497596

#InternationalCourtsandTribunals #LawCrimeandJustice #WorldPolitics #LiberalPartyofAustralia #ALP #AustralianGreens #GovernmentandPolitics #CourtsandTrials #Laws #Crime #FederalGovernment #ForeignAffairs #InternationalLaw #SecurityIntelligence #WilliamHoward #MimHook # #MillicentSpencer

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 #LambdaCalculus #RelationTheory
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann #Carnap
#HaskellCurry #WilliamHoward #JoachimLambek #SaundersMacLane
#PropositionsAsTypesAnalogy #CurryHowardIsomorphism #Ulam

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 #LambdaCalculus #RelationTheory
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann #Carnap
#HaskellCurry #WilliamHoward #JoachimLambek #SaundersMacLane
#PropositionsAsTypesAnalogy #CurryHowardIsomorphism #Ulam

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 #LambdaCalculus #RelationTheory
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann #Carnap
#HaskellCurry #WilliamHoward #JoachimLambek #SaundersMacLane
#PropositionsAsTypesAnalogy #CurryHowardIsomorphism #Ulam

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 #LambdaCalculus #RelationTheory
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann #Carnap
#HaskellCurry #WilliamHoward #JoachimLambek #SaundersMacLane
#PropositionsAsTypesAnalogy #CurryHowardIsomorphism #Ulam

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 #LambdaCalculus #RelationTheory
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann #Carnap
#HaskellCurry #WilliamHoward #JoachimLambek #SaundersMacLane
#PropositionsAsTypesAnalogy #CurryHowardIsomorphism #Ulam