sci.math Google Group

Re: Implementable Set Theory and Consistency of ZFC

cbr...@cbrownsystems.com — Fri, 22 Aug 2008 04:04:42 UT

On Aug 21, 9:32 am, Brian Chandler <imaginator...@despammed.com>
wrote:
By law, if you look at the bottom of the package, you should see
something along the lines of 'BEST DEBUNKED BEFORE 23 AUG 2008".
Cheers - Chas

Integer Solutions for Expanded Pythagorean Triples of the Form b^n=((c+a)^(n-1))*(c-a)

reri...@gmail.com (rer) — Fri, 22 Aug 2008 03:36:35 UT

Pythagorean triples are integer solutions to the equation:
a^2+b^2=c^2
If u and v are positive integers, with v>u and a=v^2-u^2, b=2uv, and
c=v^2+u^2 provides integer solutions to a^2+b^2=c^2
Now a^2+b^2=c^2 can be rewritten as:
b^2=c^2-a^2
and further to
b^2=(c+a)(c-a)
Consider then integer solutions to the more general equation (where n

Re: GPS Math

birdhal...@yahoo.com — Fri, 22 Aug 2008 03:32:06 UT

Yea man i don't mind an ideal approach. But the explanation of your
terms on your page sucks. Readabilty&Format -5.
Stop bothering the Quakers.

Re: Outofprintmath (was: Re: Rudin and Dedekind cuts)

jazzm...@hotmail.com (MoeBlee) — Fri, 22 Aug 2008 03:12:00 UT

a generous and interesting post.
Thanks, Tim, for that post, and for your project.
MoeBlee

Re: Godel Incompleteness Theorem

jazzm...@hotmail.com (MoeBlee) — Fri, 22 Aug 2008 03:07:03 UT

I don't. As I recall, there are more than two sorts. I mentioned that
explicitly.
So what is that there is nothing at all errant in Tim mentioning that
to be faithful to Godel's formulations but in terms of more
contemporary terminology and methods, we could describe his informal
meta-language as multi-sorted (or however exactly Tim couched the

Re: The Jihad Candidate

han...@quick.net (hanson) — Fri, 22 Aug 2008 03:04:08 UT

-------- AHAHAHAHAHA... ahahahaha... AHAHAHA... -------
Thanks for giving me the microphone to keep the thread
open so that I can point my finger at the causes of the issue:
therm...@india.com , a genuine ass-venter, [6] cranked
... have you gone mad ? The ZIONIST MEDIA never barked
that it was a jew or a yank bastard when those fake anthrax

Re: Godel Incompleteness Theorem

jazzm...@hotmail.com (MoeBlee) — Fri, 22 Aug 2008 02:52:21 UT

The language of the formal system P in Godel's paper.
Godel correlates symbols and expressions of the formal system with
natural numbers (what we now call "Godel numbering"). At certain
points, he is as emphatic to say that the symbols and expressions ARE
natural numbers. At other times, he lets the matter rest on the notion

Re: 3 valued halting function

h...@r.c (|-|erc) — Fri, 22 Aug 2008 02:37:56 UT

"hagman" <goo...@von-eitzen.de> wrote ...
Its just a function like
function timestwo (x)
return 2 * x
There are unlimited (analagous) ways in which it can be written, but they all must give
the same result.
a clever compiler will reduce that into something simpler, that returns 0
so it halts. It's not critical though, a 'self-reference' response would be

Re: Dear Newsgroup

amz...@gmail.com (amzoti) — Fri, 22 Aug 2008 02:37:02 UT

Well, both postings are nuts - so what is the difference?

Re: 3 valued halting function

h...@r.c (|-|erc) — Fri, 22 Aug 2008 02:30:51 UT

"David Bernier" <david...@videotron.ca> wrote ...
I missed that part of the discussion as it was in sci.math only.
I'm not sure what your division here is for (10^POW)/(10^1000000000000)
it seems you're trying to get main to emulate busy beaver in a manner
that is guaranteed to halt, so the values will be equal.

Re: Godel Incompleteness Theorem

tc...@lsa.umich.edu — Fri, 22 Aug 2008 02:20:53 UT

Sorry, a more precise URL is [link]

Re: Godel Incompleteness Theorem

tc...@lsa.umich.edu — Fri, 22 Aug 2008 02:19:14 UT

In article <dae3df42-15b0-48df-bcd5-86f0e 9219...@z72g2000hsb.googlegrou ps.com>,
You're right about the level of rational discussion. This is USENET,
after all!
But more to the point, when it became clear that you were pretending to be
a fan of your own book, and were not really interested in understanding

Re: Godel Incompleteness Theorem

jazzm...@hotmail.com (MoeBlee) — Fri, 22 Aug 2008 02:17:04 UT

Of course it is true that we can't analyze natural language in EVERY
respect JUST as we do formal languages. But I did not say that we
can't analyze Godel's informal meta-language in his paper.
I said, [emphasis added] "I'M NOT SAYING THAT WE CAN'T ANALYZE
LANGUAGE. Rather, I'm saying that your particular choice to regard 'a

Re: Rudin and Dedekind cuts

pete_delete_kli...@sbcglobal_delete_.net (Pete Klimek) — Fri, 22 Aug 2008 02:01:25 UT

I don't know how responsive they are, but the below link contains an option
(Editorial dept.) to suggest books for Dover to consider publishing:
[link]
Pete K.

Outofprintmath (was: Re: Rudin and Dedekind cuts)

tc...@lsa.umich.edu — Fri, 22 Aug 2008 01:54:57 UT

In article <0ggra45d7e4nsvgfue3tq2v5ka2as 32...@4ax.com>,
I can speak to this, since the site was originally my idea (though Klaus
Schmid did all the work implementing it).
Since the site is new, the most urgent task in my mind is to try to make
sure more people know about it. I advertised it on Terry Tao's blog, as