Options

Introduction - Filip Vukovinski

Hi! I'm a business, technology and creative strategy consultant, enterprise software architect and technology policy writer. I manage to do all this diverse work by tapping into the power of languages - formal, human and natural. I've always been bad at math in school, however my pursuit for understanding how computers and programming languages work, brought me to Lambda, CT and the wonderful practice of discreet math. My program is to tear down the sciences, languages and work practices and rebuild them within a Polymath framework, not unlike Leibniz's basic idea, but far more wider and designed for humans.

Comments

  • 1.

    The Polymath program is highly speculative, and I anticipate it to take most of my life time, that's why I won't be taking collaborators until I publish a draft strategy and initial ontology. To succeed, I will need a lot of CT and ACT to verify the predictions.

    As I have some previous knowledge and experience in CT, I will try to help you guys by following this course in Coq, which is a proof assistant. I'll make the code available => https://github.com/vukovinski/azimuth-act

    Comment Source:The Polymath program is highly speculative, and I anticipate it to take most of my life time, that's why I won't be taking collaborators until I publish a draft strategy and initial ontology. To succeed, I will need a lot of CT and ACT to verify the predictions. As I have some previous knowledge and experience in CT, I will try to help you guys by following this course in Coq, which is a proof assistant. I'll make the code available => https://github.com/vukovinski/azimuth-act
  • 2.

    Cool, I am following your github project.

    Comment Source:Cool, I am following your github project.
Sign In or Register to comment.