comp.lang.ada
 help / color / mirror / Atom feed
From: docdwarf@clark.net ()
Subject: Re: Philosophers
Date: 1998/02/06
Date: 1998-02-06T00:00:00+00:00	[thread overview]
Message-ID: <6bfbg6$r68@clarknet.clark.net> (raw)
In-Reply-To: 6bf9b7$cf8$1@bvbsd2.kc.bv.com


In article <6bf9b7$cf8$1@bvbsd2.kc.bv.com>, dogmat <macdonaldrj@bv.com> wrote:
>The Goobers wrote in message <34DA489E.6226@erols.com>...
>
>>For a 'simple' science... say, biology, it might be argued that the
>>'truth' is empirically verified in the laboratory through mechanisms
>>which, when independently implemented, generate reproducible results.
>>('See?  The crew in Bombay did it, too, and *they* got one with two
>>heads!  Now that we've settled that let's all go out for a beer.')
>>
>>For a 'not-so-simple' science... astrophysics or quantum mechanics, the
>>'big-big-big' or 'tiny-tiny-tiny' sciences... 'truth' lies more in the
>>generating of equations to describe phenomena.
>
>
>Very shaky definition of "truth", even with the quotation marks.

That is why the ''s were used... 'quid est veritas' has been asked at
other times and in other places, of course.

>The
>scientific method does not provide truth.

Then permit me to ask... what *is* truth?

>All it can provide are negatives,
>i.e., one hypothesis or theory is definitely not true, while another simply
>cannot be proven false.

Oh, *come* now... the scientific method provides a bit more than that, I
believe.  Simple example: given a quantity of hydrochloric acid of a known
concentration and a quantity of sodium hydroxide of a known concentration
the scientific method has generated the formula which will tell you how
much water, salt and heat has been produced *every other time* the same
quantites have been combined, give or take a little (margin of error).
This may not be 'truth', granted.. but are you willing to bet a week's pay
that were we to do it the result would be otherwise?

I agree we are told what this combining will not produce... tapioca
pudding, say, or a Montgomery Ward bench-grinder... but we are also told
what it pretty well likely *will* produce, based on previous
experiments... reproducibility of results is the core.

> At some point in any field, the theory is "good
>enough" and we can move on. 

As Wittgenstein said, 'the bridge must not fall down'.

>But you can bet that any theory will eventually
>be proven "wrong", and all are incomplete.

... including *that* one?  Goedel cuts both ways!

DD





  reply	other threads:[~1998-02-06  0:00 UTC|newest]

Thread overview: 245+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <199712121931.LAA25389@sirius.infonex.com>
1997-12-12  0:00 ` Which language pays most 17457 -- C++ vs. Java? Roedy Green
1997-12-17  0:00   ` Wes Groleau
1997-12-16  0:00     ` steve
1997-12-18  0:00       ` Alicia Carla Longstreet
1997-12-17  0:00         ` steve
1997-12-19  0:00           ` Larry Elmore
1997-12-19  0:00             ` James Giles
     [not found]         ` <01bd0c0b$53cc1860$26db45cf@juddesk>
1997-12-17  0:00           ` steve
1997-12-18  0:00           ` Peter Seebach
1997-12-17  0:00             ` steve
1997-12-19  0:00               ` Kaz Kylheku
1997-12-17  0:00                 ` steve
1997-12-22  0:00               ` Lawrence Kirby
1997-12-21  0:00                 ` steve
1997-12-28  0:00                   ` Lawrence Kirby
1997-12-18  0:00             ` James Giles
1997-12-17  0:00               ` steve
1997-12-19  0:00                 ` James Giles
1997-12-18  0:00                   ` steve
1997-12-19  0:00                     ` James Giles
1997-12-18  0:00                       ` steve
1997-12-19  0:00                         ` James Giles
1997-12-22  0:00                       ` Lawrence Kirby
1997-12-21  0:00                         ` James Giles
1997-12-21  0:00                           ` steve
1997-12-30  0:00                             ` Chris Gray
1997-12-28  0:00                           ` Lawrence Kirby
1997-12-28  0:00                             ` John Winters
1997-12-30  0:00                             ` paulr
1997-12-31  0:00                               ` Which language pays most " arnie sherman
1997-12-30  0:00                                 ` Dann Corbit
1997-12-31  0:00                                 ` John Slaman
     [not found]                                   ` <01bd198f$4050d960$68c8b5cc@dhite.unicomp.net>
1998-01-06  0:00                                     ` Jedi
1998-01-10  0:00                                     ` Highlander Consulting
1998-01-11  0:00                                       ` Patricia Shanahan
1998-01-11  0:00                                         ` Barrabazz
1998-01-11  0:00                                           ` Patricia Shanahan
1998-01-12  0:00                                           ` Ron Peterson
1998-01-14  0:00                                             ` anonymous
1998-01-19  0:00                                               ` Joe Gwinn
     [not found]                                                 ` <01bd2526$66b70fa0$d6d945cf@juddesk>
1998-01-23  0:00                                                   ` dnns
1998-01-23  0:00                                                     ` Philosophers Nick Roberts
1998-01-23  0:00                                                       ` Spam--> was:Re: Philosophers Dann Corbit
1998-01-24  0:00                                                         ` Nick Roberts
1998-01-26  0:00                                                           ` Doug Miller
1998-01-24  0:00                                                       ` Philosophers John G.
     [not found]                                                         ` <Pine.LNX.3.95. <34cd2808.10685219@newsroom.tassie.net.au>
1998-01-28  0:00                                                           ` Philosophers docdwarf
     [not found]                                                             ` <01bd2c40$b62837a0$7261b693@HP5079Q>
1998-01-28  0:00                                                               ` Philosophers The Goobers
1998-02-01  0:00                                                                 ` Philosophers Scott Adams
     [not found]                                                                 ` <01bd2cc0$f0042b70$7261b693@HP5079Q>
1998-02-04  0:00                                                                   ` Philosophers The Goobers
1998-02-10  0:00                                                                 ` Back to the topic of CS students. (was Re: Philosophers) cyanide
1998-02-10  0:00                                                                   ` Nick Roberts
1998-01-30  0:00                                                             ` Philosophers jim
1998-01-30  0:00                                                               ` Philosophers docdwarf
1998-01-30  0:00                                                                 ` Philosophers suzie
1998-01-30  0:00                                                                   ` Philosophers docdwarf
1998-01-31  0:00                                                                 ` Philosophers Martin Richardson
1998-01-31  0:00                                                                   ` Philosophers Jeff York
1998-02-01  0:00                                                                     ` Philosophers Martin Richardson
1998-02-02  0:00                                                                       ` Philosophers Eddie Armstrong
1998-02-03  0:00                                                                         ` Philosophers Nyk Tarr
1998-02-02  0:00                                                                       ` Philosophers Jeff York
1998-02-02  0:00                                                                       ` Philosophers Pat O'Connell
1998-02-02  0:00                                                                     ` Philosophers Robert Garskof
1998-02-02  0:00                                                                       ` Philosophers Dave Tholen
1998-01-30  0:00                                                               ` Philosophers Samuel Mize
1998-02-10  0:00                                                             ` Philosophers cyanide
1998-02-09  0:00                                                               ` Philosophers The Goobers
1998-02-18  0:00                                                             ` Philosophers Mad Hamish
1999-07-29  0:00                                                         ` Philosophers firewind
1998-01-24  0:00                                                           ` Philosophers John G.
1998-02-10  0:00                                                             ` Drifting further off topic cyanide
1998-01-25  0:00                                                           ` Philosophers Jens Schweikhardt
1998-01-28  0:00                                                           ` Philosophers Mad Hamish
1998-01-27  0:00                                                             ` Philosophers Kurt Wall
1998-01-24  0:00                                                       ` Philosophers Mike Whiten
1998-01-24  0:00                                                         ` Philosophers The Goobers
1998-01-25  0:00                                                           ` Philosophers Arnold Trembley
1998-01-25  0:00                                                             ` Philosophers The Goobers
1998-01-26  0:00                                                           ` :-) Philosophers Giovanni Drogo [drogo@rn.bastiani.it]
1998-01-29  0:00                                                           ` Philosophers Steve Dekorte
1998-01-29  0:00                                                             ` Philosophers The Goobers
1998-01-27  0:00                                                     ` Which language pays most -- C++ vs. Java? Robert Garskof
1998-01-28  0:00                                                 ` Steve Dekorte
1998-01-28  0:00                                                   ` Barrabazz
1998-01-28  0:00                                                     ` dogmat
1998-01-29  0:00                                                       ` Tim Oxler
1998-01-29  0:00                                                       ` Tim Oxler
1998-01-29  0:00                                                       ` Joe Gwinn
1998-01-29  0:00                                                         ` Wayne L. Beavers
1998-01-29  0:00                                                           ` Frank A. Adrian
1998-02-03  0:00                                                           ` GLE
1998-02-03  0:00                                                             ` Harold Stevens ** PLEASE SEE SIG **
1998-02-03  0:00                                                             ` The Goobers
1998-01-29  0:00                                                         ` coryb
1998-01-30  0:00                                                         ` Robert S. White
1998-01-30  0:00                                                           ` Patricia Shanahan
1998-01-31  0:00                                                           ` Paul Van Bellinghen
1998-02-01  0:00                                                             ` Nick Roberts
1998-02-09  0:00                                                         ` cyanide
1998-02-10  0:00                                                           ` dogmat
1998-02-10  0:00                                                           ` Bill Lynch
1998-02-10  0:00                                                             ` Michael Rot13 Klein
1998-02-10  0:00                                                             ` Jeff Knaggs
1998-02-09  0:00                                                       ` cyanide
1998-02-10  0:00                                                         ` dogmat
1999-07-29  0:00                                                       ` Edwin Purvee
     [not found]                                                     ` <01bd2c3c$6726d520$8101b8c7@MIS-RKW95.spartan.com>
1998-02-10  0:00                                                       ` Steve Dekorte
1998-02-10  0:00                                                         ` Bill Lynch
1998-02-11  0:00                                                         ` dogmat
1998-01-29  0:00                                                   ` Joe Gwinn
1998-01-31  0:00                                                 ` Larry Wiggins
1999-07-29  0:00                                                   ` Ben Pfaff
1999-07-29  0:00                                                     ` Kaz Kylheku
     [not found]                                                 ` <6alu5l$onm$1@owl.slip <01bd2c3c$6726d520$8101b8c7@MIS-RKW95.spartan.com>
1998-02-02  0:00                                                   ` Kaz Kylheku
1998-02-02  0:00                                                     ` Michael C. Kasten
1998-02-02  0:00                                                 ` This thread has drifted miles from its subject line Wes Groleau
     [not found]                                                 ` <6alu5l$ <34D6243C.2A53@gc057.fw.hac.com>
1998-02-05  0:00                                                   ` Paul Osborn
     [not found]                                                 ` <6alu5l$onm$1@owl.slip <34E0D798.E29D6CA0@cableol.co.uk>
1998-02-11  0:00                                                   ` Which language pays most -- C++ vs. Java? Kaz Kylheku
     [not found]                                               ` <gwinn-1901981219520001@dh5055142. <01bd284c$4b0b4fe0$c0f682c1@xhv46.dial.pipex.com>
1998-01-24  0:00                                                 ` Philosophers Kaz Kylheku
     [not found]                                               ` <gwinn-1901981219520001@dh5055142. <34CE059C.634DE881@snet.com>
1998-01-27  0:00                                                 ` Which language pays most -- C++ vs. Java? Kaz Kylheku
1998-01-28  0:00                                                   ` Robert Garskof
     [not found]                                               ` <gwinn-1901981219520001@dh5055142. <34C9F3D0.6B5A@erols.com>
1998-01-28  0:00                                                 ` Philosophers Warren B. Focke
1998-01-29  0:00                                                   ` Philosophers The Goobers
1998-02-05  0:00                                                     ` Philosophers Warren B. Focke
1998-02-05  0:00                                                       ` Philosophers The Goobers
1998-02-06  0:00                                                         ` Philosophers dogmat
1998-02-06  0:00                                                           ` docdwarf [this message]
1998-02-06  0:00                                                             ` Philosophers dogmat
1998-02-06  0:00                                                               ` Philosophers docdwarf
1998-02-06  0:00                                                       ` Philosophers Harold Stevens ** PLEASE SEE SIG **
1998-02-10  0:00                                                         ` Film "Contact" Nick Roberts
1998-02-09  0:00                                             ` Which language pays most -- C++ vs. Java? cyanide
1998-01-11  0:00                                       ` Kaz Kylheku
1998-01-11  0:00                                         ` Carsten Arnholm
1998-01-15  0:00                                         ` Highlander Consulting
1998-01-16  0:00                                         ` Charles F Hankel
1999-08-09  0:00                                         ` Paul Groves
1999-08-09  0:00                                           ` Kaz Kylheku
1998-01-02  0:00                                 ` Philip Hunt
1997-12-31  0:00                             ` Which language pays most 17457 " Guillermo Schwarz
1997-12-31  0:00                               ` Billy Chambless
1998-01-03  0:00                                 ` Berna L Massingill
1998-01-04  0:00                               ` Lawrence Kirby
1997-12-19  0:00                   ` Peter Seebach
1997-12-19  0:00                     ` James Giles
1997-12-18  0:00                       ` steve
1997-12-23  0:00                       ` Guillermo Schwarz
1997-12-18  0:00         ` John Seitz
1997-12-18  0:00           ` Robert Robbins
1997-12-19  0:00             ` Mark Wilden
1997-12-19  0:00           ` Ian Upright
1997-12-19  0:00             ` William Murray
1997-12-19  0:00               ` steve
1997-12-20  0:00               ` Robert Munck
1997-12-19  0:00         ` Chip Ling
1997-12-17  0:00     ` James Giles
     [not found] ` <349793cb.33600861@news.wxs.nl>
     [not found]   ` <34923264.75B5@netup.cl>
     [not found]     ` <670qio$8a$1@sparcserver.lrz-muenchen.de>
     [not found]       ` <3494B7DA.5463@ici.net>
     [not found]         ` <34958D16.190C@gsg.eds.com>
     [not found]           ` <679807$8gm@ws1.emirates.net.ae>
     [not found]             ` <e9k976.8h3.ln@localhost>
1997-12-18  0:00               ` Klaus-Georg Adams
     [not found]               ` <67bjnv$j35$1@brie.direct.ca>
     [not found]                 ` <349B0417.D4DB6A30@its.cl>
1997-12-20  0:00                   ` Kaz Kylheku
1997-12-20  0:00                     ` William J. Leary Jr.
1997-12-20  0:00                       ` Kurt Watzka
1997-12-20  0:00                         ` William J. Leary Jr.
1997-12-21  0:00                           ` Peter Seebach
1997-12-21  0:00                       ` Peter Seebach
1997-12-21  0:00                         ` William J. Leary Jr.
1997-12-22  0:00                           ` Peter Seebach
1997-12-22  0:00                         ` Lawrence Kirby
1997-12-22  0:00                           ` Kurt Watzka
1997-12-28  0:00                             ` Lawrence Kirby
1997-12-22  0:00                           ` Kaz Kylheku
1997-12-24  0:00                           ` John Porter
1997-12-24  0:00                             ` Kaz Kylheku
1997-12-27  0:00                               ` Which language pays most? Smalltalk, not C++ nor Java Guillermo Schwarz
1997-12-27  0:00                                 ` Joshua Waxman
1997-12-27  0:00                                 ` Patricia Shanahan
1997-12-27  0:00                                 ` Robert Dewar
1997-12-29  0:00                                   ` John Porter
1997-12-29  0:00                                     ` Patricia Shanahan
     [not found]                                     ` <01bd147e$11496760$6a28b4cf@carla.ici.net>
1997-12-29  0:00                                       ` Billy Chambless
1997-12-30  0:00                                       ` Jeffrey Templon
1997-12-30  0:00                                         ` Patricia Shanahan
1997-12-30  0:00                                           ` Charles R Martin
1998-01-03  0:00                                       ` Lawrence Kirby
1997-12-29  0:00                                     ` Lawrence Kirby
1997-12-29  0:00                                     ` Kaz Kylheku
1997-12-29  0:00                                     ` Robert Dewar
     [not found]                                       ` <01bd14b4$dc6f6a80$6428b4cf@carla.ici.net>
1997-12-29  0:00                                         ` Robert Dewar
1997-12-30  0:00                                           ` Billy Chambless
1997-12-31  0:00                                         ` David Thornley
1997-12-31  0:00                                           ` Keith G. Murphy
1998-01-01  0:00                                           ` Robert Dewar
1998-01-01  0:00                                             ` Patricia Shanahan
1998-01-02  0:00                                               ` Robert Dewar
1998-01-02  0:00                                                 ` Peter Seebach
1998-01-02  0:00                                                   ` Robert Dewar
1998-01-02  0:00                                                   ` firewind
1998-01-02  0:00                                                     ` Ian Piumarta
1998-01-03  0:00                                                     ` Richard Kenner
1998-01-02  0:00                                           ` Shelly Mujtaba
1998-01-02  0:00                                             ` Guillermo Schwarz
1998-01-03  0:00                                               ` Dean Roddey
1998-01-03  0:00                                                 ` Jacqueline U. Robertson
1998-01-03  0:00                                                   ` Dean Roddey
1998-01-05  0:00                                                     ` Guillermo Schwarz
1998-01-05  0:00                                                       ` Kaz Kylheku
1998-01-03  0:00                                               ` Jacqueline U. Robertson
1998-01-03  0:00                                         ` Lawrence Kirby
1998-01-28  0:00                                     ` SmallTalk Execute files Thaminda Erangane Perera
1998-01-28  0:00                                       ` Dann Corbit
1998-01-29  0:00                                         ` Griff Lewis
1997-12-28  0:00                                 ` Which language pays most? Smalltalk, not C++ nor Java Kurt Watzka
1997-12-29  0:00                                   ` Kaz Kylheku
1997-12-29  0:00                                   ` Guillermo Schwarz
1997-12-29  0:00                                     ` Kaz Kylheku
1997-12-30  0:00                                     ` Joshua Waxman
1997-12-30  0:00                                       ` Kaz Kylheku
1997-12-30  0:00                                         ` Robert Dewar
1997-12-30  0:00                                           ` Dann Corbit
1997-12-31  0:00                                             ` John Porter
1997-12-31  0:00                                               ` Jon S Anthony
1998-01-02  0:00                                                 ` Robert Dewar
1997-12-31  0:00                                             ` David Thornley
1997-12-31  0:00                                               ` Robert Dewar
1997-12-30  0:00                                         ` Joshua Waxman
1997-12-30  0:00                                       ` firewind
1997-12-30  0:00                                         ` Joshua Waxman
1997-12-31  0:00                                           ` Robert Dewar
1997-12-31  0:00                                         ` Brock
1997-12-31  0:00                                           ` Joshua Waxman
1997-12-31  0:00                                           ` Dann Corbit
1998-01-01  0:00                                           ` firewind
1997-12-30  0:00                                       ` Robert Dewar
1997-12-30  0:00                                         ` Kaz Kylheku
1997-12-30  0:00                                     ` Kaz Kylheku
1997-12-30  0:00                                     ` Billy Chambless
1997-12-30  0:00                                     ` Lawrence Kirby
1997-12-30  0:00                                       ` Patricia Shanahan
1998-01-03  0:00                                         ` Lawrence Kirby
1998-01-03  0:00                                           ` Patricia Shanahan
1997-12-29  0:00                                 ` Kaz Kylheku
1998-01-02  0:00                                 ` Tor Iver Wilhelmsen
1997-12-25  0:00                             ` Which language pays most 17457 -- C++ vs. Java? Kurt Watzka
1997-12-19  0:00 ` Quowong P Liu
1997-12-19  0:00   ` William J. Leary Jr.
1997-12-24  0:00   ` Richard D Riehle
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox