I said:
(There are also multiple useful,
mutually-inconsistent formal systems in both fields.)
Duncan Patton a Campbell said:
Provably so?
Reid Nichol said:
I'd love an example of Math being inconsistent. Quite frankly, I'd be
surprised if this is true.
Tony Abernethy's example of
Just recently, I said:
On the other hand, well-formed statements can talk about some of their
properties in certain systems. If worse comes to worse, you can simply
use a different system to evaluate the statement. This really does
make sense and there is information conveyed--a parallel would
of Choice, versus Zermel-Frankel set theory with the negation of
the Axiom of Choice. If you choose to continue to maintain that I am
incorrect in my claim that there are multiple useful mathematical
systems that are mutually inconsistent, please respond to that
specific example.
Eliah Kagan wrote
Ingo Schwarze wrote:
Eliah has beautifully demonstrated this for both Mathematics
and Physics. What is flabbergasting me about such questions
is that these are extremely old facts - essentially, known for
more than 70 years - and many people still believe that formal
science can be both
The following sentence is true.
The previous sentence is false.
Oh and by the way this sentence is also false.
The Liar's Paradox would not be a good example of useful mathematical
systems being mutually inconsistent, or of formal language being
imprecise or expressing non-absolute ideas.
A
On Jan 6, 2008 9:38 PM, Matthew Szudzik wrote:
Not true. Language can define the laws of of physics or of mathematics
in extremely clear, precise, and absolute terms.
Many if not most physicists and mathematicians would dispute that
statement. There are numerous important debates in the fields
On Jan 5, 2008 12:53 PM, Rui Miguel Silva Seabra wrote:
4) FYI I think the wine project is counter-productive as it enables
running non-free software on free software operating systems, and as
such de-incentivates the creation of replacements.
4.1) but it's free software and its authors
I wrote:
discouraging development of free replacements to software? What would
you need to know to actually know that Wine was ultimately
counterproductive, or ultimately productive? When it comes right down
Rui Miguel Silva Seabra wrote:
The world is not made of such extremes,
On 10/27/06, Breen Ouellette wrote:
I think your statement may be a little too broad. Not everyone who
avoids the CDs deserves shame. It's the people who only take from the
project, and never give back in kind for the high value that they have
received, who should feel ashamed.
That would
On 10/28/06, Breen Ouellette wrote:
The shame enters the picture when you place expectations for additional
output from the people giving freely. I see people griping all the time
for this or that feature, or support for this or that hardware. I see
this from people who contribute nothing and
On 10/28/06, Breen Ouellette wrote:
That same behaviour of expecting magic fixes, if it were applied to a
larger community like that of North America (sorry if you aren't from
this continent), would not be shameful in the least. People in North
American culture whine and complain for fixes from
On 10/26/06, Peter N. M. Hansteen wrote:
Most likely some time tomorrow I'll have a Thinkpad R60 with an Intel
Core Duo processor land in my lap. I wonder, would it be at all
useful to try running it with a bsd.mp kernel?
Unless you just want to use one of the two cores, bsd.mp would seem to
On 10/18/06, Nico Meijer wrote:
Hi Girish,
If you keep saying something good won't happen -- well then you can
bet it won't happen.
I don't get your point Theo.
Search the net for karma and the law of attraction. Perhaps that will
give you some insight in what -I think- Theo means.
On 7/11/06, Dan Farrell [EMAIL PROTECTED] wrote:
Insulting rhetoric has no place in a civilized debate. I actually agreed
with him, until he thought that all of this is just 'American.' It's
actually 'capitalistic', and America isn't the only country in on that
game.
I'm not sure capitalistic
On 6/26/06, Damien Miller wrote:
just please don't bug people on OpenBSD lists about private hacks
like this.
I, for one, find discussion about private hacks like this to be
valuable. And I think it falls under the heading of, Miscellaneous
discussion about OpenBSD, which happens to be the
On 6/16/06, Siju George wrote:
Hi all,
I 've been told by people ( more than one ) off list how *uncivilized*
it is to forward *private* mail publicly *even when it has some bad
content*.
And I have been asked to apologize publicly ( not by Hank Cohen ).
Without trying to Justify my points
On 6/14/06, Darrin Chandler [EMAIL PROTECTED] wrote:
I blame neither Mr. Cohen nor the lawyers. It's the decision makers at
the company who have decided this policy, which is a policy change from
years ago. Nobody else at the company is to blame. That's how
responsibility works.
No, it's not.
On 6/13/06, Marcus Watts wrote:
In this case, the vendor appears to be talking about documentation,
which means they're actually confused. EAR covers chips but not
documentation. By US law they *have* to care about the chips.
Otherwise they're not in business. However the same law and a bunch
On 6/6/06, Roger Neth Jr [EMAIL PROTECTED] wrote:
Even OpenBSDin my humble opinion, the safest operating system on the
planetis crackable, if you allow anyone to come and pound away at its
network interface.
http://www.eweek.com/article2/0,1895,1972281,00.asp
Construed literally, that would
19 matches
Mail list logo