home.social
Sign in Create account

#schonfinkel — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #schonfinkel, aggregated by home.social.

  1. zerology @[email protected] ·

    I'm, ehm, yes, unsure.
    This might be slop.

    It's a song about Moses Schönfinkel and his combinatory logic.

    And, I kinda like it.

    youtube.com/watch?v=9tiUCpzMSnY

    #logic #combinators #schönfinkel

    #logic #combinators #schonfinkel
  2. zerology @[email protected] ·

    I'm, ehm, yes, unsure.
    This might be slop.

    It's a song about Moses Schönfinkel and his combinatory logic.

    And, I kinda like it.

    youtube.com/watch?v=9tiUCpzMSnY

    #logic #combinators #schönfinkel

    #logic #combinators #schonfinkel
  3. zerology @[email protected] ·

    I'm, ehm, yes, unsure.
    This might be slop.

    It's a song about Moses Schönfinkel and his combinatory logic.

    And, I kinda like it.

    youtube.com/watch?v=9tiUCpzMSnY

    #logic #combinators #schönfinkel

    #logic #combinators #schonfinkel
  4. zerology @[email protected] ·

    I'm, ehm, yes, unsure.
    This might be slop.

    It's a song about Moses Schönfinkel and his combinatory logic.

    And, I kinda like it.

    youtube.com/watch?v=9tiUCpzMSnY

    #logic #combinators #schönfinkel

    #schonfinkel #combinators #logic
  5. zerology @[email protected] ·

    Neat!
    Short article about Schönfinkel's combinator calculus - in Julia!
    riptutorial.com/julia-lang/exa
    #schonfinkel #combinators #calculus #julialang

    #schonfinkel #combinators #calculus #julialang
  6. zerology @[email protected] ·

    Neat!
    Short article about Schönfinkel's combinator calculus - in Julia!
    riptutorial.com/julia-lang/exa
    #schonfinkel #combinators #calculus #julialang

    #schonfinkel #combinators #calculus #julialang
  7. zerology @[email protected] ·

    Neat!
    Short article about Schönfinkel's combinator calculus - in Julia!
    riptutorial.com/julia-lang/exa
    #schonfinkel #combinators #calculus #julialang

    #schonfinkel #combinators #calculus #julialang
  8. zerology @[email protected] ·

    Neat!
    Short article about Schönfinkel's combinator calculus - in Julia!
    riptutorial.com/julia-lang/exa
    #schonfinkel #combinators #calculus #julialang

    #julialang #calculus #combinators #schonfinkel
  9. Jon Awbrey @[email protected] ·

    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.

    #CategoryTheory #CombinatoryLogic #LambdaCalculus #RelationTheory
    #Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann #Carnap
    #HaskellCurry #WilliamHoward #JoachimLambek #SaundersMacLane
    #PropositionsAsTypesAnalogy #CurryHowardIsomorphism #Ulam

    #saundersmaclane #williamhoward #carnap #ackermann #hilbert #schonfinkel