Posted by: Anonymous Coward
on September 11, 2003 01:26 PM
I think proof by contradiction applies only when the assumption can only be true or false. Sinse it is possible to have *some* (but not all or nothing) infrigment in the kernel, we cannot use proof by contradiction. For example, a number can be a rational number or not. But since it cannot be part rational and part irrational, then proof by contradiction can be a valid argument. I am not a mathimatian, I would be nice if a mathimatian can approve of what I posted.
Learn about Linux
Download Linux
Get Linux help
Re:Reductio ad absurdum.
Posted by: Anonymous Coward on September 11, 2003 01:26 PMonly when the assumption can only be true
or false. Sinse it is possible to have
*some* (but not all or nothing) infrigment
in the kernel, we cannot use proof by
contradiction. For example, a number can
be a rational number or not. But since it
cannot be part rational and part irrational,
then proof by contradiction can be a valid
argument. I am not a mathimatian, I would
be nice if a mathimatian can approve of what
I posted.
#