Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?
From: Mike Oliver (mike_lists_at_verizon.net)
Date: 01/29/05
- Next message: tchow_at_lsa.umich.edu: "Name the thesis: "Formal sentences capture informal ones""
- Previous message: LordBeotian: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- In reply to: mareg_at_mimosa.csv.warwick.ac.uk: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Next in thread: mareg_at_mimosa.csv.warwick.ac.uk: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Reply: mareg_at_mimosa.csv.warwick.ac.uk: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Sat, 29 Jan 2005 13:15:21 -0600
mareg@mimosa.csv.warwick.ac.uk wrote:
> Hmmm! Well I think of myself as a platonist, but I don't consider that
> it is meaningful to say that the axiom of choice, which is a meaningful
> statement about sets, is either true or false in any absolute sense.
> So perhaps I am being inconsistent? I find it strange that there are
> some mathematicians who do claim to believe that ACC is true or false,
> although they do not generally expect ever to find out which!
I'm not sure whom you would put in the category described. Most
mathematicians who are realists about sets are convinced that AC
is true.
(I'm assuming that "ACC" was a typo for "AC"; if not, then I
suppose my response could be a non-sequitur.)
- Next message: tchow_at_lsa.umich.edu: "Name the thesis: "Formal sentences capture informal ones""
- Previous message: LordBeotian: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- In reply to: mareg_at_mimosa.csv.warwick.ac.uk: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Next in thread: mareg_at_mimosa.csv.warwick.ac.uk: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Reply: mareg_at_mimosa.csv.warwick.ac.uk: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
