Talk:Implementation of mathematics in set theory

Untitled section
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)

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

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)

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.


 * Unfortunately, that's the way I talk. But I will try to bear this in mind. Randall Holmes 08:54, 23 December 2005 (UTC) (I moved this remark to the right place in the conversation).


 * There is certainly a sense in which one theory (not just language) may "define" or "construct" an object which another theory with the same language may not: it may prove that there is a unique object x such that phi(x), thus establishing that "the x such that phi" exists in the world or class of worlds described by that theory, where another theory with the same language may not prove that the description is satisfied. Randall Holmes 11:05, 23 December 2005 (UTC)


 * Further, I don't see that the style you object to is avoidable in practice if one is to talk about this issue at all. It is problematic to talk about analogous objects in different theories (in the sciences as well as in mathematics), and here I am not only talking about analogous objects in different theories but also about abstractions from other areas of mathematics to be imported into the two set theories. A possible line of argument might be that one simply cannot safely talk about this issue at all except to experts:  but the issue shows up (and is potentially visible to neophytes) at the very beginning of the project of founding mathematics in set theory (why are we using this particular set of axioms?) I do agree (I am very much aware) that one must talk about these things carefully... Randall Holmes 11:05, 23 December 2005 (UTC)

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)


 * Re intended interpretation, see the model construction in the New Foundations article. The world of NFU is best understood to be an initial segment of the cumulative hierarchy with an external automorphism moving a rank (which is then used to tweak the membership relation used).  It actually presents some of the same difficulties you raised in your discussion of the intended interpretation of KM, with the additional feature that some elements of the NFU universe are clearly in some sense "nonstandard" (large ordinals moved by the T operation, for example).  Another way of looking at NFU is to note that it is motivated more by the idea that a set is an abstraction from a predicate than by the idea of a set as a generalization (to the transfinite) of the everyday notion of set (a finite collection) [the latter being what some say is going on in ZFC; but I don't see that this helps with getting a picture of what the world of NFU is like].  Randall Holmes 08:54, 23 December 2005 (UTC)


 * I do think about the issue of weaker theories. In fact, Mac Lane set theory (bounded Zermelo set theory) is really the Zermelo-style theory I am most often thinking of:  it has the same strength as the base theory NFU + Infinity + Choice, while there is actually no natural extension of NFU with the same strength as ZFC:  there is an overshoot to the level of n-Mahlo cardinals for each n.  In my mind (and more explicitly in various places in my publications) I am comparing Zermelo-style set theory and Quine-style set theory -- the general views of the world, not the specific axiom sets. Randall Holmes 09:35, 23 December 2005 (UTC)


 * Well, that was kind of my point; the article as written (and perhaps even the title) is misleading for that exact reason. --Trovatore 09:12, 23 December 2005 (UTC)


 * I'll see if I can put in something about that. I'm not sure the title is particularly misleading: "set theory" as a general subject includes different general approaches as well as different concrete theories.  But I should perhaps say that I am comparing two general approaches to set theory rather than two particular theories.  Randall Holmes 09:15, 23 December 2005 (UTC)


 * I added some language about this (second paragraph). Randall Holmes 09:34, 23 December 2005 (UTC)


 * If you look at the end of the New Foundations article, you can see a summary of the stronger extensions of NFU and the levels of strength in terms of the usual approach to set theory that they represent. Randall Holmes 09:15, 23 December 2005 (UTC)

new section
I added the new "preliminaries" section to clarify issues of what I mean by "working in a theory" or "defining" or "constructing" objects there. Randall Holmes 18:41, 24 December 2005 (UTC)

Injective function
Am I missing something? This condition does not seem to restrict the function f in any way. (f(x)=0 would meet the definition, if 0 is an element of B.) - Mike Rosoft (talk) 19:55, 5 July 2012 (UTC)
 * f is a[n] Injection if the domain of f is A and the range of f is a subset of B.
 * This is a mistake.—Emil J. 15:10, 9 January 2013 (UTC)

Suggestion to Solve Problems Readers Might Have Reading the 'Functions' Section of this Article
Can I suggest that the 'Functions' section of this article be reformulated to take advantage of the fact that a lot of the logical statements which reside inside refer to a requirement of function transitivity and that transitive relativity was already defined in the previous section on relations? I think that this change will make the article a lot easier to read.

BCG999 (talk) 20:46, 17 January 2013 (UTC)
 * I don’t understand the suggestion. Functions are not transitive. What do you mean by a transitive relativity?—Emil J. 13:05, 18 January 2013 (UTC)
 * Sorry; I should have been more clear in stating my original suggestion. I was having trouble reading this article's section on functions because some of the notation used in their description seemed confusing.  This prompted me to ask about it at the Mathematics Reference Desk in an ongoing discussion that you may join if you wish.  I think that the people who responded to my initial post fixed any outstanding problems, but I still wanted to suggest that the first instance of this confusing notation, $$\forall x,y,z\,(x F y \wedge x F z \rightarrow y=z)$$, be revised to reference the fact that a similar notation had already been used in the previous section to denote transitive relations.  I just wanted to know if it would be appropriate to rid the article of the confusion caused by this kind of redundancy.
 * Thanks for listening,
 * BCG999 (talk) 18:19, 18 January 2013 (UTC)
 * (That was me actually, who fixed it.) The condition of transitivity, $$\forall x,y,z\,(x R y \wedge y R z \rightarrow x R z)$$, is quite different from functionality, apart from the superficial fact that it happens to be a Horn formula with three universal quantifiers. There is no redundancy here, and there is no sensible way to reduce one to the other. What do you find confusing about it?—Emil J. 18:34, 18 January 2013 (UTC)
 * Silly me, I must have overlooked that tiny difference and filled it in with something from my apparently-fallible memory when skimming back over it to compare the two. I hope that I didn't project too much of my own idiosyncratically-muddled thought processes into your head and would like to apologize for any inconvenience I may have caused you because of how I amreading this article to figure out how exactly I could define an $$n$$-tuple as a function that I can use to define a multiset as the foundation for the sample space of any probability distribution that I might have to work with as part of an assignment for my high-school probability-and-statistics class and thus don't have much experience reading formal expressions of mathematical logic.  I'm doing this because I though that I might be able to describe such a sample space as a normal set and found that it might make my math easier later to do so because understand a lot of the logic behind set theory's operations.  However, I soon learned that sets cannot accommodate multiple occurrences of individual event subsets of itself as required by empirical probability and the problems that I will later work through.  In retrospect, maybe we should take this back to the reference desk…
 * Forgive me,
 * BCG999 (talk) 19:33, 18 January 2013 (UTC)
 * There’s absolutely no need to apologize.—Emil J. 20:43, 18 January 2013 (UTC)
 * Oh; okay. BCG999 (talk) 19:28, 19 January 2013 (UTC)

Confusing redirect pages: Formalized mathematics vs. Formalism (mathematics) and Mathematical formalism
All 3 of these links point to different pages, including this page. Is mathematical formalism distinct from formalism (mathematics) in any way? Jarble (talk) 00:30, 3 April 2015 (UTC)
 * Oh, it's completely different, at least in my usage. I would expect an article called mathematical formalism to be about collections of formal methods for addressing a given informal problem &mdash; for example, in the history of quantum mechanics, the wave formulation and the matrix formulation were competing mathematical formalisms, until it was shown that they were reducible to one another.  At which point, I suppose, they remained competing mathematical formalisms, but competing only as to which one was more useful or more perspicacious, as opposed to which one was correct.
 * On the other hand, I would expect formalism (mathematics) to be about a viewpoint in the philosophy of math, according to which mathematics is about statements formally derivable from axioms, as opposed to statements that refer to actually existing abstract objects.
 * I wrote the above without checking where the actual links point, because if that's wrong, it's relatively inessential and easily corrected. I'll check after I save the page. --Trovatore (talk) 00:50, 3 April 2015 (UTC)