Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

I was attacked by dselect as a small child and have since avoided debian. -- Andrew Morton


devel / comp.theory / Re: Where have all the irrationals gone?

SubjectAuthor
* Where have all the irrationals gone?wij
`* Where have all the irrationals gone?Ben Bacarisse
 `* Where have all the irrationals gone?Skep Dick
  `* Where have all the irrationals gone?Ben Bacarisse
   `- Where have all the irrationals gone?Skep Dick

1
Where have all the irrationals gone?

<2faa1e7f-fdda-4be5-a39e-456f699e06c0n@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=38780&group=comp.theory#38780

 copy link   Newsgroups: comp.theory
X-Received: by 2002:a37:6905:0:b0:6bb:5827:e658 with SMTP id e5-20020a376905000000b006bb5827e658mr7312827qkc.735.1661748138077;
Sun, 28 Aug 2022 21:42:18 -0700 (PDT)
X-Received: by 2002:a05:6902:1501:b0:697:c614:2079 with SMTP id
q1-20020a056902150100b00697c6142079mr7096620ybu.389.1661748137888; Sun, 28
Aug 2022 21:42:17 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sun, 28 Aug 2022 21:42:17 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=124.218.76.41; posting-account=A1PyIwoAAACCahK0CVYFlDZG8JWzz_Go
NNTP-Posting-Host: 124.218.76.41
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2faa1e7f-fdda-4be5-a39e-456f699e06c0n@googlegroups.com>
Subject: Where have all the irrationals gone?
From: wynii...@gmail.com (wij)
Injection-Date: Mon, 29 Aug 2022 04:42:18 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1930
 by: wij - Mon, 29 Aug 2022 04:42 UTC

What are those numbers near either sides of 1?
0.999... and 1.000..1 do not exist? Because every number approaching 1 is 1?
So, all numbers very close to π is π?
(sin(x+h)-sin(x))/h is very close to cos(x), thus, is EQUAL to cos(x).
e^k= lim(x->∞) (1+k/n)^n ... Woh! rule of exponential arithmetic re-defined!

A[0]=0
A[n]=(A[n-1]+1)/2
What is A[n] when n approaches infinity? Oh! 'when' is invalid! 'infinity' is
a concept, not a number!
But, A[∞] will? get to 1, ℝ is dense, density property is not broken.

A transcendental number is a number that is not algebraic, not the kind of
number +-*/ can yield. But ℝ is closed and complete, Oh! where are all those
irrational numbers gone?

PS. I believe TM (program,algorithm) should/would be the foundation of math.
These are for programmers.

Re: Where have all the irrationals gone?

<87wnarwaow.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=38801&group=comp.theory#38801

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben Bacarisse)
Newsgroups: comp.theory
Subject: Re: Where have all the irrationals gone?
Date: Mon, 29 Aug 2022 12:28:31 +0100
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <87wnarwaow.fsf@bsb.me.uk>
References: <2faa1e7f-fdda-4be5-a39e-456f699e06c0n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader01.eternal-september.org; posting-host="b44d778b806545e68a4720b5d618cf7a";
logging-data="1088306"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19GaQdBRoQTqzYafwyRaudtJymAIPIWTMg="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:zXvtcrD6XX4YqVzW+UPPTX7Bf4o=
sha1:JVO9ANMN1TnmMK1AKrY3xUIWGy0=
X-BSB-Auth: 1.52c8856690930b9a27e6.20220829122831BST.87wnarwaow.fsf@bsb.me.uk
 by: Ben Bacarisse - Mon, 29 Aug 2022 11:28 UTC

wij <wyniijj2@gmail.com> writes:

> What are those numbers near either sides of 1?
> 0.999... and 1.000..1 do not exist?

0.999... exists (it's another way to write 1) and infinitely many
numbers of the form 1.000...1 exist.

> Because every number approaching 1 is 1?

No number approaches 1. Sequences (and/or functions) can approach 1.
0.999... denotes a limit whose value is 1. 1.000...1 denotes a set of
numbers all slightly greater than 1.

You need a new notation. You can define 0.999___ in any way you like,
and I think you intended the ... in 1.000...1 so suggest an infinite
sequence of zero digits so you might be better off writing that as
1.(000___)1.

> So, all numbers very close to π is π?

No. Only numbers equal to n are equal to n.

> (sin(x+h)-sin(x))/h is very close to cos(x), thus, is EQUAL to
> cos(x).

No.

> A[0]=0
> A[n]=(A[n-1]+1)/2
> What is A[n] when n approaches infinity? Oh! 'when' is invalid!
> 'infinity' is a concept, not a number!

No, 'when' is fine and infinity is a concept. Why do you worry that
it's a concept? You can make it a number by stating that you are using
a number system that includes infinity.

> But, A[∞] will? get to 1, ℝ is dense, density property is not
> broken.

A[∞] is not (usually) defined, even in number systems that include
infinity because, in the usual models, ∞ - 1 = ∞.

> A transcendental number is a number that is not algebraic, not the kind of
> number +-*/ can yield.

No, they can't be got from a finite number of basic operations on
rationals.

> But ℝ is closed and complete, Oh! where are all those irrational
> numbers gone?

There are there, defined as they always have been. R is closed under
the operation of taking least upper bounds (or taking limits, or
Dedekind cuts or...). This is all basic stuff.

--
Ben.

Re: Where have all the irrationals gone?

<7fcb2e08-f05c-475b-a10f-55505278e34dn@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=38814&group=comp.theory#38814

 copy link   Newsgroups: comp.theory
X-Received: by 2002:a37:bd1:0:b0:6bc:6de1:efa7 with SMTP id 200-20020a370bd1000000b006bc6de1efa7mr8453453qkl.651.1661777733012;
Mon, 29 Aug 2022 05:55:33 -0700 (PDT)
X-Received: by 2002:a0d:cb45:0:b0:33d:cf75:5f67 with SMTP id
n66-20020a0dcb45000000b0033dcf755f67mr9571160ywd.494.1661777732741; Mon, 29
Aug 2022 05:55:32 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Mon, 29 Aug 2022 05:55:32 -0700 (PDT)
In-Reply-To: <87wnarwaow.fsf@bsb.me.uk>
Injection-Info: google-groups.googlegroups.com; posting-host=45.222.25.52; posting-account=ZZETkAoAAACd4T-hRBh8m6HZV7_HBvWo
NNTP-Posting-Host: 45.222.25.52
References: <2faa1e7f-fdda-4be5-a39e-456f699e06c0n@googlegroups.com> <87wnarwaow.fsf@bsb.me.uk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7fcb2e08-f05c-475b-a10f-55505278e34dn@googlegroups.com>
Subject: Re: Where have all the irrationals gone?
From: skepdic...@gmail.com (Skep Dick)
Injection-Date: Mon, 29 Aug 2022 12:55:33 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1481
 by: Skep Dick - Mon, 29 Aug 2022 12:55 UTC

On Monday, 29 August 2022 at 13:28:34 UTC+2, Ben Bacarisse wrote:
> No number approaches 1. Sequences (and/or functions) can approach 1.
But the Real numbers ARE sequences/functions (of Natural numbers) in the right topoi/model of computation!

https://ncatlab.org/nlab/show/function+realizability

Surely you must mean something else with those words?

Re: Where have all the irrationals gone?

<87fshfw2iy.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=38820&group=comp.theory#38820

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben Bacarisse)
Newsgroups: comp.theory
Subject: Re: Where have all the irrationals gone?
Date: Mon, 29 Aug 2022 15:24:53 +0100
Organization: A noiseless patient Spider
Lines: 17
Message-ID: <87fshfw2iy.fsf@bsb.me.uk>
References: <2faa1e7f-fdda-4be5-a39e-456f699e06c0n@googlegroups.com>
<87wnarwaow.fsf@bsb.me.uk>
<7fcb2e08-f05c-475b-a10f-55505278e34dn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader01.eternal-september.org; posting-host="b44d778b806545e68a4720b5d618cf7a";
logging-data="1157278"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/IGoWIFo1Yq2L4alYPT6kTxdVw3sD0x3w="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:oTpwU+7adLfpkqRhH3YElb5b4tQ=
sha1:JF8b2khiPcFGxGxwLc9AeGAXNgo=
X-BSB-Auth: 1.487ba69227f255808ea4.20220829152453BST.87fshfw2iy.fsf@bsb.me.uk
 by: Ben Bacarisse - Mon, 29 Aug 2022 14:24 UTC

Skep Dick <skepdick22@gmail.com> writes:

> On Monday, 29 August 2022 at 13:28:34 UTC+2, Ben Bacarisse wrote:
>> No number approaches 1. Sequences (and/or functions) can approach 1.
> But the Real numbers ARE sequences/functions (of Natural numbers) in
> the right topoi/model of computation!

And also in the right model of the reals. Do you think that's what Wij
was talking about? Since he denies that convergent sequences define
numbers, that seems highly unlikely.

You may not believe it, but I try to discuss matters in good faith, and
that almost always involves making an effort to reply based on what the
author is most likely talking about.

--
Ben.

Re: Where have all the irrationals gone?

<215cb8f7-fd40-48cd-bcd8-0a6cfdf9262bn@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=38843&group=comp.theory#38843

 copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:620a:470b:b0:6bb:61ca:9ae9 with SMTP id bs11-20020a05620a470b00b006bb61ca9ae9mr9131263qkb.36.1661801472162;
Mon, 29 Aug 2022 12:31:12 -0700 (PDT)
X-Received: by 2002:a25:2e50:0:b0:669:9a76:beb with SMTP id
b16-20020a252e50000000b006699a760bebmr9485902ybn.597.1661801471795; Mon, 29
Aug 2022 12:31:11 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Mon, 29 Aug 2022 12:31:11 -0700 (PDT)
In-Reply-To: <87fshfw2iy.fsf@bsb.me.uk>
Injection-Info: google-groups.googlegroups.com; posting-host=45.222.25.52; posting-account=ZZETkAoAAACd4T-hRBh8m6HZV7_HBvWo
NNTP-Posting-Host: 45.222.25.52
References: <2faa1e7f-fdda-4be5-a39e-456f699e06c0n@googlegroups.com>
<87wnarwaow.fsf@bsb.me.uk> <7fcb2e08-f05c-475b-a10f-55505278e34dn@googlegroups.com>
<87fshfw2iy.fsf@bsb.me.uk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <215cb8f7-fd40-48cd-bcd8-0a6cfdf9262bn@googlegroups.com>
Subject: Re: Where have all the irrationals gone?
From: skepdic...@gmail.com (Skep Dick)
Injection-Date: Mon, 29 Aug 2022 19:31:12 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3284
 by: Skep Dick - Mon, 29 Aug 2022 19:31 UTC

On Monday, 29 August 2022 at 16:24:56 UTC+2, Ben Bacarisse wrote:
> Skep Dick <skepd...@gmail.com> writes:
>
> > On Monday, 29 August 2022 at 13:28:34 UTC+2, Ben Bacarisse wrote:
> >> No number approaches 1. Sequences (and/or functions) can approach 1.
> > But the Real numbers ARE sequences/functions (of Natural numbers) in
> > the right topoi/model of computation!
> And also in the right model of the reals.
No idea what you mean by "right" model, but in the topos I have in mind (e.g NOT the effective topos) all functions are computable.
So you can absolutely represent the reals, but only computable operations ON the reals can be realized.

Standard realizability interpretation stuff.

>Do you think that's what Wij was talking about?
Yes! Very much so. The function realizability topos is a very nice place to do Mathematics. You get to drop the silly Turing Machine restriction where you can't handle IO/interaction with the outside world.
That's a super neat property. Don't you think? It naturally agrees with human intuition about how computation works (we actually interact with, and measure the real world to obtain "real numbers").

https://ncatlab.org/nlab/show/realizability

>Since he denies that convergent sequences define numbers, that seems highly unlikely.
Oh, I absolutely deny that claim also! I have absolutely no idea whether an infinite sequence from Baire space are "convergent" or "divergent". I just know that each sequence represents a Real number.

Of course this may be a semantic gap here. Does an infinite sequence which represents a Real number "define it"? "describe it" ? "Represent it"?

Labels, labels, labels! What do they mean?

> You may not believe it, but I try to discuss matters in good faith, and
> that almost always involves making an effort to reply based on what the
> author is most likely talking about.
You may not believe it, but I also try to discuss matters in good faith, and tha talmost always involves making an effort to reply basd on what the author needs.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor