Search found 758 matches

by z4lis
Fri May 22, 2015 4:21 am UTC
Forum: Mathematics
Topic: Cutting and rearranging a half-colored square
Replies: 28
Views: 4060

Re: Cutting and rearranging a half-colored square

I don't think anyone is arguing that the informal statement "the square turns pink in the limit" is incorrect. Clearly, if you weave together very very thin red and white strips, the eye perceives the total square as pink. The issue is that you cannot even state "the square turns pink...
by z4lis
Mon May 11, 2015 1:01 pm UTC
Forum: Mathematics
Topic: How to "prove" any statement is logically true.
Replies: 46
Views: 9344

Re: How to "prove" any statement is logically true.

I just think the story reminded me of this more than revealing anything about the nature of paradoxes. Maybe I'm missing something.
by z4lis
Wed Apr 29, 2015 10:02 pm UTC
Forum: Mathematics
Topic: Term for this concept
Replies: 8
Views: 1860

Re: Term for this concept

There's a unary union operator in set theory defined by UX = {elements of elements of X} which satisfies UPX = X, and so gives a left inverse of the powerset. So A = PB implies UA = B. However, it doesn't go the other way.
by z4lis
Tue Mar 17, 2015 3:41 pm UTC
Forum: Mathematics
Topic: Happy Super Pi Day, Everyone!
Replies: 37
Views: 7561

Re: Happy Super Pi Day, Everyone!

pi is halfway around the circle!
by z4lis
Tue Mar 17, 2015 3:09 pm UTC
Forum: Mathematics
Topic: Happy Super Pi Day, Everyone!
Replies: 37
Views: 7561

Re: Happy Super Pi Day, Everyone!

I thought about how our artificial calendar and numbering system make pi day a coincidince, really. While writing this, I realized that summer and winter solstices make for excellent coordinate-independent pi days and mean twice the pie each year.
by z4lis
Wed Mar 04, 2015 9:55 pm UTC
Forum: Mathematics
Topic: Independent components of Christoffel Symbols
Replies: 15
Views: 5787

Re: Independent components of Christoffel Symbols

You've described a linear transformation that takes the 40 g_{ijk} to the 40 \Gamma_{ijk}. This is an invertible transformation. In fact, since I can write: g_{ab,c} = \Gamma_{bc,a} + \Gamma_{ab,c} I know the inverse. So any linear relationship you believe holds among the \Gamma would have a corresp...
by z4lis
Wed Mar 04, 2015 3:57 am UTC
Forum: Mathematics
Topic: Independent components of Christoffel Symbols
Replies: 15
Views: 5787

Re: Independent components of Christoffel Symbols

Been too busy to answer anything!

Anyway, the equation you wrote

gthing + gthing - gthing = 2gamma

Gives a big matrix. What's its determinant?
by z4lis
Sat Feb 28, 2015 10:18 pm UTC
Forum: Mathematics
Topic: Independent components of Christoffel Symbols
Replies: 15
Views: 5787

Re: Independent components of Christoffel Symbols

The 40 conditions that you impose when you introduce metric compatibility relate the Christoffel symbols to the metric tensor and its partial derivatives. Once you know the metric tensor's components and their partial derivatives, you can specify all of the Christoffel symbols, and this is why you s...
by z4lis
Sat Feb 28, 2015 6:21 pm UTC
Forum: Mathematics
Topic: Independent components of Christoffel Symbols
Replies: 15
Views: 5787

Re: Independent components of Christoffel Symbols

Oh, now I see. So I assumed that the relations you mentioned amount the Christoffel symbols must only use real numbers as coefficients, giving my 40. However, you seem to want to also bring in the metric tensor and its partials as coefficients. So which of those do you want to consider when calculat...
by z4lis
Fri Feb 27, 2015 10:58 pm UTC
Forum: Mathematics
Topic: Independent components of Christoffel Symbols
Replies: 15
Views: 5787

Re: Independent components of Christoffel Symbols

I'm not exactly good with physics or GR or manifolds, so sorry if this is nonsense.I was just bored so figured I'd play around with it. Here's how I get 40: If I start with a coordinate system that makes the symbols vanish and then do a random coordinate changes and look at how the Christoffel symbo...
by z4lis
Fri Feb 27, 2015 9:03 pm UTC
Forum: Mathematics
Topic: Statistics question.
Replies: 9
Views: 2834

Re: Statistics question.

blademan9999 wrote:No, that tells me the 95% confidence interval for the mean.


Whoops, my formula is off by a factor of sqrt(n-1/n) then!
by z4lis
Thu Feb 26, 2015 12:33 am UTC
Forum: Mathematics
Topic: D&D dis/advantage
Replies: 8
Views: 2000

Re: D&D dis/advantage

Rolling 2 20-sided dice gives 20*20 = 400 possibilities. If you made a big 20x20 chart of what you'd get when you take the larger of the 2 dice, it'd look like this: 1 2 3 4 2 2 3 4 3 3 3 4 4 4 4 4 So we see 1 1's 3 2's 5 3's 7 4's ... 39 20's So the probability of getting n when I have the advantag...
by z4lis
Wed Feb 25, 2015 10:23 pm UTC
Forum: Mathematics
Topic: Statistics question.
Replies: 9
Views: 2834

Re: Statistics question.

You can still use the t-distrubtion, as long as the rocks are normally distributed. Check out this wikipedia junk. The t-value's distribution is independent of the sample distribution's true mean and standard deviation as long as you assume the samples are normal and independent. You don't need to k...
by z4lis
Mon Feb 09, 2015 5:14 pm UTC
Forum: Mathematics
Topic: How do axioms specify a new system vs continuing an old one?
Replies: 81
Views: 11036

Re: How do axioms specify a new system vs continuing an old

treatid, you have an extremely narrow (i.e. incorrect) idea about what axiomatic mathematics actually is, and I think your problem rests totally on 1) the application of the axiomatic method to set theory itself and/or 2) the adoption of set theory as a foundation for mathematics The step that took ...
by z4lis
Mon Feb 09, 2015 1:47 am UTC
Forum: Mathematics
Topic: How do axioms specify a new system vs continuing an old one?
Replies: 81
Views: 11036

Re: How do axioms specify a new system vs continuing an old

Treatid runs into an airplane factory... Treatid: Everyone, I read about string theory on Wikipedia and it shows that all of your calculations are wrong! Airplane engineering is facing a FOUNDATIONAL CRISIS? Don't you all know about this? Engineer: What? We've known about string theory for years. It...
by z4lis
Sat Jan 31, 2015 5:49 pm UTC
Forum: Mathematics
Topic: Circularity in Formal Languages?
Replies: 51
Views: 14089

Re: Circularity in Formal Languages?

I think you mistook me for Yakk. What the axioms are adding is a definition of what I'm calling a twerk. And those axioms are definitely there, since I've typed them. Anyway, let's come up with three sets. How about A = {a,b} B = {1,2} and C = {p,q} and lets define: f(a,1) = p f(a,2) = p f(b,1) = q ...
by z4lis
Fri Jan 30, 2015 11:13 pm UTC
Forum: Mathematics
Topic: Circularity in Formal Languages?
Replies: 51
Views: 14089

Re: Circularity in Formal Languages?

The major change in realising that axioms don't exist; is in the way we understand the world around us. Again, we haven't removed a previous understanding - we have simply realised that part of our attempt at understanding was an illusion with no substance. No doubt this is one of the choke points ...
by z4lis
Thu Jan 29, 2015 12:54 am UTC
Forum: Mathematics
Topic: Circularity in Formal Languages?
Replies: 51
Views: 14089

Re: Circularity in Formal Languages?

We can only describe networks of relationships and changes to them. Which means that rather than there being an infinite number of ways to describe a given system, there is, in fact, only way. This makes life easy. There aren't any choices to make. What. A is below B B is above A Only one is right,...
by z4lis
Tue Jan 27, 2015 10:40 pm UTC
Forum: Mathematics
Topic: Circularity in Formal Languages?
Replies: 51
Views: 14089

Re: Circularity in Formal Languages?

You can't disprove the definition of a word.
by z4lis
Wed Dec 31, 2014 10:11 pm UTC
Forum: Mathematics
Topic: What is the biggest PWND you can get?
Replies: 10
Views: 3090

Re: What is the biggest PWND you can get?

Evidently you can only add finitely many points to a given set of noncollinear integer-distanced points. http://en.wikipedia.org/wiki/Erd%C5%91s%E2%80%93Anning_theorem This page: http://ginger.indstate.edu/ge/Graphs/GEOMETRY/intdistance.html gives some examples of sets with up to 12 points. It seems...
by z4lis
Fri Dec 05, 2014 2:26 pm UTC
Forum: Mathematics
Topic: Question in Category Theory
Replies: 8
Views: 2664

Re: Question in Category Theory

Something seems wrong with your definition of Cnp as written. It must be defined on all subsets of X, and the way you have it written looks like a union indexed by A' which are subsets of X with Cn(A')=X. This union may be empty, and in any case the expression is independent of A.
by z4lis
Tue Dec 02, 2014 3:37 am UTC
Forum: Mathematics
Topic: Clone product
Replies: 12
Views: 3598

Re: Clone product

What I think the OP's problem is: Fix r > 0. Given a sequence a(1) < a(2) < ... < a(k), does the quantity (a(1)^2 + r)(a(2)^2 + r)...(a(k)^2 + r) have the form a(k+1)^2 +r for a(k+1) > a(k)? By induction, we may pick b > a(k) so that (a(2)^2 + r)---(a(k)^2 + r)...
by z4lis
Fri Oct 17, 2014 10:39 pm UTC
Forum: Mathematics
Topic: Non-contractible, simply connected subsets of R^n
Replies: 4
Views: 2282

Re: Non-contractible, simply connected subsets of R^n

This is one of the tricky point set proofs. Suppose I have a contraction F, and WLOG we can contract to the point P next to the wiggly sine part and assume that P is fixed throughout the homotopy. Draw a tiny open disk D around it P, and call a time crappy if x-intercepts of the sine curve which st...
by z4lis
Tue Oct 07, 2014 11:18 pm UTC
Forum: Mathematics
Topic: The Ironic Paradox of Normalcy [Is my argument sound?]
Replies: 42
Views: 11371

Re: The Ironic Paradox of Normalcy [Is my argument sound?]

Most of the problems in my life have been caused by people not solving the right problem or trying to solve the problem in the wrong way (but are doing what society says to do), rather than by people doing the right thing poorly or doing what others around them say not to do. Merely talented people...
by z4lis
Wed Oct 01, 2014 12:32 am UTC
Forum: Mathematics
Topic: The Ironic Paradox of Normalcy [Is my argument sound?]
Replies: 42
Views: 11371

Re: The Ironic Paradox of Normalcy [Is my argument sound?]

Let me give a more positive suggestion for what you might want to put into a college application to show that you like math: Some solutions of mathematical problems, carefully written up! I would imagine that a selection of solutions to problems far more involved that a typical high school math prob...
by z4lis
Sat Sep 27, 2014 6:04 pm UTC
Forum: Mathematics
Topic: The Ironic Paradox of Normalcy [Is my argument sound?]
Replies: 42
Views: 11371

Re: The Ironic Paradox of Normalcy [Is my argument sound?]

Honestly? I think it's a really long piece of writing with lots of unnecessary and distracting comments embedded throughout. You mention stuff like Planck's length and Cantor's diagonal argument. These have absolutely nothing to do with your point, and makes your writing difficult to follow, especia...
by z4lis
Sun Aug 31, 2014 2:39 am UTC
Forum: Mathematics
Topic: Is there a notation for unit vectors?
Replies: 6
Views: 2559

Re: Is there a notation for unit vectors?

There's nothing wrong with using the notation <<x>> to denote the unit vector in the direction of x, as long as you're clear that's what you're doing.
by z4lis
Sat Aug 23, 2014 3:52 pm UTC
Forum: Mathematics
Topic: Assumptions in Math (Calculus) word problems
Replies: 254
Views: 45056

Re: Assumptions in Math (Calculus) word problems

@amad27 There's an enormous difference in how I write mathematics when communicating to my peers about my ideas and when communicating what I want students to do on an exam. When I am speaking to a friend or professor, I am almost never testing their knowledge of a topic. It makes no sense to hide i...
by z4lis
Sun Aug 17, 2014 10:53 pm UTC
Forum: Mathematics
Topic: Type theory
Replies: 5
Views: 3767

Re: Type theory

You might try looking at what's been done with homotopy type theory . I spent a little time looking through it and had basically the same conclusion you had - it's a bunch of new formalism that doesn't help me understand anything better than I already did. But it's been several months and I haven't ...
by z4lis
Mon Aug 11, 2014 4:13 pm UTC
Forum: Mathematics
Topic: Is a Mobius Strip homeomorphic to a torus/ring?
Replies: 12
Views: 6067

Re: Is a Mobius Strip homeomorphic to a torus/ring?

I did some searching for proofs that Euclidean spaces of different algebraic dimension had different topological dimension. There's a book called Dimension Theory by Hurewicz and Wallman that defines a space to have dimension <= n at a point p if the point has arbitrarily small neighborhoods whose b...
by z4lis
Mon Aug 11, 2014 3:17 am UTC
Forum: Mathematics
Topic: Is a Mobius Strip homeomorphic to a torus/ring?
Replies: 12
Views: 6067

Re: Is a Mobius Strip homeomorphic to a torus/ring?

The intimidating part of homology is the details. The idea that there's a precise mathematical way to measure how many "holes" or "loops" a surface has, however, isn't so intimidating. Niether is the number of connected pieces a space has. Isn't homology also one of the easiest w...
by z4lis
Mon Aug 11, 2014 1:56 am UTC
Forum: Mathematics
Topic: Is a Mobius Strip homeomorphic to a torus/ring?
Replies: 12
Views: 6067

Re: Is a Mobius Strip homeomorphic to a torus/ring?

If by a ring, you just mean a circle, then the Mobius strip isn't homeomorphic to it because one is two dimensional and the other is one dimensional. It is, however, homotopy equivalent to a circle since you can collapse the strip onto the center circle. It's also not homeomorphic to a torus. The be...
by z4lis
Thu Aug 07, 2014 1:41 am UTC
Forum: Mathematics
Topic: GISHWHES Erdos Number challenge
Replies: 19
Views: 5933

Re: GISHWHES Erdos Number challenge

That's true. I can always put the paper on my website with Misha Collins' name on it (and a note explaining the situation), and remove his name from the version I later submit to arxiv and CoRR. BTW, the paper will be finished tomorrow. It's ~16 pages long. The first half is approachable to readers...
by z4lis
Wed Aug 06, 2014 7:41 pm UTC
Forum: Mathematics
Topic: GISHWHES Erdos Number challenge
Replies: 19
Views: 5933

Re: GISHWHES Erdos Number challenge

I'd believe that footnote explaining the situation would be acceptable. Of course, the journal the paper is published in might think otherwise.
by z4lis
Sat Jul 26, 2014 10:37 pm UTC
Forum: Mathematics
Topic: Is it possible for a math obsession to be unhealthy
Replies: 54
Views: 14355

Re: Is it possible for a math obsession to be unhealthy

plan to legally change my name to the Riemann Integration formula + Fractal + Nspire-CX (because I plan to marry said calculator) I suggest you wait a few years and get some more experience with math and life before going through with that. You might reconsider. Also, mathematicians don't really us...
by z4lis
Thu Jul 24, 2014 2:09 am UTC
Forum: Mathematics
Topic: A nonlinear second-order ODE
Replies: 10
Views: 3824

Re: A nonlinear second-order ODE

DId assuming it was a power series and checking the resulting sequence of equations for the coefficients yield anything useful?
by z4lis
Thu Jul 24, 2014 1:52 am UTC
Forum: Mathematics
Topic: (what is) a multiplicative order of a finite field?
Replies: 8
Views: 3448

Re: (what is) a multiplicative order of a finite field?

If F is any field for which x^2 + 1 = 0 has no solution, then we can form a new field by adjoining that root, just like we do with real/complex numbers. We can do this with any field, not just the finite ones, but if we started with an order N field, then the new field consists of things like a + bi...
by z4lis
Wed May 14, 2014 6:33 pm UTC
Forum: Mathematics
Topic: Need second opinion. I think I disproved God.
Replies: 72
Views: 12973

Re: Need second opinion. I think I disproved God.

No matter how much recursion you add, the amount of Bits it takes to quantify that information stays the same. That's fine, but your definition of "finite knowledge", "information", and how you want to encode things needs to be carefully written up for your proof, and then used ...
by z4lis
Wed May 14, 2014 3:11 pm UTC
Forum: Mathematics
Topic: Need second opinion. I think I disproved God.
Replies: 72
Views: 12973

Re: Need second opinion. I think I disproved God.

Assumption No. 1: Man is defined with (among others) the following attributes: - possessing a finite event-horizon of interactions - possessing finite knowledge - possessing finite abilities This isn't a good definition of "Man" as it stands. - You've used the term "event horizon&quo...
by z4lis
Tue May 13, 2014 5:37 pm UTC
Forum: Mathematics
Topic: How to augment mathematical education?
Replies: 7
Views: 3388

Re: How to augment mathematical education?

If you want some basic topology, check out the Euler characteristic of a surface, and also how to invert a sphere. If you like topology and geometry, this book by Thurston is really cool. I can't say whether or not you'll be able to really understand what's going on in it, but if you work through t...

Go to advanced search