GSOC : Interested in Implementing Formal Logic and Set Theory

[Alok]

Hi there,


Firstly, I would like to introduce myself to the group:

I am a third year undergraduate student from BITS Pilani University,
India. My major is Information Systems. Talking about the academic
prowess/experience in the field, I had done a course, titled "Logic
in Computer Science", last year. Apart from that I have done regular
courses on "Discrete Math", "Data Structures and Algorithms", "Linear
Algebra" previously.

Coming to my coding skills, I am an advanced Python programmer with
around one year of experience in coding different algorithms/data-
structures, writing server-client socket applications for my personal
usage, playing with the twitter API etc.

Apart from this, I have experience in using Prolog, which I used
during my Logic in CS course to test and implement formal logic rules
and predicates.


Coming to the idea itself:

I quite liked the idea, when I saw it first on the ideas page[1]. I
skimmed through the /sympy/assumptions/ directory[2] on github, and
the first feeling was that, "this is nice and clean". And I could
possibly do it, once I get a hang of it.

I am well versed with the conceptual parts of the subject and using
such systems from the outside, but getting under-the-hood and writing
such programs would be a first time for me.

Could someone please lay-down the idea in more concrete and acheivable
terms for me, like you have to implement Natural Deduction Rules or
implement Quantifier Equivalences etc.

Thanks,
Alok

[1]: https://github.com/sympy/sympy/wiki/gsoc-2012-Ideas
[2]: https://github.com/sympy/sympy/tree/master/sympy/assumptions

[Aaron Meurer]

Hi.

Sorry for taking so long to reply. I don't know enough about logic myself to really tell you much. I can say that the idea is intimately tied in with the assumptions. We currently have two assumptions systems, the old one that needs to be removed and the new one that needs to be improved to a usable state.

For logic, I do know that we don't have any second order logic implemented (quantifiers).

I recommend that you start looking at the code, and start looking for something you can do to satisfy the patch requirement.

Aaron Meurer

> --
> You received this message because you are subscribed to the Google Groups "sympy" group.
> To post to this group, send email to sy...@googlegroups.com.
> To unsubscribe from this group, send email to sympy+un...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
>
>

--
Sent from my iPhone.

[Alok Upadhyay]

Thanks Aaron! I have already forked the code-base, I am studying the
assumptions system code.

Can you help me find some more documentation of the assumptions system?

[Aaron Meurer]

Unfortunately, documentation is one of the shortcomings in the
assumptions code right now. I think you're best of just reading the
code and figuring out how it works, and playing with it to see what it
can and cannot do.

Aaron Meurer

[Alok Upadhyay]

Wow! Unexpectedly, there is a lot work that has been done in the logic
module. Great!