## Search found 124 matches

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.
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...
Fri Aug 15, 2014 4:04 am UTC
Forum: Mathematics
Replies: 9
Views: 3355

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,...
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 ...
Fri Aug 15, 2014 1:36 am UTC
Forum: Mathematics
Replies: 9
Views: 3355

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...
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...
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 ...
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...
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...
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...
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...
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...
Mon Dec 31, 2012 7:42 am UTC
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...
Thu Nov 08, 2012 5:52 am UTC
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...
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.
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 ...
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 ...
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...
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...
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.
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...
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...
Tue Mar 01, 2011 7:01 am UTC
Forum: Mathematics
Replies: 10
Views: 2058

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 ...
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 ...
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 ...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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 ...
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.
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...
Wed Mar 03, 2010 12:35 am UTC
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...
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!
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!