From: Chip Eastham on

Tony Orlow wrote (inter alia):

> As long as no two axioms contradict each other, directly or indirectly,
> the theory is consistent.

This isn't strictly speaking correct. An inconsistent theory may be
formulated so that no pair of axioms contradict one another.

A trivial example in propositional logic:

A => B; A; ~B

Any two of these "axioms" are consistent, but the three taken
together obviously are not. Perhaps this sort of phenomenon
is meant to be covered by "contradict each other... indirectly"
but in any event it is misleading to think inconsistency of a
theory results from a pairwise consideration of axioms.


regards, chip

From: John Schutkeker on
Han de Bruijn <Han.deBruijn(a)DTO.TUDelft.NL> wrote in news:9ed01$44fd392c
$82a1e228$31509(a)news1.tudelft.nl:

> John Schutkeker wrote:
>
>> You're nothing but fatalists. Quitters, even.
>
> Perelman is a quitter as well. The next step is to think about why.

In what way is Perleman a quitter?
From: John Schutkeker on
"Jesse F. Hughes" <jesse(a)phiwumbda.org> wrote in
news:874pvl11or.fsf(a)phiwumbda.org:

> And they do get lots of garbage.

They should archive that separately. A new database called "ArXjunk,"
perhaps. :)
From: Han.deBruijn on
John Schutkeker wrote:

> Han de Bruijn <Han.deBruijn(a)DTO.TUDelft.NL> wrote in news:9ed01$44fd392c
> $82a1e228$31509(a)news1.tudelft.nl:
>
> > John Schutkeker wrote:
> >
> >> You're nothing but fatalists. Quitters, even.
> >
> > Perelman is a quitter as well. The next step is to think about why.
>
> In what way is Perleman a quitter?

Don't you keep up with the news?

Han de Bruijn

From: Lester Zick on
On 9 Sep 2006 19:22:35 -0700, "David R Tribble" <david(a)tribble.com>
wrote:

>Lester Zick wrote:
>>> Because you self declaredly proclaim assumptions of truth in lieu of
>>> demonstrations.
>>
>
>Virgil wrote:
>>> Zick frequently does this, but why does he deceive himself that
>>> mathematicians emulate his idiocies?
>>
>
>Lester Zick wrote:
>> Because they don't and probably can't demonstrate their trivial
>> assumptions of truth.
>
>Here's the first Peano axiom:
> 1. 0 is a natural number.
>
>Is it (trivially) true or false?

Assumptions are always trivial. So the only question is whether the
assumption is true or false. Zero is not a natural number. If it were
it would have been discovered long before it was. Natural numbers
begin with 1. Zero just represents the difference between any number
and itself.

~v~~
First  |  Prev  |  Next  |  Last
Pages: 74 75 76 77 78 79 80 81 82 83 84 85 86 87
Prev: Any coordinate system in GR?
Next: Euclidean Spaces