Re: JSH: Math proofs

From: Paul Mason (Paul_member_at_newsguy.com)
Date: 09/09/04


Date: 9 Sep 2004 04:11:09 -0700

In article <3c65f87.0409081440.35bf0437@posting.google.com>, James Harris
says...
>
>Alex Hunsley <lard@tardis.ed.ac.molar.uk> wrote in message
>news:<MHWYc.65243$a66.19627@fe2.news.blueyonder.co.uk>...
>> James Harris wrote:
>> > For a while now I've been saying something I thought was rather basic:
>> >
>> > A math proof begins with a truth and proceeds by logical steps to a
>> > conclusion which then must be true.
>>
>> But it's only as good as the truth/coherence of the axioms/assumptions.
>
>If a math proof begins with a truth then how can there be any problem
>with the axioms?
>

Sorry to go all Pilate but I'm curious - what, in mathematics, constitutes "a
truth"?



Relevant Pages

  • Re: JSH: Math proofs
    ... >> A math proof begins with a truth and proceeds by logical steps to a ... If a math proof begins with a truth then how can there be any problem ... James Harris ...
    (sci.math)
  • Re: JSH: Math proofs
    ... >> A math proof begins with a truth and proceeds by logical steps to a ... > the objection is that there is no universal truth in mathematics. ... > may well not be true under different, just as interesting axioms. ...
    (sci.math)
  • Re: JSH: Math proofs
    ... In article, James Harris wrote: ... > If a math proof begins with a truth then how can there be any problem ... > with the axioms? ... There is no such thing as absolute truth, ...
    (sci.math)
  • Re: JSH: Math proofs
    ... the objection is that there is no universal truth in mathematics. ... A math proof starts with a set of axioms, and theorems which ... may well not be true under different, just as interesting axioms. ...
    (sci.math)
  • Re: JSH: Math proofs
    ... jstevh@msn.com (James Harris) wrote: ... > A math proof begins with a truth and proceeds by logical steps to a ...
    (sci.math)

Quantcast