Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Category theory and Computer Science

  1. Oct 6, 2008 #1
    There is a similar thread below, but I think it is more appropriate to make a new thread because it asks totally different questions.

    I am new to category theory and thinking about its possible application to computer science.
    Deductive systems based on first order logic (sound and complete) have been successfully applied to A.I knowledge based systems and a wide variety of inference systems so far.

    My questions are
    1. Do you think category theory, especially categorical logic, can be successfully applicable to deductive reasoning systems?
    2. If we use a categorical logic for a possible deductive system, what advantages we can expect from it over traditional First Order Logic (FOL) based deductive systems?
    3. What might be the possible theoretical limits for categorical logic?

    Any opinions will be appreciated.
    Last edited: Oct 7, 2008
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you help with the solution or looking for help too?
Draft saved Draft deleted

Similar Discussions: Category theory and Computer Science
  1. Category theory (Replies: 3)

  2. Category Theory (Replies: 14)

  3. Category Theory (Replies: 8)