search

namme-anetten / epigram

Automatically exported from code.google.com/p/epigram
0 stars 0 forks source link

EWAM should be more discriminating #103

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
When eliminating, we should fix programming problem hypotheses that do not 
depend on variables occurring in the target. (We think. If this doesn't work, 
we may need to determine whether the elimination principle is an induction or 
not, an minimize or maximize the motive appropriately.)

Original issue reported on code.google.com by adamgundry on 9 Sep 2010 at 4:58

GoogleCodeExporter commented 9 years ago 
So, you're working on that? (as you reported it: Owner: Adam, Status: Accepted)

Original comment by pedag...@gmail.com on 9 Sep 2010 at 6:06

GoogleCodeExporter commented 9 years ago 
Yes, though I plan to look at issue 77 first. If you want to reassign this bug 
and work on it in the meantime you are welcome. I have a few tentative bits of 
code but nothing significant.

Original comment by adamgundry on 10 Sep 2010 at 7:40

GoogleCodeExporter commented 9 years ago 
Ok. I'm in some mystical quest for the understanding of EWMA right now, so it 
will probably take a long time before mysticism turns into practice. If I do 
something, I'll ping you.

Original comment by pedag...@gmail.com on 10 Sep 2010 at 8:54