Dear potential GSoC mentors, I have worked tirelessly this week (Spring break) writing my GSoC application. I watched the SymPy tutorial videos. I studied relevant parts of docs.sympy.org. I read the SymPy Logic Module and Souyma's FOL.py.
I believe that SymPy is powerful enough to support many types of logic (including Propositional and First-Order) in one framework. I hope to implement this framework. My Proposal: https://github.com/sympy/sympy/wiki/GSoC-2015-Application:-Implement-First-Order-Logic I am accepting feedback until the deadline :) Please let me spend my summer on this project :) P. Dworz On Wednesday, March 25, 2015 at 11:52:45 AM UTC-5, [email protected] wrote: > > Dear Joachim and Aaron, > > Thank you for your helpful advice. I will reread Souyma's 2014 GSoC > application. And I will reread and docstring FOL.py. I will write an > application explaining how I will finish Souyma's work. > > P. Dworz > > On Wednesday, March 25, 2015 at 11:19:53 AM UTC-5, Aaron Meurer wrote: >> >> You should continue Souyma's project. I would start by looking at his >> proposal from last year (it's on the wiki) and see what he didn't get >> to. >> >> Aaron Meurer >> >> On Wed, Mar 25, 2015 at 4:56 AM, <[email protected]> wrote: >> > Wow, thanks. Soumya's 2014 GSoC project was ambitious, and required >> hard >> > work. FOL.py is well structured, but is missing definitions of classes >> such >> > as ForAll and Exists (I know quantifiers are difficult). >> > >> > I would love implement first-order logic in SymPy. Some questions: >> > 1) Are any mentors willing to consider this project? No is OK. >> > 2) Would it be wise to continue Soumya's work, or to build something >> new? >> > 3) Are there any areas of SymPy which are useful to First-Order Logic >> or >> > which benefit from First-Order Logic? >> > 4) Are there any working implementations/papers of First-Order Logic >> that I >> > can refer to for this project? >> > 5) Do I have enough time to put together a reasonable application? (I >> am >> > insecure because my application is primitive compared to Soumya's) >> > 6) Does anyone have any other advice? >> > >> > I really would love to do this project. Thanks for your time. >> > >> > P. Dworz >> > >> > >> > >> > >> > >> > On Wednesday, March 25, 2015 at 3:02:46 AM UTC-5, Sudhanshu Mishra >> wrote: >> >> >> >> Hello, >> >> >> >> You might want to see this. https://github.com/sympy/sympy/pull/7608 >> >> >> >> A substantial amount of work has been already done on FOL. It hasn't >> been >> >> merged yet because of some marginal work left. >> >> >> >> Sudhanshu Mishra >> >> >> >> >> >> On Wed, Mar 25, 2015 at 12:14 PM, <[email protected]> wrote: >> >>> >> >>> Dear SymPy mailing list, >> >>> >> >>> This message is to introduce myself as an applicant for Google Summer >> of >> >>> Code. Please see my application wiki here: >> >>> >> https://github.com/sympy/sympy/wiki/GSoC-2015-Application:-Implement-First-Order-Logic >> >> >>> . Feedback is welcome. >> >>> >> >>> P. Dworz >> >>> >> >>> -- >> >>> You received this message because you are subscribed to the Google >> Groups >> >>> "sympy" group. >> >>> To unsubscribe from this group and stop receiving emails from it, >> send an >> >>> email to [email protected]. >> >>> To post to this group, send email to [email protected]. >> >>> Visit this group at http://groups.google.com/group/sympy. >> >>> To view this discussion on the web visit >> >>> >> https://groups.google.com/d/msgid/sympy/a64d3ee1-b042-4200-b586-8b3bab33a69b%40googlegroups.com. >> >> >> >>> For more options, visit https://groups.google.com/d/optout. >> >> >> >> >> > -- >> > You received this message because you are subscribed to the Google >> Groups >> > "sympy" group. >> > To unsubscribe from this group and stop receiving emails from it, send >> an >> > email to [email protected]. >> > To post to this group, send email to [email protected]. >> > Visit this group at http://groups.google.com/group/sympy. >> > To view this discussion on the web visit >> > >> https://groups.google.com/d/msgid/sympy/11ea797c-ec5e-45bd-bdef-a875d5a641dd%40googlegroups.com. >> >> >> > >> > For more options, visit https://groups.google.com/d/optout. >> > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/55e52372-5960-40a2-a5c4-0ca6a8299988%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
