[MPlayer-cvslog] r26723 - in trunk: Makefile av_opts.c av_opts.h
diego at biurrun.de
Thu May 15 12:30:14 CEST 2008
On Thu, May 15, 2008 at 04:10:07AM +0200, Michael Niedermayer wrote:
> On Wed, May 14, 2008 at 07:15:59PM +0200, Diego Biurrun wrote:
> > Not all people know what the GPL is and the text of the GPL may not come
> > included with the source file in question. Thus, information about
> > where to get the licensing terms are useful. Snail mail may seem
> > somewhat anachronistic, but the GPL version 2 dates from 1991. The GPL
> actually i wonder if anyone ever did write them and ask for the license? :)
> And how scaleable that would be if a significant number of users would have
> done that ...
Just charge whatever costs this entails and the process becomes
scalable enough in practice.
> > > --
> > >
> > > Awnsering whenever a program halts or runs forever is
> > > On a turing machine, in general impossible (turings halting problem).
> > undecidable
> > > On any real computer, always possible as a real computer has a finite number
> > > of states N, and will either halt in less than N cycles or never halt.
> > semidecidable
> > What were you trying to say there?
> exactly what i did say.
> > Any particular instance of the
> > halting problem is semidecidable, the general problem is not.
> That exactly is false.
> The problem is perfectly decideable in the general sense on any real
> computer i could think of.
Imagine a (very simple) program that searches for an odd perfect number.
Whether such a number exists or not is an open question. If you let
such a program run on any real computer, it could either
- output an odd perfect number or
- run out of resources.
In the latter case, the question whether the program that searches for
an odd perfect number halts or not has not been answered.
More information about the MPlayer-cvslog