Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#HaskellCurry

0 posts0 participants0 posts today
Jencel Panic<p>I feel that we are just scratching the surface of what <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a> languages are, and even what reasoning is. Our current languages would look like morze code to future generations.</p><p>(No I am not referring to anything related to <a href="https://mathstodon.xyz/tags/ai" class="mention hashtag" rel="tag">#<span>ai</span></a> )</p><p>The keywords for this toot are <a href="https://mathstodon.xyz/tags/haskellcurry" class="mention hashtag" rel="tag">#<span>haskellcurry</span></a> <a href="https://mathstodon.xyz/tags/lambda" class="mention hashtag" rel="tag">#<span>lambda</span></a> <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="tag">#<span>categorytheory</span></a> etc.</p>
Jon Awbrey<p>Survey of Precursors Of Category Theory<br />• <a href="https://inquiryintoinquiry.com/2023/04/03/survey-of-precursors-of-category-theory-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/04</span><span class="invisible">/03/survey-of-precursors-of-category-theory-3/</span></a></p><p>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.</p><p><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/CombinatoryLogic" class="mention hashtag" rel="tag">#<span>CombinatoryLogic</span></a> <a href="https://mathstodon.xyz/tags/LambdaCalculus" class="mention hashtag" rel="tag">#<span>LambdaCalculus</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a><br /><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Sch%C3%B6nfinkel" class="mention hashtag" rel="tag">#<span>Schönfinkel</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a><br /><a href="https://mathstodon.xyz/tags/HaskellCurry" class="mention hashtag" rel="tag">#<span>HaskellCurry</span></a> <a href="https://mathstodon.xyz/tags/WilliamHoward" class="mention hashtag" rel="tag">#<span>WilliamHoward</span></a> <a href="https://mathstodon.xyz/tags/JoachimLambek" class="mention hashtag" rel="tag">#<span>JoachimLambek</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a><br /><a href="https://mathstodon.xyz/tags/PropositionsAsTypesAnalogy" class="mention hashtag" rel="tag">#<span>PropositionsAsTypesAnalogy</span></a> <a href="https://mathstodon.xyz/tags/CurryHowardIsomorphism" class="mention hashtag" rel="tag">#<span>CurryHowardIsomorphism</span></a> <a href="https://mathstodon.xyz/tags/Ulam" class="mention hashtag" rel="tag">#<span>Ulam</span></a></p>
SearchLive feeds
About