Re: Astrologisch Advies ! (vrij lang)

Article View: be.misc

Article #47566

#47566

From: Dirk Dussart
Date: Sat, 03 May 1997 00:00

17 lines
1525 bytes

Bert Peers <Bert.Peers@student.kuleuven.ac.be> writes:

> 
> 
> > bestaat, men kan echter niet bewijzen dat iets NIET bestaat.
> 
> Bewijzen dat het complement bestaat ?

Bewijs door contradictie: neem aan dat het bestaat en bewijs dat je
dan tot een contradictie komt. Dit is een zeer veel gebruikte techniek
voor wiskundige bewijzen. Als je tenminste geen aanhanger bent van
Brouwer en de intuitionistische school :-)

-- 
Dirk

Technical Details

Message-ID: <rf7wwphjdaw.fsf@droopy.cs.kuleuven.ac.be>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

References:

<AF78C5FD966871C6@p8-28.z03.glo.be> <5j4l1k$h4o@rc1.vub.ac.be> <5j5sh8$7hr$1@news.be.innet.net> <5j7iiq$f9c$1@nix.cs.kuleuven.ac.be> <AF7D6BCF9668F682F@p4-19.z03.glo.be> <5jf53k$b19$1@nix.cs.kuleuven.ac.be> <335FB431.3B9D@club.innet.be> <5jq72h$157$1@news.be.innet.net> <5jqksr$aa5$1@nix.cs.kuleuven.ac.be> <336227bd.34627865@news.ping.be> <AF872B40966835D65@p0-19.z03.glo.be> <33620B3B.7982@ping.be> <AF8961BB966836678E@p2-14.z03.glo.be> <3364FBFF.61AA@the.cat> <AF8BF24D9668352B21@p4-28.z03.glo.be> <336663E6.1822@Ping.be> <rf7enbs97yn.fsf@droopy.cs.kuleuven.ac.be> <AF8EEBFF9668148033@p0-12.z03.glo.be> <3369FE3B.230C@student.kuleuven.ac.be>

Show Full Headers

Complete Article Headers

X-Google-Language: DUTCH,ASCII-7-bit
X-Google-Thread: 105c73,bfc72783316dfc9d
X-Google-Attributes: gid105c73,public
From: Dirk Dussart <dirkd@droopy.cs.kuleuven.ac.be>
Subject: Re: Astrologisch Advies ! (vrij lang)
Date: 1997/05/03
Message-ID: <rf7wwphjdaw.fsf@droopy.cs.kuleuven.ac.be>
X-Deja-AN: 239096325
Distribution: world
References: <AF78C5FD966871C6@p8-28.z03.glo.be> <5j4l1k$h4o@rc1.vub.ac.be> <5j5sh8$7hr$1@news.be.innet.net> <5j7iiq$f9c$1@nix.cs.kuleuven.ac.be> <AF7D6BCF9668F682F@p4-19.z03.glo.be> <5jf53k$b19$1@nix.cs.kuleuven.ac.be> <335FB431.3B9D@club.innet.be> <5jq72h$157$1@news.be.innet.net> <5jqksr$aa5$1@nix.cs.kuleuven.ac.be> <336227bd.34627865@news.ping.be> <AF872B40966835D65@p0-19.z03.glo.be> <33620B3B.7982@ping.be> <AF8961BB966836678E@p2-14.z03.glo.be> <3364FBFF.61AA@the.cat> <AF8BF24D9668352B21@p4-28.z03.glo.be> <336663E6.1822@Ping.be> <rf7enbs97yn.fsf@droopy.cs.kuleuven.ac.be> <AF8EEBFF9668148033@p0-12.z03.glo.be> <3369FE3B.230C@student.kuleuven.ac.be>
Organization: Department of Computer Science, K.U.Leuven
Newsgroups: be.misc

Reply to Parent Message