User hurkyl - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T13:54:56Z http://mathoverflow.net/feeds/user/13113 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/90132/infinite-mathematics-as-non-standard-finite-mathematics Infinite mathematics as non-standard finite mathematics? Hurkyl 2012-03-03T18:11:09Z 2013-04-28T21:28:40Z <p>I have in mind something like the following:</p> <hr> <p>Start with some suitable version of "finite" mathematics. Some possibilities might be maybe ZFC with a suitable anti-infinity axiom, the topos $\mathbf{FinSet}$, Peano arithmetic, Turing machines... something whose objects are suitably "finite".</p> <p>Then, posit the existence of both a standard and a non-standard model.</p> <p>Now, in this setting, where we have access both to a standard model and a non-standard extension, use the non-standard objects as proxies for infinite objects (e.g. maybe some sort of set theory that has a set of natural numbers), and develop ordinary mathematics this way.</p> <hr> <p>Has anybody worked on such a thing? Does anyone know of references of it being done? Or suggestions that it can't work out?</p> <p>(P.S. I wasn't sure how to tag this....)</p> <hr> <p>Edit: After more thought and reviewing the answers thus far, I think I can state an example of the sort of thing i was imagining. Define a first-order theory with two types $T_1$ and $T_2$, two binary relation symbols $\in_1, \in_2$ (one for each sort), and a map $\tau : T_1 \to T_2$ satisfying:</p> <ul> <li>$(T_1, \in_1)$ satisfies the axioms of finite set theory</li> <li>$(T_2, \in_2)$ satisfies the axioms of finite set theory</li> <li>$\tau$ is injective</li> <li>$\tau$ is not surjective</li> <li>$\tau$ satisfies an axiom schema that says it's an elementary embedding</li> </ul> <p>and the question is to what extent we can develop infinite set theory in this theory.</p> http://mathoverflow.net/questions/114018/fastest-way-to-factor-integers-260/114092#114092 Answer by Hurkyl for Fastest way to factor integers < 2^60 Hurkyl 2012-11-21T19:17:44Z 2012-11-21T19:17:44Z <p>If your numbers are generated in a regular pattern, you could use a sieve to find lots of medium sized factors fairly quickly.</p> http://mathoverflow.net/questions/99220/free-ccc-or-topos-on-a-cartesian-category Free CCC or topos on a cartesian category Hurkyl 2012-06-10T08:01:28Z 2012-06-10T08:01:28Z <p>$\def\sC{\mathcal{C}}\def\sD{\mathcal{D}}\def\Set{\mathbf{\mathrm{Set}}}\DeclareMathOperator{\Sub}{Sub}\def\op{\circ}$I have a Cartesian category $\sC$. I would like to embed $\sC$ into a cartesian closed category (or better, a topos) $\sD$. However, $\Set^{\sC^\op}$ is bigger than I want -- in particular, I would like my embedding to preserve subobject lattices: $\Sub_\sC(x) \cong \Sub_\sD(x)$ for each object $x$ of $\sC$. I think I would also like it to preserve whatever limits already exist in $\sC$ and be a full embedding.</p> <p>If $\sC$ already has a subobject classifier, can I hope for it to still be so in a topos $\sD$?</p> <p>Is there a standard construction to construct a CCC or a Topos $\sD$ out of a Cartesian category $\sC$? What properties can I expect out of such constructions? Is there any hope that it could satisfy the properties I ask for?</p> <p>If it matters, I'm particularly interested in the case where $\sC$ is the category of semi-algebraic varieties. That is, the category of definable objects in the first-order theory of real closed fields.</p> http://mathoverflow.net/questions/97352/reasonable-implementation-of-finding-grobner-bases-over-non-field-coefficient-rin/97472#97472 Answer by Hurkyl for Reasonable implementation of finding Gröbner bases over non-field coefficient rings Hurkyl 2012-05-20T10:55:01Z 2012-05-20T10:55:01Z <p><code>magma</code> can compute Gröbner bases over a number of different types of coefficient rings; see <a href="http://magma.maths.usyd.edu.au/magma/handbook/text/1112" rel="nofollow">the magma handbook</a>.</p> <p>As a general principle, if $A = R / J$ for some nice $R$, then it is often fruitful to try and answer questions about $A[T]$ by transplanting them to questions about $R[T]$. e.g. to find the irreducible components of $\mathop{Spec} A[T]/I$, it suffices to find a suitable decomposition of the ideal $\bar{I} \subseteq R[T]$, where $\bar{I}$ is the preimage of $I$ under the map $R[T] \to A[T]$.</p> http://mathoverflow.net/questions/94742/examples-of-interesting-false-proofs/94909#94909 Answer by Hurkyl for Examples of interesting false proofs Hurkyl 2012-04-23T06:44:54Z 2012-04-23T06:44:54Z <p><strong>Theorem:</strong> All people have the same eye color.</p> <p>Proof by induction: we prove the statement "All members of any set of people have the same eye color". This is clearly true for any singleton set.</p> <p>Now, assume we have a set $S$ of people, and the inductive hypothesis is true for all smaller sets. Choose an ordering on the set, and let $S_1$ be the set formed by removing the first person, and $S_2$ be the set formed by removing the last person.</p> <p>All members of $S_1$ have the same eye color, and also for $S_2$. However, $S_1 \cap S_2$ has members from both sets, so all members of $S$ have the same eyecolor. $\square$</p> http://mathoverflow.net/questions/91530/why-do-we-ignore-non-standard-finite-sets-in-ordinary-mathematics/91575#91575 Answer by Hurkyl for Why do we ignore non-standard finite sets in ordinary mathematics? Hurkyl 2012-03-18T22:47:18Z 2012-03-18T22:47:18Z <p>I'm used to formal logic being formulated <em>internally</em>. The theory of groups is not an external notion to whatever mathematical universe you're working in -- instead, it is an (internal) set of strings in a set-theoretic universe, or a finite-limit sketch in a category-theoretic universe. Models are then merely set functions or functors with appropriate properties. And proof theory and model theory are all defined internally to the universe.</p> <p>In particular, for any internal natural number $n$, there are perfectly good formulas $\varphi(g_1, g_2, \cdots, g_n)$.</p> <p>If you had an external notion of natural number (and a corresponding external notion of formal logic), then the internally constructed version could very well be infinitary when viewed from the external perspective. But <em>only</em> when viewed from the external perspective: it is still finitary when viewed internally to the model.</p> http://mathoverflow.net/questions/91034/can-zfc-prove-false-theorems-and-still-be-consistent-was-junk-theorems-fol/91038#91038 Answer by Hurkyl for Can ZFC prove "false theorems", and still be consistent? (was "Junk Theorems" follow up) Hurkyl 2012-03-13T00:13:56Z 2012-03-13T00:13:56Z <p>Does Skolem's paradox fit the kind of thing you were thinking? Of course, this is also a type error; it's just a lot easier to miss.</p> http://mathoverflow.net/questions/90820/set-theories-without-junk-theorems/90841#90841 Answer by Hurkyl for Set theories without "junk" theorems? Hurkyl 2012-03-10T19:07:33Z 2012-03-10T19:13:18Z <p>What you are describing is the idea of "breaking" an abstraction. That there is an abstraction to be broken is pretty much intrinsic to the very notion of "model theory", where we interpret the concepts in one theory in terms of objects and operations in another one (typically set theory).</p> <p>It may help to see a programming analogy of what you're doing:</p> <pre><code>uint32_t x = 0x12345678; unsigned char *ptr = (unsigned char *) x; assert( ptr[0] == 0x12 || ptr[0] == 0x78 ); // Junk! const char text[] = "This is a string of text."; assert( text[0] == 84 ); // Junk! // Using the GMP library. mpz_t big_number; mpz_init_ui(big_number, 1234); assert(big_number[0]._mp_d[0] == 1234); // Junk! </code></pre> <p>All of these are examples of the very same thing you are complaining about in the mathematical setting: when you are presented with some sort of 'type', and operations for working on that type, but it is actually implemented in terms of some other underlying notions. In the above:</p> <ul> <li><p>I've broken the abstraction of a <code>uint32_t</code> representing a number modulo $2^{32}$, by peeking into its byte representation and extracting a byte.</p></li> <li><p>I've broken the abstraction of a string being made out of characters, by using knowledge that the character <code>'T'</code> and the ASCII value <code>84</code> are the same thing</p></li> <li><p>In the third, I've broken the abstraction that <code>big_number</code> is an object of type integer, and peeked into the internals of how the GMP library stores such things.</p></li> </ul> <p>In order to avoid "junk", I think you are going to have to do one of two things:</p> <ul> <li>Abandon the notion of <em>model</em> entirely</li> <li>Realize that you were actually lying in your theorems: it's not that $2 \in 3$ for natural numbers $2$ and $3$, but $i(2) \in i(3)$ for a particular interpretation $i$ of Peano arithmetic. Maybe making the interpretation explicit would let you be more comfortable?</li> </ul> <p>(Or, depending on exactly what you mean by the notation, the symbols $2$ and $3$ aren't expressing constants in the theory of natural numbers, but are instead expressing constants in set theory)</p> http://mathoverflow.net/questions/82071/two-real-closed-fields-algebraic-elements/83247#83247 Answer by Hurkyl for two real closed fields- algebraic elements Hurkyl 2011-12-12T15:28:41Z 2011-12-12T15:28:41Z <p>What do you mean by "algebraic elements of $R_2$"? Do you mean those elements that are algebraic over $R_1$? Then the answer is yes. There is a straightforward proof: the only algebraic extension of $R_1$ is $R_1[i]$, and $i \notin R_2$. (where $i^2 = -1$)</p> http://mathoverflow.net/questions/74708/what-is-the-analog-of-a-topos-in-quantum-logic What is the analog of a topos in quantum logic? Hurkyl 2011-09-07T04:06:13Z 2011-09-10T22:38:38Z <p>If I'm studying classical mechanics, we might start by viewing propositions as true/false valued questions on points of phase space. </p> <p>Then, if I'm interested in a proposition-oriented view of things, I might flip things around and ask what points of phase space correspond to propositions, and observe a Boolean algebra of subsets of phase space. Then I might think about things that aren't propositions (like "x-coordinate of the 7th particle") which are clearly functions on phase space and I start turning the mathematical crank, and eventually decide that I ought to interpret classical mechanics in terms of the topos of sheaves on phase space. (with the discrete topology -- or maybe I consider the usual topology with interesting consequences)</p> <p>If I want to carry out this procedure quantum physics, I somewhat get the idea that I should associate propositions with projection operators in a C*-algebra -- but where to go from here is unclear. I've only managed to find material talking about the very special case where we consider working with orthogonal projections -- and nothing on what higher structure should be built on top of this.</p> <p>Just because it sounds natural, I imagine the answer to my question ought to be something like "The category of Hilbert-space representations of the C*-algebra", but I'm having difficulty seeing how one would go about interpreting quantum mechanics in this category.</p> <p>Can anyone elaborate on how the interpretation would go or point me at references or give the right answer to my question?</p> <p>(I hope this is the right place -- I'm asking here since physics.stackexchange.com didn't appear to have people knowledgeable about category theory)</p> http://mathoverflow.net/questions/65295/symbolic-powers-in-regular-local-rings/65297#65297 Answer by Hurkyl for Symbolic powers in regular local rings Hurkyl 2011-05-18T07:02:15Z 2011-05-18T07:02:15Z <p>The short answer to what you're missing is that you ignored the dimension criterion. $R/\mathfrak{m}$ is zero-dimensional, so the only prime ideal $\mathfrak{p}$ to which the the theorem would apply is $\mathfrak{p} = (0)$.</p> http://mathoverflow.net/questions/64365/natural-transformations-as-categorical-homotopies/64371#64371 Answer by Hurkyl for Natural transformations as categorical homotopies Hurkyl 2011-05-09T10:34:09Z 2011-05-09T10:34:09Z <p>Once you learn a subject, you can think about things in whatever way is most pleasing or helpful for solving a problem. Fixing a fact as a definition is pedagogy -- something to help those learning the subject.</p> <p>I can't really speak for how others learn, but I'm not sure recognizing natural transformations as being described by functors $\mathcal{C} \times 2 \to \mathcal{D}$ would be very useful before one starts seriously thinking in terms of the 2-category of categories.</p> <p>I confess I would almost turn your question on its head -- I far more frequently want to think of a homotopy between functions $f,g:X \to Y$ as being a function from $X$ to paths in $Y$, or sometimes as a function from $[0,1]$ to $Y^X$, and feel the usual definition as a function $X \times [0,1] \to Y$ more as being a much simpler way to state the technical details. I saw the analogy with homotopy early in learning about categories, and I don't think seeing natural transformations defined as functors $\mathcal{C} \times 2 \to \mathcal{D}$ would have helped me make the analogy. (But, for the record, I am very much not an algebraic topologist)</p> http://mathoverflow.net/questions/64242/how-much-larger-is-the-powerset-of-a-transfinite-set/64354#64354 Answer by Hurkyl for How much larger is the powerset of a transfinite set? Hurkyl 2011-05-09T05:36:21Z 2011-05-09T05:36:21Z <p>I think if you really try to wrap your head around the fact there is no surjection $S \to \mathcal{P}(S)$, you will see that it already does imply that the cardinality of $\mathcal{P}(S)$ must be, in some sense, "vastly larger". You shown any particular alleged surjection must be missing one element. But it's easy enough to find a new alleged surjection whose image contains the new element in addition to all of the previous ones' -- and that still isn't surjective. And so forth.</p> <p>You can rearrange your argument to turn it into a diagonal argument. One can identify subsets of $S$ with their characteristic functions $S \to 2 = \{ 0,1 \}$. For any function $f : S \to 2^S$, the function $g(s) := 1 - f(s)(s)$ is not contained in the image. Proof: if $f(t)=g$, then $f(t)(t) = g(t) = 1 - f(t)(t)$.</p> <p>Note that any permutation $\pi$ of $S$ gives another element $g_\pi(s) := 1 - f(\pi(s))(s)$ which is also not in the image of $f$.</p> <p>If you use the axiom of choice, then there is a bijection $2^S \to 3^S$. If you replace $2^S$ with $3^S$, then you can do the same thing you wanted to do with Cantor's argument showing the naturals are bigger than the reals, by making many choices of how to change the diagonal.</p> http://mathoverflow.net/questions/63899/what-does-it-mean-geometrically-that-an-element-in-a-domain-is-irreducible/64059#64059 Answer by Hurkyl for What does it mean geometrically that an element in a domain is irreducible? Hurkyl 2011-05-05T22:14:08Z 2011-05-05T23:39:30Z <p>In the dictionary in my head, I think of elements or $R$ as functions on $\mathop{\mathrm{Spec}} R$ -- i.e. as being analogous to scalar fields on manifolds. In my mind, this lessens the expectation that their properties should be directly interpretable in terms of subschemes of $\mathop{\mathrm{Spec}} R$.</p> <p>That said, there is still correlation between the reducilibty of an element of $R$ and the reducibility of its zero set; the game just becomes cataloging the differences.</p> <p>One of them is that we should be looking at the subscheme, not the subspace. For example, in the plane with coordinate ring $k[x,y]$, the origin $V(x,y)$ and the scheme $V(y, y-x^2)$ are different; the latter is the "double point" over $k$. The geometry remembers the difference between primary and prime ideals, even though the topology forgets.</p> <p>That said, the real missing ingredient is the Picard group -- your reducibility criterion is not merely splitting $\mathop{\mathrm{Div}}(f)$ into a sum of nonzero effective divisors, but those divisors must also vanish into the Picard group.</p> <p>Anyways, your analog of algebraic number theory for the circle is to consider the norm from $\mathbb{R}(x,y)$ down to $\mathbb{R}(x)$. If $(x,1-y)$ was principal with generator $f(x) + g(x) y$, then for some nonzero $a \in \mathbb{R}$: $$a x = N(f(x) + g(x) y) = \frac{ (x^2 - 1) g(x)^2 + f(x)^2 }{g(x)^2}$$ From which you argue $g(x) = 1$, and $f(x)$ must be linear with leading coefficient $\mathbb{i}$, an impossibility.</p> <p>Aside: I feel like there should be some sort of Galois descent argument to compare $\mathbb{C}[x,y]$ with $\mathbb{R}[x,y]$, but it's beyond my expertise to see how it should go.</p> http://mathoverflow.net/questions/63654/cayleys-theorem-and-the-yoneda-lemma/63665#63665 Answer by Hurkyl for Cayley's Theorem and the Yoneda Lemma Hurkyl 2011-05-02T02:09:52Z 2011-05-02T02:09:52Z <p>One can define the notion of a right category action on a set. This involves assigning a domain (an object of the category) to each element of the set, and a partial multiplication of elements by arrows defined whenever the domain of an element is the codomain of an arrow. The prototypical example is a category acting by composition on its set of arrows.</p> <p>The category of right $\mathbf{C}$-sets winds up being equivalent to the category of functors $\mathbf{C} \to \mathbf{Set}$. The reverse equivalence applied to Yoneda of an object $A$ is essentially the set of arrows with codomain $A$, with $\mathbf{C}$ acting by composition.</p> <p>I believe there is also an equivalence of left-right $\mathbf{C}$-sets to the category of functors $\mathbf{C}^\circ \times \mathbf{C} \to \mathbf{Set}$. The action of $\mathbf{C}$ on itself corresponds to $\text{Hom}_{\mathbf{C}}(-,-)$, which in turn is the adjoint transpose of the Yoneda embedding.</p> http://mathoverflow.net/questions/62790/kuratowskis-definition-of-ordered-pairs/62796#62796 Answer by Hurkyl for Kuratowski's definition of ordered pairs Hurkyl 2011-04-24T01:49:32Z 2011-04-24T01:49:32Z <p>How one models ordered pairs is not particularly important; what matters is the existence of a pairing function $(-,-)$ along with functions $\text{first}(-)$ and $\text{second}(-)$ satisfying the requisite properties.</p> <p>Which definition you use only matters for a brief period between the definition and the point where its properties have been proven, at which point you promptly forget the details of the definition -- so the only real point of deliberating definitions is to make this period as painless as possible for others.</p> <p>I haven't thought through all of the possibilities, but I will offer an example that $\text{first}(-)$ is tricky to define for your definition 1. The 'obvious' choice seems to be $$z = \text{first}(P) \equiv z \in P \wedge \exists a: z \in a \in P$$ which turns out to depend on the axiom of foundation to be well-defined! (consider a $y$ satisfying $y = \{ x, y \}$) I, personally, would have more confidence in being correct if I was trying to develop the properties of ordered pairs from definitions 2 or 4, rather than from 1 or 3.</p> http://mathoverflow.net/questions/60833/definition-of-initialterminal-objects-in-an-object-free-category/60870#60870 Answer by Hurkyl for Definition of Initial&Terminal Objects in an Object-Free'' Category Hurkyl 2011-04-07T01:56:41Z 2011-04-07T01:56:41Z <p>As the others have said, the object-free definition can always define objects later and do everything normally. One might ask if there was a different-than-normal definition that was more arrow-like. For example:</p> <p>A morphism $f$ is "terminating" if, for every morphism $g$, there exists a unique morphism $h$ such that $h \circ g$ and $f$ have the same target.</p> <p>So, the target of $f$ is a terminal object, and $f$ itself is the unique projection from its source. But this seems like a superficial change to me. Maybe someone else knows something better?</p> http://mathoverflow.net/questions/60241/why-dont-ideals-and-quotients-work-well-for-categories/60244#60244 Answer by Hurkyl for Why don't ideals and quotients work well for categories? Hurkyl 2011-03-31T23:48:45Z 2011-03-31T23:48:45Z <p>An operation that insists on making certain objects equal breaks the spirit of category theory -- we should only insist that they be equal... <em>up to isomorphism</em>. To me, it seems more natural to <em>add more morphisms</em> to accomplish this effect, rather than trying modding objects out by an equivalence relation.</p> <p>There are operations that can do this. <a href="http://ncatlab.org/nlab/show/localization" rel="nofollow">Localization</a>, for example, formally inverts a class of morphisms, making the corresponding objects isomorphic. I once saw a construction that formally added isomorphisms to create a natural isomorphism from the identity functor to a given endofunctor.</p> <p>But, even modding out by an equivalence relation can have this effect. If the composites $A \xrightarrow{f} B \xrightarrow{g} A$ and $B \xrightarrow{g} A \xrightarrow{f} B$ are congruent to the corresponding identity morphisms, then $A \cong B$ in the quotient category.</p> http://mathoverflow.net/questions/60059/why-is-the-exterior-differentiation-operator-sometimes-visualized-as-the-boundar/60150#60150 Answer by Hurkyl for Why is the exterior differentiation operator sometimes visualized as the "boundary"? Hurkyl 2011-03-31T04:30:24Z 2011-03-31T04:30:24Z <p>Whether a visualization is good really is a subjective thing. This visualization of $d$ works for the author, but it doesn't work for me. If you still find it perplexing after mulling it over, you're probably better off investing your energies into trying to understand $d$ directly rather than into trying to wrap your head around the visualization.</p> <p>If you still seek visualizations, you could look to other properties of differential geometry to base them on instead of the idea of contour lines for a function.</p> <p>One such property is that you can integrate an $n$-form over an $n$-dimensional region, so you can try and imagine $n$-forms as a way to measure things. If you can wrap your head around that, then, as in Steve's comment, you can try using Stokes' theorem visualize how $d$ must look.</p> http://mathoverflow.net/questions/56062/understanding-the-countable-ordinals-up-to-epsilon-0/56079#56079 Answer by Hurkyl for Understanding the countable ordinals up to $\epsilon_{0}$ Hurkyl 2011-02-20T17:09:37Z 2011-02-20T17:09:37Z <p>The lack of an infinite descending sequence is because every ordinal is well-ordered; such a thing simultaneously must and cannot contain a minimum element.</p> http://mathoverflow.net/questions/114018/fastest-way-to-factor-integers-260/114051#114051 Comment by Hurkyl Hurkyl 2012-11-21T19:19:13Z 2012-11-21T19:19:13Z While SQUFOF is good, I confess that I would have expect a good ECM implementation to become better before the $2^{60}$ cutoff. http://mathoverflow.net/questions/99220/free-ccc-or-topos-on-a-cartesian-category Comment by Hurkyl Hurkyl 2012-06-10T12:08:13Z 2012-06-10T12:08:13Z @Michal: Unless I'm misunderstanding, you cannot expect subobject lattices to be CHA's in general: I know I'm not interested in Grothendieck toposes, and a quick look at references only state HA in the general case. I believe that in my particular case of interest -- and any syntactic site -- the subobject lattices <i>are</i> Heyting, so the possibility of a topos is still open. http://mathoverflow.net/questions/95731/tensor-product-of-localized-polynomial-rings Comment by Hurkyl Hurkyl 2012-05-02T07:34:25Z 2012-05-02T07:34:25Z It's definitely not $\mathbb{C}[x,y,x',y']_{(x,y,x',y')}$. If anything simple, it is probably the localization of $\mathbb{C}[x,y,x',y']$ formed by inverting polynomials of the form $f(x,y)$ or $f(x',y')$ where $f(0,0) \neq 0$. http://mathoverflow.net/questions/93578/a-question-regarding-simultaneous-congruences Comment by Hurkyl Hurkyl 2012-04-09T17:33:40Z 2012-04-09T17:33:40Z For completeness, if you replace the condition $x \in [1, \sqrt{p})$ with $|x| \in [1, \sqrt{p})$, you do cover everything. http://mathoverflow.net/questions/91530/why-do-we-ignore-non-standard-finite-sets-in-ordinary-mathematics/91540#91540 Comment by Hurkyl Hurkyl 2012-03-18T22:38:37Z 2012-03-18T22:38:37Z @David: Not in this case. In non-standard analysis, the non-standard model is chosen to be elementary equivalent to the standard one. Any (standard) predicate is satisfied by the standard model <i>if and only if</i> it is satisfied by the non-standard model. In particular, if the predicate P(n) = &quot;n is a contradiction in ZFC&quot; is standard, then $\forall n \in \mathbb{N}: P(n) \Leftrightarrow \forall n \in {}^\star\mathbb{N}: P(n)$. http://mathoverflow.net/questions/91034/can-zfc-prove-false-theorems-and-still-be-consistent-was-junk-theorems-fol/91203#91203 Comment by Hurkyl Hurkyl 2012-03-15T01:52:37Z 2012-03-15T01:52:37Z ... and conversely, if your $(\mathbb{N}, 0, +, \cdot, \leq)$ was meant to be an external construction, then you have no guarantee that every element of $\omega$ corresponds to an element of $\mathbb{N}$. http://mathoverflow.net/questions/91034/can-zfc-prove-false-theorems-and-still-be-consistent-was-junk-theorems-fol/91203#91203 Comment by Hurkyl Hurkyl 2012-03-15T01:51:37Z 2012-03-15T01:51:37Z @Michael: The construction of $(\mathbb{N}, 0, +, \cdot, \leq)$ you refer to: if you are doing that by invoking a theorem of model theory as formulated internally to your model of ZFC, then everything you've said is correct... internally to your model of ZFC. However, if you have some external notion of the natural numbers, you have no guarantee that every element of $\mathbb{N}$ corresponds to an external natural number. http://mathoverflow.net/questions/91034/can-zfc-prove-false-theorems-and-still-be-consistent-was-junk-theorems-fol/91203#91203 Comment by Hurkyl Hurkyl 2012-03-15T00:42:02Z 2012-03-15T00:42:02Z @Michael: With what model of the natural numbers are you measuring well-foundedness of $V_\omega$ in your model of ZFC? The specific $\omega$ from your model of ZFC, right? http://mathoverflow.net/questions/91034/can-zfc-prove-false-theorems-and-still-be-consistent-was-junk-theorems-fol/91055#91055 Comment by Hurkyl Hurkyl 2012-03-14T11:37:46Z 2012-03-14T11:37:46Z In ZFC+~GC, there <i>is</i> a finite counterexample. http://mathoverflow.net/questions/91034/can-zfc-prove-false-theorems-and-still-be-consistent-was-junk-theorems-fol/91055#91055 Comment by Hurkyl Hurkyl 2012-03-14T03:35:02Z 2012-03-14T03:35:02Z In fact, isn't it true that ZFC+~GC can prove ~GC provable by PA? http://mathoverflow.net/questions/91034/can-zfc-prove-false-theorems-and-still-be-consistent-was-junk-theorems-fol/91055#91055 Comment by Hurkyl Hurkyl 2012-03-14T03:28:32Z 2012-03-14T03:28:32Z @Steven: To give an example of a differing opinion, I would consider that argument a type-error. If GC is unprovable in ZFC, that means GC is true in certain models of PA (as constructed in certain models of ZFC) -- to say GC is true in an absolute sense goes too far. http://mathoverflow.net/questions/27823/derived-physics/27824#27824 Comment by Hurkyl Hurkyl 2012-03-12T21:15:04Z 2012-03-12T21:15:04Z Maybe I'm being a bit unfair, I've generally found that such sentiment belies a profound misunderstanding of mathematics -- e.g. the idea that mathematicians are incapable of considering the notion of approximation. http://mathoverflow.net/questions/90820/set-theories-without-junk-theorems/90841#90841 Comment by Hurkyl Hurkyl 2012-03-10T19:35:54Z 2012-03-10T19:35:54Z Here's a question to ponder: does making a model of peano arithmetic out of the real numbers count as being in the same 'universe'? If so, is $\sqrt{11 - 6 \sqrt{2}} + \sqrt{11 + 6 \sqrt{2}} = 6$ a junk theorem? http://mathoverflow.net/questions/90132/infinite-mathematics-as-non-standard-finite-mathematics/90167#90167 Comment by Hurkyl Hurkyl 2012-03-04T18:42:59Z 2012-03-04T18:42:59Z I wasn't entirely sure what my system was either. But now I think I have a better idea of what I was trying to conceive, and have edited my post to reflect it. http://mathoverflow.net/questions/90132/infinite-mathematics-as-non-standard-finite-mathematics/90167#90167 Comment by Hurkyl Hurkyl 2012-03-04T16:43:31Z 2012-03-04T16:43:31Z +1 for being an answer to the implied question &quot;... or tell me something similar that I'd be interested in&quot;. However, I'm a little skeptical of how to &quot;find&quot; the copy of infinitary set theory -- specifically, I'm skeptical that you can find just from first-order logic, the two models, and the transfer principle. Wouldn't you need to step out into the ambient set theory to find the model and prove things about it?