/sci/ - Science & Math

>>5419302
k, thanks I'm going to save that and maybe thing about it more at a later point where I understand more.
Btw. do you have any means to contact you, or a blog or something?

Lastly, you list "it does compute" as a strength. I guess I know in what sense you mean that, namely that the theories syntax gives you computable functions or proves via the Curry-Howard Correspondence.
But what "nice fact" do you actually think aboout when you say the theory computes? Like do you ever actually use any of the "algorithms abstractly given via the correspondence"? I see that correspondence more as a means to abstract away from theories with their intended meaning.