Search found 124 matches

by polymer
Sat Nov 01, 2014 10:46 pm UTC
Forum: Mathematics
Topic: Type theory
Replies: 5
Views: 3759

Re: Type theory

I said more difficult, not impossible, or even hard.

There is more to mathematics then rigor, and that's all the book felt like to me.

I was curious if the Rigor bought anything, and if so, whether I found the conclusions interesting.
by polymer
Tue Aug 19, 2014 5:57 am UTC
Forum: Mathematics
Topic: Type theory
Replies: 5
Views: 3759

Re: Type theory

You know I found a free book online about homotopy type theory, skimmed some chapters and tried to read a discussion on real numbers in depth. I found the discussion more difficult to understand then plain English, while not introducing any new analysis ideas. I figured that maybe I just haven't rea...
by polymer
Fri Aug 15, 2014 4:04 am UTC
Forum: Mathematics
Topic: Please help with my employer & Statistical Significance
Replies: 9
Views: 3355

Re: Please help with my employer & Statistical Significance

FWIW, it sounds to me like the OP is talking more about a generic retail rather than a restaurant, based on the employee numbers. I can imagine what you're describing working quite well for a restaurant where you're there for a longer period of time and have multiple interactions with at least one,...
by polymer
Fri Aug 15, 2014 1:40 am UTC
Forum: Mathematics
Topic: Type theory
Replies: 5
Views: 3759

Type theory

I wanted to investigate the relevance of mathematics for understanding type systems in programming languages. However when I tried to read some basic information, I found I was investing more energy learning a formalism different from set theory to solve the same problems I've already solved in set ...
by polymer
Fri Aug 15, 2014 1:36 am UTC
Forum: Mathematics
Topic: Please help with my employer & Statistical Significance
Replies: 9
Views: 3355

Re: Please help with my employer & Statistical Significance

For what it's worth, estimating the exact probability of failure takes a few samples, as LaserGuy points out. However, if you have high expectations, then a test like this can say enough. Suppose you go to a restaurant which costs at least 600 dollars for an entire family, and you never want them to...
by polymer
Wed Apr 16, 2014 10:28 pm UTC
Forum: Science
Topic: Formal demonstration that classical paths won't interfere
Replies: 12
Views: 2900

Re: Formal demonstration that classical paths won't interfer

I must be far worse at explaining things then I think I am :(. Of course straight line paths don't interfere, and it is fascinating that classical trajectories can be modeled by interfering paths. But that wasn't my question. My question amounts to asking for the argument you would give to this phys...
by polymer
Tue Apr 15, 2014 11:40 pm UTC
Forum: Science
Topic: Formal demonstration that classical paths won't interfere
Replies: 12
Views: 2900

Re: Formal demonstration that classical paths won't diffract

I didn't think I was that confusing. The solutions to Newton's equations for particles must be continuously differentiable functions from R to R 3 , where the domain corresponds to time and the range to position. An electron's position, pre 1900's, was presumed to satisfy Newton's equations. I call ...
by polymer
Tue Apr 15, 2014 5:27 pm UTC
Forum: Science
Topic: Formal demonstration that classical paths won't interfere
Replies: 12
Views: 2900

Formal demonstration that classical paths won't interfere

Quantum Mechanics is frequently motivated by observing that classical path's can't produce interference patterns. I realized that this statement is quite precise, and that, I've never seen a formal demonstration of this. Can somebody give, or link to, a proof? I ask, because this particular question...
by polymer
Fri Mar 15, 2013 7:15 am UTC
Forum: Science
Topic: Osteosarcoma cluster case in West Salem
Replies: 6
Views: 1891

Osteosarcoma cluster case in West Salem

I have taken a probability sequence, but I have not taken a statistics sequence. Over the past 5 years there have been 5 cases of osteosarcoma in my home town of West Salem: http://www.kgw.com/news/neighborhood-news/salem/EPA-to-look-into-Salem-cancer-cases-182107571.html . My family asked me if the...
by polymer
Wed Feb 27, 2013 4:34 pm UTC
Forum: Coding
Topic: Dealing with complexity in excel spreadsheets
Replies: 5
Views: 3006

Re: Dealing with complexity in excel spreadsheets

Yakk's points make a lot of sense, Excel is probably being used in the context of data management, in which case logic is important. Any methodology I use to abstract the work away from the users will only make it harder for them to do their jobs. Unless the problem isn't actually data management, i...
by polymer
Mon Feb 25, 2013 2:36 am UTC
Forum: Mathematics
Topic: Help with Principles of Mathematical Analysis
Replies: 11
Views: 3127

Re: Help with Principles of Mathematical Analysis

Don't abuse yourself, but if Rudin is making sense and you are having fun, then I vote to stick with it. It's not an easy book, but I'm suspicious long explanations in most books only help because they force you to think about an idea longer. You could think about a page of Rudin for hours and nobod...
by polymer
Sat Feb 23, 2013 10:52 pm UTC
Forum: Coding
Topic: Dealing with complexity in excel spreadsheets
Replies: 5
Views: 3006

Dealing with complexity in excel spreadsheets

So I'm practicing designing and constructing software, and recently somebody offered me a job making their technology more reliable. They told me - "I don't want everything to stop because somebody deleted a cell in excel". I have never liked excel spreadsheet formulas very much. They read...
by polymer
Mon Dec 31, 2012 7:42 am UTC
Forum: Individual XKCD Comic Threads
Topic: 1154: Resolution
Replies: 32
Views: 7664

Re: 1154: Resolution

YES! Randal get out of my head!

I didn't think I'd get to be around for one of those...
by polymer
Thu Nov 08, 2012 5:52 am UTC
Forum: Individual XKCD Comic Threads
Topic: 1131: "Math"
Replies: 156
Views: 32631

Re: 1131: "Math"

This thread (and the comic that inspired it) kind of weird me out a little. Everyone seems excited that they now have 'proof' that polls and statistical analysis are accurate, and are trying to wave it in the face of people who didn't trust statistics before. However, this isn't 'proof' at all, jus...
by polymer
Sun Jun 17, 2012 6:24 pm UTC
Forum: Mathematics
Topic: Trying to explain the beauty of math
Replies: 12
Views: 3632

Re: Trying to explain the beauty of math

I'm surprised this hasn't been mentioned. An individual won't understand why math is beautiful unless they do math themselves. Math is argument, not rhetoric. At least this seems to be the rule in my experience.
by polymer
Sun May 27, 2012 7:00 pm UTC
Forum: Mathematics
Topic: Define, Norms have the same topology
Replies: 2
Views: 1543

Define, Norms have the same topology

I've been googling "norms have the same topology" with only vague descriptions. Suddenly my analysis professors started using this terminology. I'm pretty sure it means all sets open with respect to some norm are open with respect to all norms. Is this correct and is there more to it then ...
by polymer
Fri Feb 24, 2012 4:44 am UTC
Forum: Mathematics
Topic: Mathematical thinking
Replies: 6
Views: 2086

Mathematical thinking

I first learned problem solving skills studying physics, but because my school wasn't satisfying my "justified" criteria for physics, I started studying math. Math for me had always been for physics, which in turn, was for understanding and forming beliefs about the world. Hence, I didn't ...
by polymer
Sat Feb 11, 2012 1:46 am UTC
Forum: Mathematics
Topic: Abstract Algebra, or Topology
Replies: 7
Views: 5919

Re: Abstract Algebra, or Topology

Sounds like the concensus is Abstract Algebra then! That was my suspicion, but I thought I'd ask anyways. To give a fuller context as to how applicable it may be to me, my linear algebra course was not very abstract at all, and the part of it that was abstract was done poorly. The implications of an...
by polymer
Fri Feb 10, 2012 1:59 am UTC
Forum: Mathematics
Topic: Abstract Algebra, or Topology
Replies: 7
Views: 5919

Abstract Algebra, or Topology

I enjoy physics, and find mathematical arguments fascinating. Analysis has been fun, and has an enjoyable relationship with physics. Currently I'm re-practicing elementary programming, deciding I might take it more seriously as a job prospect. While practicing, I'm finding little connections between...
by polymer
Wed Nov 23, 2011 1:03 am UTC
Forum: Mathematics
Topic: Analysis HW, compactness and uniform continuity.
Replies: 9
Views: 2958

Re: Analysis HW, compactness and uniform continuity.

Math is hard...

find a sub-sequence pk_n that converges to a limit in E, Then d(pk_n,qk_n) -> 0 as n -> ∞, and d(f(pk_n),f(qk_n)) > epsilon. But this contradicts the definition of continuity.

Thanks for the help.
by polymer
Wed Nov 23, 2011 12:16 am UTC
Forum: Mathematics
Topic: Analysis HW, compactness and uniform continuity.
Replies: 9
Views: 2958

Re: Analysis HW, compactness and uniform continuity.

Okay, I'm not sure Rudin plainly stated the criterion for sequential compactness. So I attempted to prove the criterion was true. excuse me if the notation is a little non standard, I'm in a bit of a rush. A subset E is compact in a metric space X if for any open cover of E, there exists a finite su...
by polymer
Tue Nov 22, 2011 8:00 am UTC
Forum: Mathematics
Topic: Analysis HW, compactness and uniform continuity.
Replies: 9
Views: 2958

Analysis HW, compactness and uniform continuity.

I've had a realization recently that math is harder then I thought it was. But I'll save you that drama! Here's the question, it's problem ten of Rudin in continuity. Prove that a continuous function on a compact metric space X to a metric space Y is uniformly continuous. Begin with: Assume there ex...
by polymer
Tue Mar 01, 2011 7:01 am UTC
Forum: Mathematics
Topic: Probability Paradox
Replies: 10
Views: 2058

Re: Probability Paradox

It may be informative to talk a little bit about what exactly a probability is. When we ask how likely something is, we are implicitly comparing how likely whatever that something is, to a whole family of possibilities. When you flip a coin, two things can happen, it'll land on heads or tails. If I ...
by polymer
Tue Feb 01, 2011 6:03 pm UTC
Forum: Mathematics
Topic: Square roots and such
Replies: 13
Views: 2133

Re: Square roots and such

yea...you caught me before I corrected myself. This is why one shouldn't do math at 12:30...I'll correct it so the post isn't confusing. You do not quite have a proof there. You have no guarantee that the thing multiplying p is an integer. You want to multiply both sides by q^n so you have integers ...
by polymer
Tue Feb 01, 2011 8:28 am UTC
Forum: Mathematics
Topic: Square roots and such
Replies: 13
Views: 2133

Re: Square roots and such

Another fun thm is the rational roots test. It isn't difficult to prove the root of primes are irrational using it. Thm: Consider the polynomial a_nx^n+a_{n-1}x^{n-1} + \ldots+ a_1x + a_{0} = 0 with a_{n} \neq 0 and a_i \in \mathbf{Z} for all i. If there exists a rational root r = \frac{p}{q} \ p,q ...
by polymer
Sat Jan 22, 2011 10:19 pm UTC
Forum: Science
Topic: Scientific Literacy
Replies: 12
Views: 2794

Re: Scientific Literacy

Thanks for the suggestions, it sounds like I really should just read more and get more familiar with the tools. I'll try embracing the brute force approach of just reading articles and journals with the hope that I'll learn some language and terminology. Thanks for the insightful comments on intelli...
by polymer
Fri Jan 21, 2011 7:29 am UTC
Forum: Science
Topic: Scientific Literacy
Replies: 12
Views: 2794

Re: Scientific Literacy

LessWrong.com looks like a good site, thanks for the tip! I agree it's impossible to become a professional about everything. Scientific papers can have significant conceptual and language barriers to entry. A good understanding of basic technical tools isn't going to make you automatically understan...
by polymer
Thu Jan 20, 2011 2:26 am UTC
Forum: Science
Topic: Scientific Literacy
Replies: 12
Views: 2794

Scientific Literacy

My question is on personal scientific literacy and competency, when understanding political, societal, and scientific issues. Before I state my question I want to briefly mention some of my experience in physics and math. Quick background: I'm a physics major at the University of Oregon, considering...
by polymer
Fri Dec 03, 2010 1:14 pm UTC
Forum: Science
Topic: Music. How and why?
Replies: 25
Views: 2728

Re: Music. How and why?

how equal temperament ruined harmony(And why you should care) by Ross W. Duffin , Is a fun read for people interested in tuning. His argument basically builds off of why you should hate the major third with a fiery passion and develops into why equal temperament misrepresents classical music. Hones...
by polymer
Tue Oct 19, 2010 8:09 am UTC
Forum: Mathematics
Topic: Why are linear problems "Solvable"
Replies: 4
Views: 1418

Re: Why are linear problems "Solvable"

Thanks to everybody who responded so far. wozub: The principle of superposition is a really nifty tool. I especially like it over orthogonal basis's :). Seeing a periodic function decomposed into a sine and cosine waves is probably my favorite application of the principle so far. samk: Thanks for th...
by polymer
Fri Oct 15, 2010 7:22 am UTC
Forum: Mathematics
Topic: Why are linear problems "Solvable"
Replies: 4
Views: 1418

Why are linear problems "Solvable"

This is something that has been on the back of my mind for a fair bit. Awhile ago I was reading the Feynman lectures, and Feynman pointed out that a large variety of problems were linear, and that mathematic's flexibility and power is really rather limited except when linear systems are being discus...
by polymer
Tue Aug 24, 2010 4:42 am UTC
Forum: Mathematics
Topic: Good way to understand imply statement.
Replies: 9
Views: 1900

Re: Good way to understand imply statement.

Thanks for the suggestions, particularly the new terminology. Words are good, they can be very helpful. I'll try and use the extra terminology more in the future when explaining things, finding some means to specify why an argument isn't correct(or "sound") is important. Was just trying to...
by polymer
Sat Aug 21, 2010 5:30 pm UTC
Forum: Mathematics
Topic: Good way to understand imply statement.
Replies: 9
Views: 1900

Re: Good way to understand imply statement.

Sorry, I agree I did word my questions funny. Let me try again... I understand a logical argument is correct if when all of its premises are true the conclusion must be true. This is embodied in logical statements like (p) \wedge (p \rightarrow q) \Rightarrow q . If however some stud...
by polymer
Sat Aug 21, 2010 2:55 am UTC
Forum: Mathematics
Topic: Good way to understand imply statement.
Replies: 9
Views: 1900

Good way to understand imply statement.

Haldo fora, I bought a discrete math book awhile ago since I was amused with the fun symbols in the introduction :). Ended up being a really good decision. I'm studying logic from the book, and it's done a very good job so far, although I need some more justification for the definition of q \rightar...
by polymer
Mon Mar 29, 2010 5:58 am UTC
Forum: Science
Topic: Sources of Inspiration
Replies: 23
Views: 2051

Re: Sources of Inspiration

This is a fun question :). This post is probably longer then it needed to be, but It felt nice reminding myself why I am where I am. My goal is physics/research there are a couple or reasons for this. Sophomore year of high school I had a biology teacher that was full of energy and knew his subject ...
by polymer
Mon Mar 08, 2010 5:23 am UTC
Forum: News & Articles
Topic: Google phases out IE6 support.
Replies: 39
Views: 4566

Re: Google phases out IE6 support.

I believe there are extensions in Firefox that allow one to hide the menu bar.
by polymer
Wed Mar 03, 2010 6:23 am UTC
Forum: Mathematics
Topic: Have You Been Taught Things Which Aren't True?
Replies: 97
Views: 16309

Re: Have You Been Taught Things Which Aren't True?

BlackSails wrote:
hawkmp4 wrote:Can't take square roots of negative numbers...


You cant, when doing math in the real numbers.


In high school when I realized this, I looked back at all my old tests and noticed they clarified that we were working with real numbers, I laughed silently to my self...
by polymer
Wed Mar 03, 2010 12:35 am UTC
Forum: Serious Business
Topic: Mathematical Platonism vs. Mathematical Formalism
Replies: 43
Views: 11690

Re: Mathematical Platonism vs. Mathematical Formalism

I'd say I lean towards Platonism simply because mathematics is discovered, not invented. Although I'm generalizing when I say this. There are certainly aspects about mathematics that lend themselves to interpretation, and that are more or less difficult for a human to digest. Many tools in mathemati...
by polymer
Tue Mar 02, 2010 3:53 am UTC
Forum: Mathematics
Topic: Determinants and an upcoming midterm
Replies: 11
Views: 2122

Re: Determinants and an upcoming midterm

Got a 94%! Thanks again for the help!
by polymer
Sat Feb 27, 2010 1:56 am UTC
Forum: Mathematics
Topic: Determinants and an upcoming midterm
Replies: 11
Views: 2122

Re: Determinants and an upcoming midterm

Finished the midterm, feel like I scored well.Thanks a bunch for the help, really appreciate it!

Go to advanced search