Jump to content

Talk:Implementation of mathematics in set theory

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Trovatore (talk | contribs) at 08:42, 23 December 2005 (terminology). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

It is (really!) not the aim of this article to support a polemic for ZFC or NFU. I do notice that NFU gets credit for allowing certain natural abstractions to be first-class objects which are often missed in ZFC (the universe, the Frege natural numbers). However, it must also be noted that constructions in NFU often get rather baroque (especially where large sets need to be taken into account) and it is pretty clear that the world of NFU contains nonstandard objects (in particular, nonstandard ordinals). Easy access to the "nonstandard" phenomena coded by the external endomorphism of the ordinals (the T operation) allows strong axioms of infinity to be stated in appealingly (perhaps deceptively) simple forms (see the New Foundations article for some of these). I actually think that ZFC on the whole is better (because easier) but not that much better (despite the fact that I study NF and related systems, I'm not a partisan of some wholesale revolution in set theoretical practice!) But I think it is good for those who study foundations to be aware of alternatives. Randall Holmes 03:19, 22 December 2005 (UTC)[reply]

More will be coming. Randall Holmes 03:19, 22 December 2005 (UTC)[reply]

The handling of indexed families is a little different from that in my book: I save a level of typing by allowing only index sets of singletons. It is not completely general but is a little easier -- but I still made some mistakes setting it up! Randall Holmes 06:26, 22 December 2005 (UTC)[reply]

terminology

I find it a little problematic to refer to doing these things "in" ZFC or NFU. ZFC and NFU only prove things; they don't construct or define anything. I've had quite a job explaining this at articles like definable number (people want to talk about things like "real numbers definable in ZFC", which is nonsense).

What the article seems to be about is how to define various concepts in the language of set theory (not ZFC or NFU) in such a way that ZFC (resp. NFU) proves that they behave the way one wants them to. I think that's fine; I just would rather not see this called "doing things in ZFC or NFU". That's a reasonable shorthand when everyone understands each other, but is likely to cause or reinforce misconceptions among neophytes.

A subordinate but related point is that, of course, the implementations said to be "done in ZFC" could equally well be done in weaker or stronger theories with the same intended interpretation (say, ZC, or ZFC+"there exists a huge cardinal). So it's really the intended interpretation that controls, not the precise formal theory, at least in the "ZFC" case. For NFU it's harder to say, because I'm unaware whether or not NFU has an intended interpretation (you'd know more about that than I). --Trovatore 08:42, 23 December 2005 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Implementation_of_mathematics_in_set_theory&oldid=32464448"