Wikipedia:Reference desk/Archives/Mathematics/2010 November 5

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Mathematics desk
< November 4 << Oct | November | Dec >> November 6 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.

November 5[edit]

Predicting the college football season[edit]

Let's say that:

  • Oregon has a 59.2% chance to win every game before the BCS.
  • Boise State has a 67% chance.
  • Auburn has a 15% chance (noting they would have to play a conference championship).

In addition, either TCU or Utah may go undefeated, but not both, since they play each other. TCU has a 58% chance of beating Utah and a 99% chance of winning both of its other games, while Utah has a 42% chance of beating TCU and a 65.7% chance of winning all of its other games. That means, I'm guessing, that there is an 85% chance that either TCU or Utah will go undefeated.

Don't kill me over these percentages -- they come from a rankings website.

  • What are the chances that no team among the above goes undefeated? (I'm guessing 1.7%)
  • What are the chances that exactly one team goes undefeated (OR, Boise, Auburn or TCU/Utah)?
  • What are the chances that exactly two teams go undefeated?
  • What are the chances that exactly three teams go undefeated?
  • What are the chances that exactly four teams go undefeated? (I'm guessing 5.1%)

Thanks -- Mwalcoff (talk) 03:13, 5 November 2010 (UTC)

One key assumption that should be explicitly stated is that the above percentages, unless otherwise stated, are independent probabilities, e.g., the chance of Boise winning is unaffected by what Oregon does. This may be approximately true, but may not hold if, for example, Boise was hoping for a Boise/Oregon grudge match in the finals, and as such is demoralized by an Oregon defeat. Anyway, it makes the calculations easier, so we'll assume it. Will also assume that when you ask for "three teams undefeated", your referring to three teams from those listed - that is, that some team not listed being undefeated doesn't count toward the three.
The probability of an event not happening is one minus the probability of it happening. The probability of two (probabilistically) independent events both occurring is simply the product of the independent probabilities. The probability of either of two mutually exclusive events occurring is simply the sum of the probabilities that either occurs. This is all we need to work out the probabilities.
So TCU has a .58*.99=.574 chance of being undefeated, while Utah has a .42*.657=.276 chance of being undefeated, which means that there's an .574+.276=.85 chance of either winning (since the two probabilities are mutually exclusive. For four teams undefeated, it's .592*.67*.15*.85=0.051. For no teams undefeated, it's (1-.59)*(1-.67)*(1-.15)*(1-.85)=.017 chance. The exactly one team defeated/undefeated is a little harder, but can be calculated with (prob.of only Oregon) + (prob. of only Boise) + ..., as each term is mutually exclusive (you can't have both Boise and Auburn be the only undefeated team). One team undefeated is .59*(1-.67)*(1-.15)*(1-.85) + (1-.59)*.67*(1-.15)*(1-.85) + (1-.59)*(1-.67)*.15*(1-.85) + (1-.59)*(1-.67)*(1-.15)*.85 = 0.161 and one team defeated (three teams undefeated) is (1-.592)*.67*.15*.85 + .592*(1-.67)*.15*.85 + .592*.67*(1-.15)*.85 + .592*.67*.15*(1-.85)=0.355 chance. Exactly two teams undefeated is a little harder, but becomes easier if we realize that we've exhausted all other cases - if it isn't no, one, three or four teams undefeated, it has to be two teams so 1-(.017+.161+.355+.051)=0.416 chance, as each sub-case is mutually exclusive. -- (talk) 16:47, 5 November 2010 (UTC)


How would one set up a calc equation to solve this. If the avg life expectancy of a person is some constant A, and their current age C, and the rate at which the life expectancy is extended be x, how would one set up a calculus equation to solve for the minimum value of x that would allow the person to live forever. Assuming that x is linear, I came up with something like t = (A-C) + (A-C)xdt, and then I would integrate and try to solve, but I don't think this is right. I think it would take the integral and not the derivative, but I am not even sure, as it has been quite a while since I have taken calculus. Can someone help me figure this out? I feel dumb for asking about this, as it should be a simple problem (talk) 09:15, 5 November 2010 (UTC)

x is linear... in what? Time? I have difficulty interpreting your equation meaningfully, but maybe the answer is in there. If x is just a constant, then the minimum is x=1: each year a person lives, the average life expectancy must increase by at least 1 year to keep up with their growing age. In general, the rate of change of average life expectancy is a function x(t), you have initial average life expectancy of L(C) = A, so at any time the average life expectancy is given by the function
from the fundamental theorem of calculus. For x(t) = c, this simply becomes L(t) = c(t-C) + A. Your own age is just t, so you want L(t) - t > 0 always. If c < 0, L(t) is negative sometime, L(t) - t can't always hold. If c = 0, L(t) is a constant, which also won't work. If c >= 1, for A and C "reasonable" the equation does hold. For 0 < c < 1, L(t) grows more slowly than t, so L(t) - t is eventually negative, hence my statement above. (talk) 10:51, 5 November 2010 (UTC)
If the population grows the average life expectancy could decrease and still have the possibility of a person living forever. I'm assuming life expectancy is calculated by seeing how long all the people lived who died in the current year. You might want to do something mor complex but you can't stick in an infinity for a person who's going to live forever! Dmcq (talk) 12:57, 5 November 2010 (UTC)
Actuaries already do these types of calculations, and have a standard terminology and notation for these concepts - see our articles on life table and force of mortality. Gandalf61 (talk) 13:33, 5 November 2010 (UTC)

Suggestions re learning LaTex, please?[edit]

Hi all. I think I need to finally spend the time to learn LaTex. My reasons for wanting to do so are:

  • to allow me to document my self-study in symbolic logic, set theory, foundations, especially,
  • to communicate effectively in online forums devoted to those topics,
  • to send documents I've created about these topics (aka "homework" or "examples") via e-mail to professors or tutors, as yet unknown, and (ideally) to allow them to electronically comment on, correct, and markup the same, and
  • to be able to ask (and occasionally answer, when I can help) questions about those topics here, on-wiki

I've read maybe two-hours worth of material about this so far, via the web, and our own articles, too, of course, and have naturally looked in the archives here. But I was hoping folks here could help me start out on the right foot by anwering a few probably naive questions, as well:

  1. I like the idea of being able to generate pdf files easily, or better still(?), having a setup that uses pdf as a native file format for whatever I create using Tex, and I presume that means using the pdfTex extension. If this is correct, is there any LaTex/pdfTex editor that's free, relatively "standard"/ubiquitous (easy cross-platform availability), and that can edit pdf files directly?
  2. About how much time will I need to reach a point point of minimal/reasonable proficiency? A point at which I can focus more on content, on writing math/logic documents, than on learning LaTex, that is?
  3. I'd like to be able to use Russell & Whitehead's Principia Mathematica notation easily, if possible, and yes, I know it's been largely superseded in modern practice. ;-)
  4. I'm using Ubuntu GNU/Debian/Linux, in case that matters.

All observations and suggestions will be most welcome. Many thanks,  – OhioStandard (talk) 16:04, 5 November 2010 (UTC)

I think it's difficult to give a general answer to this. In my case I wanted to write a mathematical paper, decided TeX and LaTeX would be the best way to do so, so downloaded the free TeXShop, bookmarked some documentation and started writing. I had a clear idea of the mathematics I wanted to write, it was just a case of finding the correct way to do it. As I did this on a paragraph by paragraph and equation by equation basis I slowly taught myself TeX. More recently I went through a similar process learning how to edit WP formulas, at the same time as learning Mediawiki syntax. Here my reference was WP itself and its help pages. In each case for me all I needed was an idea of what I wanted to do, access to documentation and examples, and a way to try out my ideas.
I notice from TeXShop there's a Comparison of TeX editors where you should be able to find a free editor. I don't know if you'll find one able to edit PDF files: PDF is designed for viewing only. Fast preview perhaps using PDF might be the best you can do.--JohnBlackburnewordsdeeds 17:16, 5 November 2010 (UTC)
I'd suggest that a better place to look for answers to your questions might be --Qwfp (talk) 17:39, 5 November 2010 (UTC)
You seem to want general/open-ended answers. Any plain text editor will do for a LaTeX editor, since the point is to have everything in ASCII. I don't know about specific editors for Linux, sorry, other than the usual standard text editors. I have used one called TeXworks on Windows which I've liked, and it's apparently cross-platform. PDF files are generated from LaTeX source, for instance with the pdflatex command available in some/most Linux distros. To directly edit a PDF file, you would need (I believe) to edit postscript code, which isn't at all the same thing as editing LaTeX code (postscript isn't really meant to be hand-edited, anyway). A PDF file is to LaTeX as a compiled binary is to C++ source code--the compilation process isn't really reversible.
I've never read Principia myself, but a glance at this page suggests LaTeX would have no trouble at all typesetting it.
For me, it didn't take long to be minimally proficient. As a brief example, "\prod_{i=1}^{N^2} \int_{R_i}\Psi\,dA" renders as
If you can pattern match what most of that is doing, you can do a surprisingly large amount in LaTeX right now if given a few examples to work from. Depending on your computer proficiency, a good afternoon working with it should get you started. After figuring out how to make your system compile your source, I'd find a math paper online in TeX format and just try to write something up working from it as an example.
Personally, I hand write most of my math. I just find it much more freeing. Then again, I've heard that writing in LaTeX can become quite natural. (talk) 17:53, 5 November 2010 (UTC)
Bullshit. It takes 4 weeks to learn LaTeX. It is the biggest waste of 4 weeks I have ever spent -- or would have been, except for the results. (talk) —Preceding undated comment added 18:33, 5 November 2010 (UTC).
"It takes 4 weeks to learn LaTeX"--it definitely did not take me this long to learn LaTeX enough to be reasonably proficient. I have a background in computer science, but still, a day was realistic for me to "get started". I'm curious, how long did it take others? (I know the comparisons are very flawed because the goal is unclear, but still.) (talk) 19:03, 5 November 2010 (UTC)
As for Linux LaTeX-friendly editors/IDE: a good choice is Emacs+AUCTeX. I assume that vim should have a LaTeX mode too, if you prefer that.
As for Principia Mathematica, the inverted iota may be nontrivial to typeset, but otherwise I'm not aware of anything problematic.—Emil J. 18:50, 5 November 2010 (UTC)
Just because it's a good example, I googled "latex inverted iota" and got this page as the third result, which gives the commands "\usepackage{graphicx}" and "\newcommand{\riota}{\mathrm{\rotatebox[origin=c]{180}{$\iotaup$}}}" to define a handy macro "\riota" to display an upside-down iota. I've found the vast majority of my LaTeX questions are quickly answered similarly. (talk) 18:58, 5 November 2010 (UTC)
Yes, this is a very good example, namely it is an example of the principle that 90% of macros that you can google on the web are crap. First, there is no such thing as \iotaup among standard LaTeX symbols, and the instructions didn't tell you which package to find that in, so the code will not even compile. Second, the \mathrm in the macro is completely pointless as the innards are put in a box, hence it should be omitted to reduce useless bloat. Third, the instructions didn't warn you that the graphicx package relies on PostScript specials to implement the rotation, hence it will not work in plain dvi viewers or interpreters.—Emil J. 19:20, 5 November 2010 (UTC)
Good points, though the package isn't hard to find with a further search, \iota may suffice (or may not; again, I haven't read the book), and the DVI issue may or may not appear depending on your setup. But certainly some issues take quite a bit of fiddling / searching / asking around about, and some online help sucks. Ultimately, though, I do have an upside-down iota on a page, regardless of anything else. (talk) 21:52, 5 November 2010 (UTC)
I would strongly disrecommend LaTeX. It is my opinion that every mathematical symbol or function that could be typeset in Latex could be more easily typeset in unicode, using a well-designed word processor. The fundamental premises of TeX are invalid in comparison to modern word processors:
  • TeX claims to separate formatting from content. But this is evidently not the case, as you will notice that you need to learn formatting codes.
  • TeX intends to perfectly specify paper layout. In today's era of reflowable digital documents, why waste your time specifying pedantic details about pixel-spacings? Use a modern tool that reflows intelligently and properly.
  • TeX claims to be portable. But as EmilJ has correctly pointed out, one set of TeX code will not compile on a different computer unless all the same packages are installed; there is no standard set of TeX packages; many are mutually incompatible with each other. In fact, even the tool is not standard: There is CWEB TeX, there is LaTeX, MiKtEX, MacTeX, and so forth. Realistically, there is minimal compatibility between these tools.
  • Formats like HTML now support mathematical symbols. ODF and .docx are free and open formats that provide all your pedantic typesetting needs, but are supported by reasonable free and commercial platforms like OpenOffice and Microsoft Word.
  • Every useful special mathematical symbol can be represented directly as a unicode character; TeX uses non-standard representations. Even Donald Knuth (inventor of TeX!) acknowledges this lack-of-standardization is a problem!
  • Open-source and free software word processors, such as, provide powerful equation editors as add-ons and plugins, if flat formatting and symbolic text are insufficient.
  • Most major academic journals, including many physics[1] [2] and mathematical journals, will no longer accept TeX source, and will require PDF or .doc files - so who do you intend to impress with your .tex source? And AMS requires you to install a nonstandard version of LaTeX! (Amazingly, AMS TeX is not even compatible with itself - there is a separate old-version archive for reproducing old documents!)
  • When you finally give up on TeX and decide to painstakingly export to a reasonable document format, converting to HTML will produce buggy, ugly, and non-standards-compliant documents.
TeX is really an antique - like the linotype, it was a huge improvement over previous typesetting technology, but is now a dinosaur whose clunky interface and primitive feature-set pale in comparison to the latest and greatest in mathematical typesetting and word processing. Invest your time learning a modern tool. Nimur (talk) 20:26, 5 November 2010 (UTC)
  • Not sure if anyone's linked something similar yet, but this can be a useful tool when you're getting started. —Anonymous DissidentTalk 01:31, 6 November 2010 (UTC)
Oh, sorry, I just saw your link. It is a lot of fun even though I can never get it to find the symbol I want. Eric. (talk) 13:49, 6 November 2010 (UTC)
I think texlive is the standard / most popular TeX distribution for Linux users, though I still have an old copy of tetex on my system. In my setup, I use vim to edit .tex files and the latex / pdftex commands on the command line to compile, with xdvi and xpdf to view the output. (Generally using dvi instead of pdf gives me a faster turn around time while composing, and I find xdvi a more solid piece of software than xpdf. YMMV.) I've heard that Emacs+AUCTeX is good, as Emil suggests. I assume any standard programming environment will come with at least syntax highlighting for TeX commands.
Two handy resources I have found include: For math and equation typesetting, amsldoc.pdf is an introductory manual for the amsmath latex packages. symbols-a4.pdf, a very long reference list for latex symbols -- look up the symbol you want to typeset here. The detexifier is cool but I haven't found it particularly useful. Eric. (talk) 13:45, 6 November 2010 (UTC)

I want to thank everyone who replied so far. I'm not sure whose advice will "win" re what I eventually decide, but I'm very grateful for the discussion. Thank you!  – OhioStandard (talk) 09:24, 6 November 2010 (UTC)

Despite some arguments by nay-sayers above (Nimur: geology is only an infinitesimal fraction of "all of math and physics" and not even representative for math/physics research), doing without laTeX is not practical in physics and math. When preparing large documents full of equations with large numbers of cross references etc., you want to actually edit the source code of the document, not the document itself. That source code has to be easily readable and editable.

Journals prefer to have your LaTeX source code for typesetting, they don't want to have some compiled PDF file because they typically need to change your document as it appears in print. Such changes can affect equation numbers that are cited in the text, the ordering of the references, etc. etc. Count Iblis (talk) 16:05, 6 November 2010 (UTC)

I found The Not So Short Introduction to LaTeX2e useful for learning LaTeX, and WP:Formula a good reference for writing formulas. -- Meni Rosenfeld (talk) 10:50, 7 November 2010 (UTC)

Sorry, but there are many misunderstandings in Nimur's comment. First, he confuses TeX and LaTeX. TeX specifies low-level formatting. LaTeX does not (although it allows you to uses the low-level stuff if you want to teak things). Secondly, while there are different implementations of the TeX translator, they are indeed compatible, and there is a rigorous test specification that ensures that. No, you do not need "all the same packages" to compile documents on different computers - you need the packages you actually used in the document on both machines. Unless you do fancy stuff, the packages you are indeed at least de-facto standard. This is no different from macros, styles, and fonts in WYSIWYG tools. Yes, compatibility of old and new TeX installations is not always 100%. But it is excellent in practice for a tool chain that has been around for 20-30 years. Try opening a Word for Windows document in Word 2010. At least in TeX you get the human-readable document source and can fix it. Because TeX source is plain text, it's easy to use a plethora of existing tools on the documents, like grep, subversion, sed, and diff. It's also easy to programmatically generate TeX/LaTeX. For me, the ability to type everything out in plain text, with no menus and drop downs and weird mousing is also very valuable. Generating a document with even trivial stuff like sub- and superscript is much faster in LaTeX then in Pages or OpenOffice, or Keynote. There is a reason for the existence of LaTeXiT and equivalent tools on other platforms. And finally, the typesetting is still much better than with any other widely used tool. --Stephan Schulz (talk) 11:20, 7 November 2010 (UTC)

Thanks, everyone! I'm very often surprised at the extraordinarily high quality of the responses I've received when I've asked questions before on the various boards here, and this occasion has been another instance of the same. I'm sure your opinions, links, and advice will be very useful to me as I proceed, and will save me from many missteps, as well. My best appreciation to all of you who replied. Cheers,  – OhioStandard (talk) 05:23, 8 November 2010 (UTC)
The main mistake I made was not learning LaTeX properly. It took me 4 years to do theorems properly. /o\ Nevertheless, 4 years has made me wise to LaTeX and I can now do lots of intermediate stuff, including PGF/TikZ (intermediate, at least). I would browse the full amsmath and the Short Guide to Math - get to know how to do all the constructs properly, from day one! And the Not So Short Guide to LaTeX (?) is the best overall guide to LaTeX. x42bn6 Talk Mess 23:44, 8 November 2010 (UTC)

Can we draw every mathematical concept?[edit]

In the case of simple concepts, it is evident that we can. Two segments on the same line are a sum. Two segments on a right angle are the equivalent of a multiplication. But, how about more complex concepts? Quest09 (talk) 17:40, 5 November 2010 (UTC)

If you want to really blow your mind, imagine that you write, in your programming language of choice (say C++), a programming environment, call it Crayon, to compile x86 code form a TOTALLY VISUAL programming paradigm. Now you draw in Crayon, and get x86 code. But Crayon the application is really still just a C++ program.

So imagine that you proceed to use Crayon to draw the EXACT SAME THING you had wrote in C++ to produce the Crayon-the-C++-application you are now running. Compile, and VOILA: you are now running Crayon, written in Crayon. Now you use Crayon -- written in Crayon -- to sketch out a rudimentary version of an operating system. It will take you years, but when you're done sketching it and compiling it, you can burn it to a CD-ROM.

Then you take it to a fresh computer, you put that CD-ROM in, you boot an Operating system not written in any programming language but sketched in Crayon, and you start up a copy of Crayon. YOUR WHOLE COMPUTING ENVIRONMENT WAS MADE WITHOUT A SINGLE LINE OF CODE! Without a single programming keyword. Without a single +, =, *, opening or closing brace, or any other symbol. It was all purely sketched out visually.

Well, what you have now, is what I imagine the Greeks would be running these days if it weren't for the Peloponnesian War. (talk) 17:56, 5 November 2010 (UTC)
You might be interested in befunge. (talk) 18:04, 5 November 2010 (UTC)
Pshaw. In my mind I'm imagining beautifully rendered spheres and pyramids of various shades and colours, a totally immersive 3D abstract environment! Whose primitives just happen to translate to x86 code... (talk) 18:06, 5 November 2010 (UTC)
Maybe some of the things built in minecraft are a little closer to what you had in mind (though not the same), e.g. this 16-bit adder. (talk) 18:20, 5 November 2010 (UTC)
I'd say no. Draw me the axiom of choice or 15 dimensional Euclidean space, which some would argue can't fit in our universe. Of course, your question isn't specific enough to have a real definitive answer. (talk) 18:04, 5 November 2010 (UTC)
I'd also say no. Mathematics, unlike most sciences, is largely concerned with abstract concepts. The examples given above are some and not the most abstract or difficult. For example it's possible to consider not just finite but also infinite dimensions, or vector spaces over other than the real numbers, or non-Euclidian spaces instead of Euclidian. All these, although they have real applications, move further away from how we describe our universe and so are more difficult to represent within it. There are many more such examples, many even more abstract, which would similarly defy any attempt to draw them. --JohnBlackburnewordsdeeds 18:12, 5 November 2010 (UTC)
This is ultimately a problem of encoding and representation. I will not attempt to 'draw the axiom of choice', but one can easily draw a picture things that don't exist as concrete individual physical objects, such as as the real projective plane, hyperbolic plane, 4D euclidean space, etc. Of course, understanding the drawing is a matter of convention, but then so is understanding a 'drawing of the concept of addition'. SemanticMantis (talk) 18:18, 5 November 2010 (UTC)
Isn't any written language just a more sophisticated, and more abstract "drawing" of your idea? Nimur (talk) 20:05, 5 November 2010 (UTC)
Yes Nimur, I was also thinking along similar terms. Still, there is something that separates a diagram of the hyperbolic plane from a formal definition, no? SemanticMantis (talk) 21:14, 5 November 2010 (UTC)
That's an interesting point. Both language and drawings just describe some idealized thing, so in that sense they're basically the same. (talk) 22:05, 5 November 2010 (UTC)
You might also be interested in our article on Mathematical visualization. WikiDao(talk) 20:24, 5 November 2010 (UTC)

Different universe, different maths?[edit]

I understand that, if other universes exist in a Multiverse, that they could have different physical laws. But must maths be the same in all of them? (talk) 20:04, 5 November 2010 (UTC)

The answer depends on your philosophy. See Philosophy_of_math#Contemporary_schools_of_thought. In short, the Platonist view would say yes, all universes have the same math. In contrast, the Embodied mind theory (WP:OR not espoused by any professional mathematician I've known) would say mathematical constructs are constructs of the human mind, and cannot be examined in a universe without humans. The greater issues here are the ontology of mathematical objects, and the epistemology of mathematical claims. SemanticMantis (talk) 20:28, 5 November 2010 (UTC)
Could other systems of maths be imagined, or is there only one system of maths that is internally consistent? (talk) 20:31, 5 November 2010 (UTC)
It depends in which sense you are asking. You may enjoy reading Hilbert's_program, which describes a famous (failed) attempt to make all of mathematics provably consistent. It is a common interpretation that Gödel's_incompleteness_theorems prove that such a task is impossible to accomplish. More to the (what I think is) the spirit of your question, many alternative systems have proven useful. For example, 1+1=2 in conventional everyday (integer) terms, but 1+1=0 in the Finite_field of two elements. These statements are not contradictory, and both are useful in different contexts. Another good example of an 'alternative system' of math is Non-Euclidean_geometry. You may get better answers if you give us some indication of what types/levels of math you know/are comfortable using. SemanticMantis (talk) 20:55, 5 November 2010 (UTC)
My only maths qualification is GCE "O" level, if that means anything to you. It was the exam taken by the brighter British sixteen year olds. (talk) 20:36, 7 November 2010 (UTC)
I researched this in depth, including e-mailing the likes of Noam Chomsky, and leading philosopher (now at princeton) called Peter Singer. The answer (even from just the linguist, noam chomsky), was resounding: other universes MUST have the same laws of logic and math. It is simply impossible for a mathematician-creature to explore primes and found that the billionth prime in his Universe has a different value from the billionth prime in ours; or to explore pi and find that it has a slightly different value. To me, this is a really stupid fact, because it means we know a lot about potential Universes about which we know nothing (to my mind, a contradiction). Namely, we know what their mathematicians would find to be true about a given system (such as our integers) should they choose to explore that system. But, even though I disagree with all the leading philosophers' ideas, and think it's really stupid, I think I owe it to you to tell you this. There is unanimous consent that math must work exactly the same (if they explore the same system). (talk) 21:51, 5 November 2010 (UTC)
It depends on whether you believe that God made the integers; all else is the work of man. I find it quite hard to imagine a universe where counting is not possible, but quite easy to imagine one where the concpt of real number was not developed.--Salix (talk): 22:13, 5 November 2010 (UTC)
84 above, now my IP has chamged. the question is not about what is developed, but what would be found to be terue once it is devekloped. Can you imgagine that when pi is developed, they calculkate it to some precision, but what they find is a sligghtly different value from ours (diverging agter our millkionth digit)? You cannot imagine it, any more than you can imagine a square having five corners yet remaining a square: you can convince yourself you are imagining it, but you are simply not thinking with rigor. When you imagine a universe whose pi diverges from oursd after a million digits (regardless on when, how, and whether this is even calculated by anyone in that univerde!) you are simply not imagining with rigor. Think more rigorously and you will find thaat the five cornerned object you imagined isn't really a square, or that it is a square but dfoesnt have five corners. Think more rigorously and you will find that the value of pi is exactly the same in any possible universe (again, regardless of who looks at that value). I think this is a really stupid fsact, and don't agree with it, but it is a fact nontheless. (talk) 23:12, 5 November 2010 (UTC)
The idea that you can answer this question by trying to "rigorously imagine" other math seems to me to miss the point. The question is whether there is the possibility of different consistent math that we aren't capable of imagining. Rckrone (talk) 06:11, 6 November 2010 (UTC)
(same IP again). And it seems to me, with all respect, that you miss the point. Math is a part of TRUTH. It is a part of REALITY. When you say "whether there is the possibility of different consistent math that we aren't capable of imagining" it has NOTHING TO DO with the OP's question. His question is: physical laws can be different, can math laws be different the same way? The answer is "no". Let us say that an alternative universe DOES use math that is consistent and is something we aren't capable of imagining. No one can imagine it in our universe for 1000 years. But then a single person is born with an IQ of a million. That one person imagines the same consistent system and explores it. What he will find is EXACTLY THE SAME RESULTS as what the other universe has. That is because math works EXACTLY THE SAME in all possible universes. Whether it is ever discovered/invented is totally irrelevant, since it is a part of the truth or reality in a universe. Let me give you an example. We have no way of proving at the moment whether there are infinitely many twin primes. Nevertheless, either there are or there are not. It is impossible that in our Universe, there are infinite twin primes, whereas in a different Universe there is a largest one. What is possible, of course, is that we decide the answer is "undecidable" under our set of normal axioms, whereas another Universe starts, for intuitive reasons, with entirely different mathematics, and they have no problem proving that in their own axiomatic system there is a largest prime. But, if we were somehow, in a thousand years, with a single genius who has an IQ of a million, to explore that same axiomatic system, we would find the same results as them. (On the flip side, if a genius in their universe imagines the same set of axioms we are working, that genius would find the same truth: it is impossible that for us, there are infinite twin primes under ZFC, whereas when a genius in another Universe imagines the exact same ZFC system for an afternoon, he proves rigorously using it that there is a largest twin prime.) Math, and logic, simply work exactly the same in any possible Universe: it is not like the laws of physics at all in that respect. Please don't confuse yourself further by failing to differentiate between exploring a DIFFERENT system, one which we can't comprehend, and exploring the SAME system and finding different results. P.S.: Again, I don't agree with anything I've just said, I think it's really stupid, but it just so happens to be the universal consensus among scientists, mathematicians, and philosophers, that this is the case. I am just reporting the facts, even though I disagree with them. (talk) 10:36, 6 November 2010 (UTC)
I'm not sure that anything you posted contradicts what I said. I never implied for instance that in another universe the same axioms would lead to different results. In fact the opposite, the idea that there is math we are incapable of imagining is to say that there may be axiomatic systems that are so unnatural to us that we would never or can't consider them (or would never have any reason to consider them). That said, the axioms that come naturally to us are closely bound to the physics of the universe we live in. For example in your original post when you're talking about the value of pi, how exactly are you defining the concept of pi? If you're defining it as some specified value, then obviously it has no other value. If you're defining it as the ratio of the circumference and diameter of a circle (which is how the concept arose for us humans) then that depends on the geometry of our particular universe. That ratio could certainly be different than the value we've labeled pi. I don't think it's possible to fully divorce physics from the resulting math. Rckrone (talk) 18:14, 6 November 2010 (UTC)
sorry, you just have to do more research. pi is simply a value that arises in different situations. In all situations where this value arises, regardless of the reasons such situations are explored, it will have the exact same value in this and any other possible Universe. It doesn't matter how, or even whether, the concept arises. Maybe there is a constant, like e, and pi, that is super commonly used in another possible Universe, since it arises very naturally from exploration of the physical laws that Universe follows. If in the next 10,000,000 years, anyone in this Universe is crazy enough to chance upon that constant for no good reason whatsoever, but purely theoretical crazywork, but they are a good mathematician, they will calculate the same value for it as it has in that other Universe. It doesn't matter that it is totally inapplicable here and obviously descriptive there. If there is a formula for it, that formula yields the same result. Basically, you are using semantics to imply that what we call "pi" could be "e" in another Universe, where the ratio of a slkwjegircle's circumference to diameter is e. But I say slkwjegircle because it is not a circle, a mathetmatically rigorous construct. If anyone ever explores an actual cirlce, instead of a slkwjegircle as found in that Universe, they will find the same value of pi that we have. To any precision. (talk) 21:56, 6 November 2010 (UTC)
Yes, obviously it's semantic. That's the whole point. I don't disagree with the things you said in that post nor ever did I. What I am saying is that the physics of the universe has a strong influence on what we choose to study, or perhaps even what are brains are physically able to comprehend. Suppose the ratio of a slkwjegircle's circumference to its diameter is not e, but some value x that we don't care about. Then that value x will probably become an object of study for mathematicians in that other universe, and maybe it has some nice properties, but we don't know this or even care because what is a slkwjegircle anyway? Sure if we studied slkwjegircles we would find the same results, but we don't. Maybe we can't. Rckrone (talk) 19:51, 7 November 2010 (UTC)
I think we'll just have to agree to agree then. (talk) 11:53, 8 November 2010 (UTC)
There is the anthropic principle, which tries to answer the question "why is our universe like it is", with the answer "because if it wasn't we could not exist to describe it", as if the laws were just a little different carbon based life would never have evolved.--JohnBlackburnewordsdeeds 22:26, 5 November 2010 (UTC)

The stability of pi is mentioned above, but wouldnt the value of pi be different for a circle on the surface of a sphere? Our universe may have some analogous 'curve' that we are not aware of. (talk) 20:36, 7 November 2010 (UTC)

π is the ratio between the circumference and diameter of a circle in Euclidean geometry, not in whatever universe we happen to live in. It remains the same even if we happen to live in a non-Euclidean universe (indeed, we live in a non-Euclidean universe, and we are aware of it!). Also, which has nothing to do with geometry. -- Meni Rosenfeld (talk) 06:13, 8 November 2010 (UTC)
Yes, but I think the interesting part of this question is, could the actual logic we use to work such things out, turn out to be wrong in another universe? And if not, how do we know? A related question is, Is logic empirical?
Typically most math/science types will answer, no, that cannot happen. I am not sure how they can be quite so sure. My pragmatic, provisional answer is: We have no way of talking intelligently about such a possibility, if it is a possibility, because to do so we would have to use the logic that works here.
The protagonist of Heinlein's They faces a similar dilemma as he warns himself not to use the sorts of reasoning they have taught him. But what sort, then? --Trovatore (talk) 06:36, 8 November 2010 (UTC)

Things like Wave–particle duality and this quantum hocus-pocus suggest that there are counter-intuitive things in the universe, so different maths may be a possibility, particularly as the theorised ten dimensions are further explored. (talk) 13:46, 8 November 2010 (UTC)

Am I misunderstanding your comment, or are you greatly underestimating the capability of mundane mathematics (which can easily deal with 10- or million- dimensional spaces)? -- Meni Rosenfeld (talk) 20:11, 8 November 2010 (UTC)
There's a difference between counter-intuitive physical results and "different maths". Fundamentally, even wacky physical theories like quantum and string theory are described using very conventional, if complicated and unintuitive, math. I don't see how their existence suggests the existence of another universe which has "different" math. In fact, that they are described using our regular math suggests the opposite, to me. (talk) 04:28, 11 November 2010 (UTC)

Yes, you are misunderstanding my comment. (talk) 20:30, 8 November 2010 (UTC)

Could there be a universe where 1+1=3? (talk) 19:30, 11 November 2010 (UTC)

If '1', '+', '=', and '3' are defined the same way as in our universe, then no. If they are defined differently, than 1+1=3 by these definitions even in our universe. Math is the study of what follows from a set of definitions. Any self-consistent system imaginable is part of our math. Any inconsistent system is also part of math, but inconsistent systems are less interesting, so we already know everything there is to know about them. (If you want to follow up on this, note that paraconsistent logics look inconsistent, but there is a difference.) (talk) 19:52, 11 November 2010 (UTC)

why don't I like databases?[edit]

Databases are the only aspect of computer science that I hate the very concept of. I refuse to even be a simple user. I will tell you my impressions and feelings and hope you will be able to tell me the real, mathematical reasons behind it, which I can't grasp. basically, databases feel about as slow as the difference between ram and a roundtrip ping to china: my feeling is that everyy time I do a query, I am waiting for a bubble sort on a huge data set to finish. Then I don't like sql, to the point that I would rather build up a hugely complex datatype (hashes of arrays of arrays of hashes etc) and fill it with constants in my source code, than use sql. Even though it takes me longer, and each lookup takes more code to write (for example, manually iterating over my data structure to see what meets conditions). Nevertheless, I am very satisfied with the results. Why? Same with my personal informationH. I use excel instead of a db every day. Does anyone have any ideas about what, mathematically, coulld really be behind my aversion? Thank you. (talk) 23:00, 5 November 2010 (UTC)

Its worth reading up on the Relational model which does put the relational database on a pretty sound mathematical footing not far removed from first-order logic. It does require a different data-oriented approach rather than a more procedural way of thinking which might be more natural for humans. The object-relational mapping shows that data-structures are essentially the same as the set of relations in a database but you might find that the Object-relational impedance mismatch may explain some of your problems. Speed issues may be due to the fact that many database strive to be ACID compliant, good for banks with billions of customer records, less good the everyday hacker. Client server ACID transactions is hard to do right but quite an interesting intellectual challenge.--Salix (talk): 23:54, 5 November 2010 (UTC)
If a database goes slow then the queries that are taking some time need to be analysed to see what the problem is and sticking in indexes and using unique keys where necessary. The big question is, how much time will one waste on optimising the performance compared to just waiting for the result? One can hardly fault Google for speed for instance, they have optimized for speed to the nth degree but it is worth it for them. SQL databases put a lot of effort into optimising the queries, and for most users who don't want to get into the innards or who don't have feel for how it works this is best. It is exactly the same reason we now use high level languages rather than assembler, sometimes it can give awful code but overall the gain is huge. Dmcq (talk) 09:50, 6 November 2010 (UTC)
I share your aversion against traditional databases. Computer files suffer from backwards compatibility all the way back to the punched cards, which have now become rows in databases. In order to save paper the data were organized with several fields on each card. This is the original sin of database design, ending up with the ugly data hierarchy. In order to adress a field in a database you must provide the database name, the name of the table within the database, the name of the column in the table, and the value of some key field to identify the row. This fourfold increase of complexity makes life a misery for database users. Bo Jacoby (talk) 12:41, 6 November 2010 (UTC).
I don't share your aversion to databases, but I do share your aversion to SQL, which reminds me of COBOL in its verbosity. Its inadequacies have led to many incompatible versions. I think the SQL#Criticisms of SQL are entirely justified. You may like to read The Third Manifesto. --Qwfp (talk) 13:41, 6 November 2010 (UTC)
Answering the query about what causes the posters problem where they waste time doing every minute thing themselves and probably putting in errors compared to just using a well debugged package, a lot of people are like this. They think they are safer if they drive a car themselves instead of being driven by a taxi or bus driver. They want to pilot the plane themselves, see [3] for how to combine your love of doing it in Excel and lack of ability to trust somebody else's work. Dmcq (talk) 13:49, 6 November 2010 (UTC)
From your brief description, I'd say much of your dislike is based on misunderstanding. Running a database query is certainly slower than, say, a RAM lookup of a known array index; the latter requires a few processor cycles while the former may require file IO. Complex operations are what databases are designed to be quick at, though. They've been optimized (for decades, in the relational case) to be much more clever than the naive solution you'd most likely come up with implementing things yourself, for instance with the use of indexes and b-trees. So, the "mathematical reason" you dislike databases is, perhaps, that you choose poor use cases to extrapolate from. Also, SQL/relational databases are by no means the only show in town database-wise; an interesting one conceptually which I had to work with recently is RDF, which is queried using SPARQL.
Thanks for disambiguating my RDF link. (talk) 21:45, 7 November 2010 (UTC)
That said, I have no great love for databases myself. Relational databases often become evil nests of bad design choices over years of use. Sometimes the best tool for the job is simply serialization of your data structures. As your structures get more complex, though, you'll almost certainly re-implement database features, possibly poorly, incorrectly, or slowly. Databases are often used for "big" data sets, say in the hundred megabyte or higher range (very approximate). Perhaps you simply haven't hit a good point to use them. (talk) 15:55, 7 November 2010 (UTC)