Search found 758 matches

by z4lis
Tue May 13, 2014 5:28 pm UTC
Forum: Mathematics
Topic: Need second opinion. I think I disproved God.
Replies: 72
Views: 13147

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

... it's a bit delusional to think any one of them accomplisfes what it claims. Or that it has anything to do with mathematics. Using a proof and calling it math is like using words and calling it poetry. That said, there's not really a board on this forum for a post like this, except maybe SB? I'm...
by z4lis
Tue May 13, 2014 5:44 am UTC
Forum: Mathematics
Topic: Need second opinion. I think I disproved God.
Replies: 72
Views: 13147

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

Yes, this looks correct. Congratulations.
by z4lis
Thu May 08, 2014 5:23 pm UTC
Forum: Mathematics
Topic: Collatz Binary Decision Tree (Much Improved Version)
Replies: 1
Views: 2254

Re: Collatz Binary Decision Tree (Much Improved Version)

First, you should probably just edit the original post, rather than reposting and then... rethreading? Second, when it comes to mathematical discoveries, there's a ton of stuff that mathematicians "know" but have never actually been bothered to write down, mostly because if you know the te...
by z4lis
Fri Apr 11, 2014 9:42 pm UTC
Forum: Mathematics
Topic: Question about Taylor series
Replies: 3
Views: 1990

Re: Question about Taylor series

Each time you take a derivative, you bring the exponent down in front and subtract one from the exponent. If you differentiate something several times and watch the coefficient as you do it, you'll notice that you deposit n*(n-1)*(n-2)*... out in front of each term. You don't want that to be there, ...
by z4lis
Tue Mar 25, 2014 7:05 pm UTC
Forum: Mathematics
Topic: something about diagonals
Replies: 20
Views: 4086

Re: something about diagonals

The Galois group of Q(sin(π/11), i) = Q(e iπ/11 ) over Q is cyclic of order 10. I haven't done any Galois theory in several years, but I think that means that the Galois group of Q(sin(π/11)) over Q is cyclic of order 5. It does. The Galois group of Q(sin(pi/11),i) over Q(sin(pi/11)) has order 2 si...
by z4lis
Sat Mar 22, 2014 5:23 pm UTC
Forum: Mathematics
Topic: Axiomatic mathematics has no foundation
Replies: 158
Views: 35962

Re: Axiomatic mathematics has no foundation

What do you mean by the quoted statement below? I'm not trying to be argumentative, I just want a clear explanation of what you mean. If you have any books or papers that touch on the topic, that'd be awesome. Identity relationships really mess with set theory - which is why set theories tend to exc...
by z4lis
Fri Mar 21, 2014 5:21 pm UTC
Forum: Mathematics
Topic: Can a surface be formed by the intersection?
Replies: 7
Views: 2684

Re: Can a surface be formed by the intersection?

Pictures and equations of the two types of paraboloids jestingrabbit mentions:

http://en.wikipedia.org/wiki/Paraboloid
by z4lis
Fri Mar 21, 2014 5:00 pm UTC
Forum: Mathematics
Topic: Axiomatic mathematics has no foundation
Replies: 158
Views: 35962

Re: Axiomatic mathematics has no foundation

If you're OK with talking about the "O from which the arrows leave" and distinguishing objects based on their relationships to other objects in a network, then you should be OK with some primitive models of set theory. There's actually some "model" of a very weak set theory where...
by z4lis
Wed Mar 12, 2014 2:32 am UTC
Forum: Mathematics
Topic: Circularity in Formal Languages?
Replies: 51
Views: 14303

Re: Circularity in Formal Languages?

So I always felt kind of uneasy about this for a long time. It never cleared up until I learned about different models of set theory, via topos theory, but you don't really need to do all that to understand what's going on. What set theory is really trying to do is create a miniature model M of obje...
by z4lis
Sun Mar 09, 2014 1:25 pm UTC
Forum: Mathematics
Topic: Axiomatic mathematics has no foundation
Replies: 158
Views: 35962

Re: Axiomatic mathematics has no foundation

The difference lies in understanding what is being done. But all mathematicians do understand what's being done. Everybody knows that if you keep deconstructing the meaning of what you're doing, it devolves into nonsense. Mathematicians know that mathematics is not immune to this sort of thing. Whe...
by z4lis
Tue Nov 12, 2013 7:07 am UTC
Forum: Mathematics
Topic: Dogma in Math
Replies: 98
Views: 15005

Re: Dogma in Math

I don't think you're understanding the purpose of a definition. It doesn't make sense to "stack 5 books in no ways" any more than it makes sense to "multiply 2 by itself negative one-half times". And yet, you probably don't have any problems with the symbols 2^{-\frac{1}{2}} defi...
by z4lis
Tue Nov 12, 2013 1:57 am UTC
Forum: Mathematics
Topic: Capability to do mathematics.
Replies: 7
Views: 2081

Re: Capability to do mathematics.

My (working) memory is also not all that good. I bet most academics won't claim to have astounding memories. I feel like biological memory works like technological memory. You'll never have enough! I need to sleep on it before I can really answer any abstract questions about the mater. While some s...
by z4lis
Tue Nov 12, 2013 1:44 am UTC
Forum: Mathematics
Topic: Dogma in Math
Replies: 98
Views: 15005

Re: Dogma in Math

It was a legitimate question wrapped up with some obnoxious statements that I imagine the OP will be embarrassed to have written in 5-6 years. :D I have my fair share of such posts, no doubt... At any rate, if a whole bunch of people tell you that your behavior isn't acceptable in their community, y...
by z4lis
Fri Nov 08, 2013 3:04 am UTC
Forum: Mathematics
Topic: Dogma in Math
Replies: 98
Views: 15005

Re: Dogma in Math

So what did your program do for n=0? Seems like you should be more upset you didn't think about error checking, rather than what the community of mathematicians have generally agreed upon is a convenient thing to mean when we write 0!. And if your program did indeed error check and didn't spit out 1...
by z4lis
Wed Oct 30, 2013 1:34 am UTC
Forum: Mathematics
Topic: Approximation of pi
Replies: 9
Views: 3070

Re: Approximation of pi

Since Google says that the first few digits of pi are 3.14159265359 and you didn't post any of your code for us to look at, the only reasonable answer I can think to give you is... no. But I do wonder why it's so far off. What happens for higher value of n?
by z4lis
Mon Sep 23, 2013 3:48 am UTC
Forum: Mathematics
Topic: Question about homotopy groups
Replies: 3
Views: 1387

Re: Question about homotopy groups

The homotopy groups of a single 2-sphere aren't known, so I don't know how much progress you'll make computing the homotopy groups of an uncountable wedge of them.
by z4lis
Thu Jul 25, 2013 6:30 pm UTC
Forum: Fictional Science
Topic: Helvetica Scenario
Replies: 21
Views: 114908

Re: Helvetica Scenario

Sizik wrote:http://www.youtube.com/watch?v=OZPTM0PGQPE

Relevant part at 6:17


Let me help you with that! http://youtu.be/OZPTM0PGQPE?t=6m17s

If you click "share", you can select a time that the video will load at when accessed through the link.
by z4lis
Sun Jul 14, 2013 7:45 pm UTC
Forum: General
Topic: I want to learn something
Replies: 31
Views: 10945

Re: I want to learn something

If you are interested in mathematics, you'll find that there's more mathematics than anyone could possibly learn in lifetime! You'll never be bored! (Unless you find learning and thinking about mathematics boring, in which case you'll be very bored!)
by z4lis
Sun Jul 14, 2013 7:14 pm UTC
Forum: Mathematics
Topic: SIMPLEST PROOF OF FERMAT'S LAST THEOREM
Replies: 45
Views: 12502

Re: SIMPLEST PROOF OF FERMAT'S LAST THEOREM

I don't. Incoherence isn't novel, and making fun of it stops being fun once you realize that it is often caused by mental illness. Seconded. There's no reason I can think of to keep a thread like this once the poster says something like: You see, no one can come up with a sensible reason why my pro...
by z4lis
Sun Jun 02, 2013 9:31 pm UTC
Forum: Mathematics
Topic: Question about factoring homogeneous polynomials
Replies: 4
Views: 4896

Re: Question about factoring homogeneous polynomials

No problem. And you're certainly not worthless. Algebraic geometry is really, really hard. :)
by z4lis
Sun Jun 02, 2013 8:29 pm UTC
Forum: Mathematics
Topic: Question about factoring homogeneous polynomials
Replies: 4
Views: 4896

Re: Question about factoring homogeneous polynomials

Think about it geometrically. If f(x,y) is homogeneous of degree k, we can imagine its variety sitting in projective space. We want to show that the polynomial's variety in affine space contains an affine line, so that amounts to showing the polynomial has a point on which it vanishes in projective ...
by z4lis
Tue May 28, 2013 2:11 am UTC
Forum: Mathematics
Topic: Origin of e as group identity?
Replies: 7
Views: 2559

Re: Origin of e as group identity?

It comes from the phrase "Eh, I'll leave you alone."
by z4lis
Thu May 23, 2013 10:18 pm UTC
Forum: Mathematics
Topic: n-dimension rotation: Data rotation
Replies: 4
Views: 2227

Re: n-dimension rotation: Data rotation

You need to define closer, and what aspects of the data you want to be preserved under the transformation.
by z4lis
Tue May 07, 2013 4:37 am UTC
Forum: Mathematics
Topic: 1+1+1+1+1+1+1+1+1+1-1+1+1+1+1+1*0
Replies: 28
Views: 6419

Re: 1+1+1+1+1+1+1+1+1+1-1+1+1+1+1+1*0

Sort of repeating what's been said above: None of the axioms of the real numbers have anything to do with preference of operations. They define an object. The expressions we write down to stand for variables and constants in that object are completely separate from that object. \mathbb{R} does not c...
by z4lis
Thu May 02, 2013 6:11 am UTC
Forum: Mathematics
Topic: Does this have a name? (3d complex numbers)
Replies: 14
Views: 4166

Re: Does this have a name? (3d complex numbers)

There are actually theorems about associative real division algebras. They're all even dimensional, I believe. For your system, since you have i^4 = 1 = ij , then i^3 = j , and you're correct in saying your object is a field, since it's actually just \mathbb{C} . You could admittedly say you want so...
by z4lis
Fri Apr 26, 2013 11:40 am UTC
Forum: Mathematics
Topic: Module intuition
Replies: 7
Views: 2903

Re: Module intuition

So my advice, which is worth exactly what you paid for it, is not to look for intuition. Instead, go through every example of a module you can think of, and work with it until the notion of a "module" becomes second nature. I've found this is sound advice for learning any mathematics. Thi...
by z4lis
Tue Apr 23, 2013 12:42 pm UTC
Forum: Mathematics
Topic: Module intuition
Replies: 7
Views: 2903

Re: Module intuition

Your intuition for rings carries over. We want to make all the elements of the submodule "the same", and we do this in a way that works well with the algebra, so the remaining object is still a module. Think about vector spaces, maybe R^3. If I pick a vector subspace V (which is precisely ...
by z4lis
Mon Apr 15, 2013 11:39 pm UTC
Forum: Mathematics
Topic: Divergent Series
Replies: 12
Views: 4667

Re: Divergent Series

Try thinking about the reverse problem. Begin by a nice linear relation, say: S = 2 + 5S Now, start expanding, substituting S in for itself each time: S = 2 + 5(2 + 3S) = 2 + 10 + 25S = 2 + 10 + 25(2 + 3S) = 2 + 10 + 50 + 125S and we can spot how the formula unwinds itself. At the nth iteration, it ...
by z4lis
Thu Apr 11, 2013 10:28 am UTC
Forum: Mathematics
Topic: n-dimensional complex vector rotation matrix
Replies: 2
Views: 1255

Re: n-dimensional complex vector rotation matrix

The easiest way I can think to construct the rotation matrix is to choose a nice basis. If I want vector A parallel to vector B, then normalize A to get a unit vector a. Normalize B to get a unit vector b. From that, construct an orthonormal basis by the Gram-Schmidt process, and then create a matri...
by z4lis
Fri Apr 05, 2013 1:48 am UTC
Forum: Mathematics
Topic: Probabilities with Ω={}
Replies: 12
Views: 2630

Re: Probabilities with Ω={}

If X is the empty set, then X and X are disjoint (just try and look for an element in the intersection...), and so the probability P(X or X) = P(X) + P(X) = 1 + 1 = 2. But X or X is X, since... it's the empty set. So we get 1 = 2. I don't see a way to make sense of the probability with an empty even...
by z4lis
Sat Mar 09, 2013 7:13 pm UTC
Forum: Mathematics
Topic: Question to resolve feud with math teacher
Replies: 2
Views: 1545

Re: Question to resolve feud with math teacher

If you want to write up a different solution, the following might be useful:

http://en.wikipedia.org/wiki/Dirichlet's_approximation_theorem
by z4lis
Sun Mar 03, 2013 11:59 pm UTC
Forum: Mathematics
Topic: Discontinituous increasing function?
Replies: 20
Views: 3982

Re: Discontinituous increasing function?

Yup. But remember that countable dense subsets exist, and we can add up a countable number of things and get a finite number. This is sort of a hint on how to construct such a function.
by z4lis
Thu Feb 28, 2013 6:04 am UTC
Forum: Mathematics
Topic: Infinite Sets
Replies: 18
Views: 3523

Re: Infinite Sets

Just scroll down the page a bit. The set you constructed doesn't violate regularity, but it implies the existence of a set that does.
by z4lis
Wed Feb 27, 2013 10:53 pm UTC
Forum: Mathematics
Topic: Infinite Sets
Replies: 18
Views: 3523

Re: Infinite Sets

There's actually a set theory in which you demand such "not well founded" sets exist. You drop the Foundation Axiom from ZFC and add the Antifoundation Axiom, which states that every graph corresponds to sets such that the arrows correspond to containment. For instance, the graph of one no...
by z4lis
Mon Feb 25, 2013 2:04 am UTC
Forum: Mathematics
Topic: Help with Principles of Mathematical Analysis
Replies: 11
Views: 3137

Re: Help with Principles of Mathematical Analysis

Just a bit of advice. There are lots of people that will disagree with me on this, but... Rudin is an abhorrently bad book to learn analysis out of for the first time. Absolutely terrible. It's wonderful if you already have exposure to analysis and are going through it a second time to flesh out wha...
by z4lis
Wed Feb 13, 2013 5:08 am UTC
Forum: Mathematics
Topic: Derivative of lnx^2
Replies: 3
Views: 6111

Re: Derivative of lnx^2

Your book is wrong. If you don't believe me:

http://www.wolframalpha.com/input/?i=di ... 28x%5E2%29
by z4lis
Mon Feb 11, 2013 10:14 am UTC
Forum: Mathematics
Topic: Method for finding eigenplanes of a linear transformation.
Replies: 2
Views: 1373

Re: Method for finding eigenplanes of a linear transformatio

Jordan Canonical Form is what you're looking for. It basically gives you a decomposition of the vector space into invariant subspaces. If you don't like complex numbers, scroll down to the "real matrix" section to see what happens in that case. In the theory that gives you that decomposit...
by z4lis
Tue Oct 16, 2012 3:34 pm UTC
Forum: Mathematics
Topic: What course to take next?
Replies: 7
Views: 1858

Re: What course to take next?

As mentioned before, elementary group/ring theory and linear algebra offers a good selection of basic proofs to help with thinking in a mathematically rigorous fashion. I typically advise against studying point set topology until some sort of introduction to analysis. I imagine that the ideas in top...
by z4lis
Tue Oct 02, 2012 3:20 am UTC
Forum: Mathematics
Topic: "Oh no! We forgot how to say... math... stuff!"
Replies: 294
Views: 92956

Re: "Oh no! We forgot how to say... math... stuff!"

I would take that to mean that the domain of the map is V.
by z4lis
Sat Sep 29, 2012 11:13 pm UTC
Forum: Mathematics
Topic: Linear Algebra Homework: Annihilators, Isomorphisms
Replies: 4
Views: 2588

Re: Linear Algebra Homework: Annihilators, Isomorphisms

That looks right. Of course, be careful and make sure you include the little details, like well-definedness of f, in your proof.

Go to advanced search