Hold on a second. A theorem is code. You can write out a theorem as a set of inference rules operating on expressions. The chain of expressions eventually arrives at a given result with a given provable property.
While in principle that can be done, that is not how humans write mathematics. Not even remotely similar. Take a look at, say, Perelman's papers on arXiv on the Poincare conjecture, for example.
Indeed. I have already drafted a proposla, which you can find at d342cc19-1153-4e87-a957-f9d39f28b160 with all the details worked out. You can mail me at f89fa712-1117-4ee5-9d2c-9733900c00db if you want more information. The mailing list is at 57dfdf23-0601-4c84-8e72-c70bf5387de8. By the way, 13691030-4d47-4d56-8286-5323dda8b017, 8af03a28-9cc7-4e5e-a5d3-e15d0ab9b4ab and 47d12fec-93dc-494a-88c0-0ad5961b959d might also interest you.
While it's entirely possible to just pull up a vi/emacs and write straight Docbook or LaTeX - and I've done it for some documents - I find it tends to have a chilling effect on both my creativity and my attention to content detail if I'm trying to think about content and presentation/formatting at the same time.
If you are writing DocBook or LaTeX by hand, and are thinking at the samre time about presentation and formatting you are doing it very, very wrong.
idealists search of a balance of the good and the evil in the human mind with the goal of liberating man from baseless morality and bringing out the true essence of man, which is one of capability and power.
Hmm. I have no idea who or what you are talking about here. The only one person I can think of that fits this decription is Russel, yet I have the impression you really meant something else...
Interesting rant, but I've never worked somewhere where we're not using Windows. They could teach both, but if they take away Windows it will make finding a half-decent job that much harder for these kids.
You are assuming that the current situation is not going to change, which is a rather wild assumption...
I would say that, in general, an education whose usefulness depends on things not changing is a bad education. Would't you?
The thing is: you release some code under BSD, I take your code, modify it, and use it in my SuperPropietary App 3000, and distribute it to users. And because I am so inclined, and because your license allows me to, I refuse to give them the code to my modifications.
There. That's how the user is restricted from the code and its derivative works.
Yeah. And figuring out the correct frequences by trying to minimize the noise made by the monitor! When kids these days talk about how hard installing Ubuntu or Fedora or whatever is, I want to hit them with a big bat...
Slashdot Mirror
<span style="background-sound:britney.ogg">Maybe that mainstream is not that good at making choices?<span>
Also, the proposals will be laughed at by any constitution honoring US administration.
Let us hope, then, that the next administration will be one of those, for a change...
Hold on a second. A theorem is code. You can write out a theorem as a set of inference rules operating on expressions. The chain of expressions eventually arrives at a given result with a given provable property.
While in principle that can be done, that is not how humans write mathematics. Not even remotely similar. Take a look at, say, Perelman's papers on arXiv on the Poincare conjecture, for example.
math is a rather logical science which is often pretty easy to verify
You are clearly not familiar with leading-edge math. There are lots of papers published which are extremely difficult to check.
Indeed. I have already drafted a proposla, which you can find at d342cc19-1153-4e87-a957-f9d39f28b160 with all the details worked out. You can mail me at f89fa712-1117-4ee5-9d2c-9733900c00db if you want more information. The mailing list is at 57dfdf23-0601-4c84-8e72-c70bf5387de8. By the way, 13691030-4d47-4d56-8286-5323dda8b017, 8af03a28-9cc7-4e5e-a5d3-e15d0ab9b4ab and 47d12fec-93dc-494a-88c0-0ad5961b959d might also interest you.
Of course, that does not do anything against crazy theocracies and brutal two-party governments...
All the governments that don't have the same level of free speech (pretty much just the US) delve into censorship via guise of morality.
Indeed, the US government even had the clarity of mind to come up with free speech zones!
Actually LaTeX has changed \emph{very} little since June 1994.
While it's entirely possible to just pull up a vi/emacs and write straight Docbook or LaTeX - and I've done it for some documents - I find it tends to have a chilling effect on both my creativity and my attention to content detail if I'm trying to think about content and presentation/formatting at the same time.
If you are writing DocBook or LaTeX by hand, and are thinking at the samre time about presentation and formatting you are doing it very, very wrong.
idealists search of a balance of the good and the evil in the human mind with the goal of liberating man from baseless morality and bringing out the true essence of man, which is one of capability and power.
Hmm. I have no idea who or what you are talking about here. The only one person I can think of that fits this decription is Russel, yet I have the impression you really meant something else...
In what way does top interact with the network?!
Wow. One of the differences is that the top command in OpenSolaris is less CPU intensive... Wow.
How hard would it be to have one connector, say, per voltage?
Your idea that nerds do not care about politics is simply wrong.
And yet those red alarms are not raised when they use IE?
Because the old code plainly does not work? You would no have articles such as this if that were not the case...
Because we all know that the Mozilla foundation provides lots of guarantees on the software they package?
Interesting rant, but I've never worked somewhere where we're not using Windows. They could teach both, but if they take away Windows it will make finding a half-decent job that much harder for these kids.
You are assuming that the current situation is not going to change, which is a rather wild assumption...
I would say that, in general, an education whose usefulness depends on things not changing is a bad education. Would't you?
And we all know school kids simply cannot live without CMYK separation...
If you compile your code with a gcc, in absolutely no way does your code become GPL'ed.
After all these years, one would have expected this trivialities to be better known...
There is a difference between supporting the code and having it sit in an FTP server.
Hey! Don't do that! That is my min macro!
Wow.
The thing is: you release some code under BSD, I take your code, modify it, and use it in my SuperPropietary App 3000, and distribute it to users. And because I am so inclined, and because your license allows me to, I refuse to give them the code to my modifications.
There. That's how the user is restricted from the code and its derivative works.
Yeah. And figuring out the correct frequences by trying to minimize the noise made by the monitor! When kids these days talk about how hard installing Ubuntu or Fedora or whatever is, I want to hit them with a big bat...
He's probably using the correct definition whereby a platform is quite a bit more than an OS...