Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: fom - 01 - preface
Replies: 35   Last Post: Dec 16, 2012 12:20 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
fom

Posts: 1,968
Registered: 12/4/12
Re: fom - 01 - preface
Posted: Dec 11, 2012 12:46 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 12/10/2012 10:57 PM, Ross A. Finlayson wrote:
> On Dec 10, 7:55 pm, fom <fomJ...@nyms.net> wrote:
>> On 12/10/2012 2:43 PM, Virgil wrote:
>>
>>
>>
>>
>>
>>
>>
>>
>>

>>> In article
>>> <e88797b7-7c0e-456a-9cf7-87f0a5247...@gu9g2000vbb.googlegroups.com>,
>>> WM <mueck...@rz.fh-augsburg.de> wrote:

>>
>>>> On 10 Dez., 01:02, fom <fomJ...@nyms.net> wrote:
>>>>> On 12/9/2012 12:30 PM, WM wrote:
>>
>>>>>> On 9 Dez., 17:24, fom <fomJ...@nyms.net> wrote:
>>>>>>> On 12/9/2012 3:20 AM, WM wrote:
>>
>>>>> <snip>
>>
>>>>>>> So, why is there no global axiom of choice?
>>
>>>>>> As far as I am informed, *the* axiom of choice is global. There is no
>>>>>> exception. Zermelo proved: Every set can be well-ordered.

>>
>>>>> The axiom of choice only applies to sets within
>>>>> a given model.

>>
>>>> Zermelo proved that every set can be well-ordered - without mentioning
>>>> any model. My interest is solely the set of real numbers. It is
>>>> covered by Zermelo's proof.

>>
>>> Does WM claim that Zermelo's "proof" must hold in every model, that it
>>> is somehow universal?

>>
>> Well, it certainly holds whenever the theory
>> being modeled has the axoim of choice.
>>
>> I wonder how the claim holds when the axiom
>> of determinacy is in force and the axiom of
>> choice is inconsistent.
>>
>> I suppose, that the claim is interpretable along
>> the lines of finitism. Completeness is of no
>> issue. What can be proved using a sound deductive
>> system is what is true. Then the only real numbers
>> are the constructive real numbers.

>
> I'm for that they're mutually constructed as the complete ordered
> field of Eudoxus/Cauchy/Dedekind and also as a partially ordered ring
> a la Bishop and Cheng (strong constructivists), with between the two
> forms a rather restricted, but existent, transfer principle.
>
> Besides Archimedes, and, say, Newton's first fluxions or Leibniz'
> infinitesimals: where do we find the infinitesimals in natural
> theoretical order?


Abraham Robinson

Non-Standard Analysis provides a model wherein there
are infinitesimals so that the physicists can feel
good about what they do.

>
> http://en.wikipedia.org/wiki/Infinitesimal
>
> Thinkers since antiquity.
>
> Regards,
>
> Ross Finlayson
>




Date Subject Author
12/7/12
Read fom - 01 - preface
fom
12/8/12
Read Re: fom - 01 - preface
Zaljohar@gmail.com
12/8/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: fom - 01 - preface
fom
12/8/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: fom - 01 - preface
Virgil
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: fom - 01 - preface
Virgil
12/8/12
Read Re: fom - 01 - preface
fom
12/8/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/9/12
Read Re: fom - 01 - preface
fom
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: fom - 01 - preface
fom
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: fom - 01 - preface
fom
12/10/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: fom - 01 - preface
Virgil
12/10/12
Read Re: fom - 01 - preface
fom
12/10/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/11/12
Read Re: fom - 01 - preface
fom
12/12/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/12/12
Read Re: fom - 01 - preface
Virgil
12/16/12
Read Re: fom - 01 - preface
12/9/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/9/12
Read Re: fom - 01 - preface
fom
12/9/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/9/12
Read Re: fom - 01 - preface
12/10/12
Read Re: fom - 01 - preface
fom
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: fom - 01 - preface
Virgil
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: fom - 01 - preface
Virgil
12/9/12
Read Re: fom - 01 - preface
Zaljohar@gmail.com
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: fom - 01 - preface
Dan Christensen
12/11/12
Read Re: fom - 01 - introduction
fom

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.