And all of those rely on 'axioms' aka assumptions too. Admittedly there aren't many of them (five arithmetic and eight geometric if I remember my first year), but still, nothing is provably 'true' on its own merits.
Math is a little more sophisticated than that. Classical formlist mathematics relies on axioms. Many constructive varients of mathematics do not rely on theories. I guess my point is that there is not one mathematics. Depending on the philosophical foundation you take for mathematics, you get a different math with different semantics and possibly the ability to prove different things.
For example, truth in some forms of math means "can be proven". Hence things can be proven to be true in said types of math.
So sorry to burst your overly simplistic view of "mathematics", but there is such a thing as true proof.
Don't be surprised that you were taught mathematics in a heavily biased way that most likely only presented some form of Platonic formal mathematics, which proves the existence of mathematics objects that are presupposed to exist in an ideal realm. Don't tell me that you took the rigor of the math you were taught based on trust or faith?
Uh oh, am I pointing out that the entire foundation of your science AND your math is religious in nature?
You do know that there is another popular name for the Platonic ideal realm... Christians call it "heaven". Everything is perfect there.
By way of example, one of the axioms is that parallel lines never meet. We don't actually know if that's true, but it's pretty close. If we do turn out to live in a curved universe, we'll have to throw away some bits of maths.
I won't even begin to touch on the fact that the axioms of the math you studied are not based on assumptions about the physical world, but I guess if you pervert the Platonic ideal an extreme you could end up with a mathematics whose truth depends on the existence of things in the immediate physical world instead of a Platonic deal realm.
Give me a break. Prince of Persian (POP) had its share of bugs too. I have an XBOX save game for POP where the girl somehow got stuck really far behind, and the prince will be talking to her, but she is about 2 miles away so you can't hear her. It looks really funny because he is talking to thin air. The bug is bad because it ruins your save game.
It happened about 25% of the way through the game, and I didn't notice it was a bug until far later. I mean, there are times where you are supposed to separate from the girl... AND there are times when the prince talks to himself... so after a relatively long time and several save points later... I realize that the prince isn't talking to himself, but instead he is talking to the girl who is not there.
It wasn't long after that that the game would randomly stop with the prince saying "no no no, it didn't happen like that". Which only happens when either the prince or the girl dies. I couldn't retrace my steps because there are parts in the game where you can't backtrack because of the level design...
So yeah, lost allot of advancement through the game and had to reload a save game from a ways back. Ever since that monster of a bug, I would actually get worried when the prince got separated from the girl... not because of the story line, but because I was worried about the mother of all bugs returning to ruin yet another save game.
If that is polish, I am glad that I don't buy many new games these days. Also note that this bug didn't happen because of some weird thing I did as a player... I just played in a very normal way. The girl just got separated from me somewhere along the way... probably some broken pathing thing or something.
If you like WMP 6.4, then consider using Media Player Classic instead, as it is similar to WMP 6.4 with regards to fast performance and minimalist graphical interface. However, Media Player Classic goes beyond that and also supports every media codec out there: Quicktime, Real, Windows, Divx, Xvid, etc...
MPC is the one player for all. It is also free and open source. It is simply the best media player for Windows... and in fact, it is the best media player for any OS!
I find your post strange, as I do all of my work on a Linux desktop, and I use both Linux desktops and servers at home. If Linux isn't usable, then what the hell are so many people using it for?
Not just that, but the type of feedback you mention is also already being given to open source projects, regardless of corporate desktop exposure.
This is a common aspect of Gnome vs KDE. KDE is well designed, highly modular, and therefore all KDE based apps can load files from a host of different file systems, protocols, etc... ftp, smb, scp, etc...
Gnome on the other hand lacks modularity, lacks a coherent design, and therefore each app must re-invent each wheel.
When I used to run Windows, I exclusively used Media Player Classic, as it was free, open source, and supported every video format: quicktime, real, windows, divx, xvid, etc...
Oh and it was efficient, fast, and had a nice simple graphical interface.
I tell every Windows user that I know that they are a fool if they are running any other media player. Media Player Classic does it all and does it well.
I use 100% Linux now, and mplayer is my choice on Linux... however, Media Player Classic is simply a better media player than mplayer... at least as of now.
Both are free and open source, but Media Player Classic performs better in all categories.
I hated how Windows Media Player got all slow and bloated... Media Player Classic shares only the efficient interface of the old Windows Media Player... everything else is new open source code.
Oh, sorry. I haven't read the book, and it just bugs me when people think that mathematical objects are best described using verbose english prose, e.g. COBOL.
The fact that the full Debian distro is 13 CDs is a great thing! You really only need one CD and the rest can be installed over the net. In addition, having every piece of software you would ever want packaged and available from a huge variety of standardized apt-get'able servers makes software installation, maintenance, and removal extremely easy!
It should be noted that this is common practice in the mathematical community... that is a heavy use of formalisms. I would disagree that mathematicians do it to appear "leet". If you have a better idea for communicating mathematical ideas, please fill us in. You might just invent the COBOL of mathematics!
errr, uhhh... wait a second... COBOL wasn't a good thing, that is, natural language sucks at communicating a restricted type of mathematics: algorithms. You can bet it would suck at communicating mathematical ideas too.
You are implicitly equating two different mathematical concepts which are often times referred to using the same word "infinite":
1. unbounded 2. infinite
Something that is unbounded can "keep going" forever, but infinite is something different. It is the idea that you can reason about a completed unbounded thing. Yes, the notion of a completed unbounded "thing" is problematic (almost self contradicting) and much has been written on the subject especially with regards to foundations of mathematics.
I would say that the modern notion of infinity is definitely newer than the modern notion of zero.
Intentional, unintentional, accidental, indifference, etc... whatever the motive, people are dying, an entire nation is destablized and now a breeding ground for terrorism.
So my point is that even if our administration's intentions are good, the end result is as bad or worse than the results Sadaam had been recently providing.
Your argument reminds me of the argument for communism. "We all have good intentions, so just ignore the corpses".
My response is that it is getting really hard to ignore all of the dead bodies.
Has Osama ever stated that he hates us because we are a free, capitalist nation? If so, please post a reference link to your source of Osama's translated message.
Where did you get that info? Osama himself has stated for years, the following for hating the USA: 1. USA troops in Saudi Arabia 2. USA support of Israeli oppression of Palestinians
After 911 and the invasion of Afganistan, he has added: 3. USA's invasion of Afganistan
Now after the invasion of Iraq, Osama has added: 4. USA's invasion of Iraq
Nowhere has he stated that he hates us for our freedom of religion, etc... He has always listed a relatively concise agenda of his hatred for the USA. Now, our Prez Bush claims otherwise... but thats just more lies from a liar.
Oh give me a break. I just watched on ABC News, last night, how a van of innocent Iraqi news reporters were shot and killed. I am sure there is public review of what the soldiers did before they killed those people.
Are you telling me that there is a robust functioning civilization in Iraq? You think the people have any civil rights as of now?
The USA has become Sadaam, in order to replace Sadaam.
You can thank Bush and crew for this mess. Nothing good will come of it, and people have been saying that since before the war... in fact, most of the world has been saying that since before the war.
I have been using Redhat/Fedora for a year now, and I have been using apt for rpm with it. From my past experiences with Debian, I must admit that apt for rpm on Fedora has fewer packages to choose from, and in order to get a good selection, you tend to have to use several package repositories that conflict with eachother... ends up being pretty unstable....I am considering making a switch from Fedora to Debian once Sarge is released.
GNOME does NOT provide everything a power user would want. I know this because I have been using it and only it for a year now on Redhat. One main feature that it lacks is a good file manager. Nautilus is a POS. Sorry, but its true. I have recently been toying around with KDE 3.2... and it looks like I will be switching to KDE this summer.
Yeah, and as far as I can tell most popular Linux distros come with a user-friendly package management system... well at least Debian and Fedora, which both provide apt and GUIs ontop of that system.
In fact, isn't that all that Lindows is doing? I fail to see why people think installing software on Linux is difficult... however, average joe users simply shouldn't be installing software. I see no reason why they would need to do so, if various desktop apps were already installed like a browser, media players, etc...
I didn't vote for Clinton, but thanks for exposing your bias. Also, if Bush didn't lie, then he must be incompetent as the CIA was saying the intelligence was faulty.
No, I am talking about the government subsidizing the laying of fiber... just as they did with the national highway system. Private companies still make and sell the products and services. Better to spend tax dollars on something like that, as opposed to funding a war.
Brute forcing asymetric encryption is impossible once the key size reaches a certain bit length, as the brute force operation is exponential in the length of the keys. You would eventually get the point where it would take the entire life of the universe to crack the keys.
Exactly, people across the board have reason to NOT vote for Bush this year. The religious right should be concerned with the fact that Bush lied to get us to go to war. Last time I checked, not telling the truth is a sin.
Now if Bush tries to use the excuse that he didn't know, even though the CIA and many others knew better... well that makes Bush incompetent.
So Bush is either a liar or incompetent. Either way, Kelly is definitely the lesser of two evils, so unless you find one of the 3rd parties interesting... it should be obvious how to vote: that is NOT for Bush in 2004.
1. He lied in order to drag our country into war (with Iraq) that has cost of almost a hundred billion dollars and will most likely cost billions more. It also resulted in over 10 thousand deaths, far more than Osama's kill count. Just imagine if Bush decided to convince the country to put hundreds of billions of dollars into rewiring our telecom infustructure with fiber to the curb? We would be having a dot-com boom that would make the 90s look like nothing!
2. His and his VP's connections with corporate fraudsters such as Enron. Corruption, not terrorism, will be the end of this great country. Look at other countries that have turned to crap... it starts with a little corruption and that corruption slowly grows until it can no longer be handled. Then your country ends up like Haiti or some other banana republic.
Number 1 is grounds for treason, while number 2 is grounds for impeachment. I am sorry, but I will NOT be voting for Bush this time around.
Slashdot Mirror
Math is a little more sophisticated than that. Classical formlist mathematics relies on axioms. Many constructive varients of mathematics do not rely on theories. I guess my point is that there is not one mathematics. Depending on the philosophical foundation you take for mathematics, you get a different math with different semantics and possibly the ability to prove different things.
For example, truth in some forms of math means "can be proven". Hence things can be proven to be true in said types of math.
So sorry to burst your overly simplistic view of "mathematics", but there is such a thing as true proof.
Don't be surprised that you were taught mathematics in a heavily biased way that most likely only presented some form of Platonic formal mathematics, which proves the existence of mathematics objects that are presupposed to exist in an ideal realm. Don't tell me that you took the rigor of the math you were taught based on trust or faith?
Uh oh, am I pointing out that the entire foundation of your science AND your math is religious in nature?
You do know that there is another popular name for the Platonic ideal realm... Christians call it "heaven". Everything is perfect there.
I won't even begin to touch on the fact that the axioms of the math you studied are not based on assumptions about the physical world, but I guess if you pervert the Platonic ideal an extreme you could end up with a mathematics whose truth depends on the existence of things in the immediate physical world instead of a Platonic deal realm.
Give me a break. Prince of Persian (POP) had its share of bugs too. I have an XBOX save game for POP where the girl somehow got stuck really far behind, and the prince will be talking to her, but she is about 2 miles away so you can't hear her. It looks really funny because he is talking to thin air. The bug is bad because it ruins your save game.
It happened about 25% of the way through the game, and I didn't notice it was a bug until far later. I mean, there are times where you are supposed to separate from the girl... AND there are times when the prince talks to himself... so after a relatively long time and several save points later... I realize that the prince isn't talking to himself, but instead he is talking to the girl who is not there.
It wasn't long after that that the game would randomly stop with the prince saying "no no no, it didn't happen like that". Which only happens when either the prince or the girl dies. I couldn't retrace my steps because there are parts in the game where you can't backtrack because of the level design...
So yeah, lost allot of advancement through the game and had to reload a save game from a ways back. Ever since that monster of a bug, I would actually get worried when the prince got separated from the girl... not because of the story line, but because I was worried about the mother of all bugs returning to ruin yet another save game.
If that is polish, I am glad that I don't buy many new games these days. Also note that this bug didn't happen because of some weird thing I did as a player... I just played in a very normal way. The girl just got separated from me somewhere along the way... probably some broken pathing thing or something.
Actually SageTV costs more than $60, because it runs on Windows... which costs about $140... so SageTV costs $200 while MythTV costs $0.
If you like WMP 6.4, then consider using Media Player Classic instead, as it is similar to WMP 6.4 with regards to fast performance and minimalist graphical interface. However, Media Player Classic goes beyond that and also supports every media codec out there: Quicktime, Real, Windows, Divx, Xvid, etc...
MPC is the one player for all. It is also free and open source. It is simply the best media player for Windows... and in fact, it is the best media player for any OS!
I find your post strange, as I do all of my work on a Linux desktop, and I use both Linux desktops and servers at home. If Linux isn't usable, then what the hell are so many people using it for?
Not just that, but the type of feedback you mention is also already being given to open source projects, regardless of corporate desktop exposure.
This is a common aspect of Gnome vs KDE. KDE is well designed, highly modular, and therefore all KDE based apps can load files from a host of different file systems, protocols, etc... ftp, smb, scp, etc...
Gnome on the other hand lacks modularity, lacks a coherent design, and therefore each app must re-invent each wheel.
When I used to run Windows, I exclusively used Media Player Classic, as it was free, open source, and supported every video format: quicktime, real, windows, divx, xvid, etc...
Oh and it was efficient, fast, and had a nice simple graphical interface.
I tell every Windows user that I know that they are a fool if they are running any other media player. Media Player Classic does it all and does it well.
I use 100% Linux now, and mplayer is my choice on Linux... however, Media Player Classic is simply a better media player than mplayer... at least as of now.
Both are free and open source, but Media Player Classic performs better in all categories.
I hated how Windows Media Player got all slow and bloated... Media Player Classic shares only the efficient interface of the old Windows Media Player... everything else is new open source code.
Oh, sorry. I haven't read the book, and it just bugs me when people think that mathematical objects are best described using verbose english prose, e.g. COBOL.
The fact that the full Debian distro is 13 CDs is a great thing! You really only need one CD and the rest can be installed over the net. In addition, having every piece of software you would ever want packaged and available from a huge variety of standardized apt-get'able servers makes software installation, maintenance, and removal extremely easy!
It should be noted that this is common practice in the mathematical community... that is a heavy use of formalisms. I would disagree that mathematicians do it to appear "leet". If you have a better idea for communicating mathematical ideas, please fill us in. You might just invent the COBOL of mathematics!
errr, uhhh... wait a second... COBOL wasn't a good thing, that is, natural language sucks at communicating a restricted type of mathematics: algorithms. You can bet it would suck at communicating mathematical ideas too.
You are implicitly equating two different mathematical concepts which are often times referred to using the same word "infinite":
1. unbounded
2. infinite
Something that is unbounded can "keep going" forever, but infinite is something different. It is the idea that you can reason about a completed unbounded thing. Yes, the notion of a completed unbounded "thing" is problematic (almost self contradicting) and much has been written on the subject especially with regards to foundations of mathematics.
I would say that the modern notion of infinity is definitely newer than the modern notion of zero.
Intentional, unintentional, accidental, indifference, etc... whatever the motive, people are dying, an entire nation is destablized and now a breeding ground for terrorism.
So my point is that even if our administration's intentions are good, the end result is as bad or worse than the results Sadaam had been recently providing.
Your argument reminds me of the argument for communism. "We all have good intentions, so just ignore the corpses".
My response is that it is getting really hard to ignore all of the dead bodies.
Has Osama ever stated that he hates us because we are a free, capitalist nation? If so, please post a reference link to your source of Osama's translated message.
Where did you get that info? Osama himself has stated for years, the following for hating the USA:
1. USA troops in Saudi Arabia
2. USA support of Israeli oppression of Palestinians
After 911 and the invasion of Afganistan, he has added:
3. USA's invasion of Afganistan
Now after the invasion of Iraq, Osama has added:
4. USA's invasion of Iraq
Nowhere has he stated that he hates us for our freedom of religion, etc... He has always listed a relatively concise agenda of his hatred for the USA. Now, our Prez Bush claims otherwise... but thats just more lies from a liar.
Oh give me a break. I just watched on ABC News, last night, how a van of innocent Iraqi news reporters were shot and killed. I am sure there is public review of what the soldiers did before they killed those people.
Are you telling me that there is a robust functioning civilization in Iraq? You think the people have any civil rights as of now?
The USA has become Sadaam, in order to replace Sadaam.
You can thank Bush and crew for this mess. Nothing good will come of it, and people have been saying that since before the war... in fact, most of the world has been saying that since before the war.
I have been using Redhat/Fedora for a year now, and I have been using apt for rpm with it. From my past experiences with Debian, I must admit that apt for rpm on Fedora has fewer packages to choose from, and in order to get a good selection, you tend to have to use several package repositories that conflict with eachother... ends up being pretty unstable. ...I am considering making a switch from Fedora to Debian once Sarge is released.
GNOME does NOT provide everything a power user would want. I know this because I have been using it and only it for a year now on Redhat. One main feature that it lacks is a good file manager. Nautilus is a POS. Sorry, but its true. I have recently been toying around with KDE 3.2... and it looks like I will be switching to KDE this summer.
Yeah, and as far as I can tell most popular Linux distros come with a user-friendly package management system... well at least Debian and Fedora, which both provide apt and GUIs ontop of that system.
In fact, isn't that all that Lindows is doing? I fail to see why people think installing software on Linux is difficult... however, average joe users simply shouldn't be installing software. I see no reason why they would need to do so, if various desktop apps were already installed like a browser, media players, etc...
Did you ever stop to think that "average joe" users should be installing software? Maybe thats the source of all the spyware.
In fact, a properly configured OS installation for the average joe should have everything they would want to use pre-installed and tweaked for them.
I didn't vote for Clinton, but thanks for exposing your bias. Also, if Bush didn't lie, then he must be incompetent as the CIA was saying the intelligence was faulty.
No, I am talking about the government subsidizing the laying of fiber... just as they did with the national highway system. Private companies still make and sell the products and services. Better to spend tax dollars on something like that, as opposed to funding a war.
Brute forcing asymetric encryption is impossible once the key size reaches a certain bit length, as the brute force operation is exponential in the length of the keys. You would eventually get the point where it would take the entire life of the universe to crack the keys.
Exactly, people across the board have reason to NOT vote for Bush this year. The religious right should be concerned with the fact that Bush lied to get us to go to war. Last time I checked, not telling the truth is a sin.
Now if Bush tries to use the excuse that he didn't know, even though the CIA and many others knew better... well that makes Bush incompetent.
So Bush is either a liar or incompetent. Either way, Kelly is definitely the lesser of two evils, so unless you find one of the 3rd parties interesting... it should be obvious how to vote: that is NOT for Bush in 2004.
The main problems with Bush are:
1. He lied in order to drag our country into war (with Iraq) that has cost of almost a hundred billion dollars and will most likely cost billions more. It also resulted in over 10 thousand deaths, far more than Osama's kill count. Just imagine if Bush decided to convince the country to put hundreds of billions of dollars into rewiring our telecom infustructure with fiber to the curb? We would be having a dot-com boom that would make the 90s look like nothing!
2. His and his VP's connections with corporate fraudsters such as Enron. Corruption, not terrorism, will be the end of this great country. Look at other countries that have turned to crap... it starts with a little corruption and that corruption slowly grows until it can no longer be handled. Then your country ends up like Haiti or some other banana republic.
Number 1 is grounds for treason, while number 2 is grounds for impeachment. I am sorry, but I will NOT be voting for Bush this time around.