#curryhowardisomorphism — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #curryhowardisomorphism, aggregated by home.social.
-
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 -
#Propositions As #Types • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-1/One of my favorite mathematical tricks — it almost seems too tricky to be true — is the #PropositionsAsTypesAnalogy. And I see hints the 2-part analogy can be extended to a 3-part analogy, as follows.
\(\text{proof hint : proof : proposition :: untyped term : typed term : type}\)
See my notes on #PropositionsAsTypes for more.
• https://oeis.org/wiki/Propositions_As_Types_Analogy#Logic #Combinators #ProofTheory #TypeTheory
#CurryHowardIsomorphism #LambdaCalculus -
#Propositions As #Types • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-1/One of my favorite mathematical tricks — it almost seems too tricky to be true — is the #PropositionsAsTypesAnalogy. And I see hints the 2-part analogy can be extended to a 3-part analogy, as follows.
\(\text{proof hint : proof : proposition :: untyped term : typed term : type}\)
See my notes on #PropositionsAsTypes for more.
• https://oeis.org/wiki/Propositions_As_Types_Analogy#Logic #Combinators #ProofTheory #TypeTheory
#CurryHowardIsomorphism #LambdaCalculus -
#Propositions As #Types • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-1/One of my favorite mathematical tricks — it almost seems too tricky to be true — is the #PropositionsAsTypesAnalogy. And I see hints the 2-part analogy can be extended to a 3-part analogy, as follows.
\(\text{proof hint : proof : proposition :: untyped term : typed term : type}\)
See my notes on #PropositionsAsTypes for more.
• https://oeis.org/wiki/Propositions_As_Types_Analogy#Logic #Combinators #ProofTheory #TypeTheory
#CurryHowardIsomorphism #LambdaCalculus -
#Propositions As #Types • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-1/One of my favorite mathematical tricks — it almost seems too tricky to be true — is the #PropositionsAsTypesAnalogy. And I see hints the 2-part analogy can be extended to a 3-part analogy, as follows.
\(\text{proof hint : proof : proposition :: untyped term : typed term : type}\)
See my notes on #PropositionsAsTypes for more.
• https://oeis.org/wiki/Propositions_As_Types_Analogy#Logic #Combinators #ProofTheory #TypeTheory
#CurryHowardIsomorphism #LambdaCalculus -
#Propositions As #Types • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-1/One of my favorite mathematical tricks — it almost seems too tricky to be true — is the #PropositionsAsTypesAnalogy. And I see hints the 2-part analogy can be extended to a 3-part analogy, as follows.
\(\text{proof hint : proof : proposition :: untyped term : typed term : type}\)
See my notes on #PropositionsAsTypes for more.
• https://oeis.org/wiki/Propositions_As_Types_Analogy#Logic #Combinators #ProofTheory #TypeTheory
#CurryHowardIsomorphism #LambdaCalculus -
Part of the Migration. Moved from @[email protected]
Interested in #topology (for fun and #TDA )
#GraphicalLinearAlgebra and similar notations like string diagrams and #ExistentialGraphs
#CurryHowardIsomorphism
#Semantics for humans and computers
#topoi
#CategoryTheory
#WordEmbeddings (in #NLP )
#language
#logic
#SFF
#History of science, math, societies
etc.Trans rights are human rights; blm; workers solidarity; native rights; and all the various other ways of not being vile to people
-
Propositions As Types Analogy • 1
Re: R.J. Lipton • Mathematical Tricks
One of my favorite mathematical tricks — it almost seems too tricky to be true — is the Propositions As Types Analogy.
And I see hints the 2‑part analogy can be extended to a 3‑part analogy, as follows.
See my working notes on the Propositions As Types Analogy for more information.
#Animata #CSPeirce #CombinatorCalculus #CombinatoryLogic #CurryHowardIsomorphism #GraphTheory #LambdaCalculus #Logic #LogicalGraphs #Mathematics #ProofTheory #PropositionsAsTypesAnalogy #TypeTheory