Deutsch English Français Italiano |
<871q6g62o0.fsf@bsb.me.uk> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!2.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!news.gegeweb.eu!gegeweb.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Ben Bacarisse <ben.usenet@bsb.me.uk> Newsgroups: comp.theory Subject: Re: Real Number --- Merely numbers whose digits can be infinitely long Date: Sun, 05 May 2024 10:14:39 +0100 Organization: A noiseless patient Spider Lines: 36 Message-ID: <871q6g62o0.fsf@bsb.me.uk> References: <c10c644441b2307e828f8392fb6993a78c580ee4.camel@gmail.com> <87edaobfm4.fsf@bsb.me.uk> <0ad60eee1517af22b54bcdac3f4947895c9fa559.camel@gmail.com> <87o79p5h45.fsf@bsb.me.uk> <0e898ea58ba39da3c6d3a2a4cbd9b198d4b5c37a.camel@gmail.com> <87ikzv6fcv.fsf@bsb.me.uk> <00c69622a631f0e34273060ce980e56b66366dd2.camel@gmail.com> <87cyq25wiy.fsf@bsb.me.uk> <1bf7c50b212aa104b402ef87c06646b476537e70.camel@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Injection-Date: Sun, 05 May 2024 11:14:41 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c657674ae4737840a19c2ec3dc397aa2"; logging-data="1877507"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/6QNRVlFY/8yIDSnuyoWQAPfZiwa0MFts=" User-Agent: Gnus/5.13 (Gnus v5.13) Cancel-Lock: sha1:6qmIKqZYBDQaBREtQcZZ5VtCscY= sha1:L3sDM5CFNJVGT+kazGSuDgAC6Tw= X-BSB-Auth: 1.15dacfdba646a69318e9.20240505101439BST.871q6g62o0.fsf@bsb.me.uk Bytes: 2775 wij <wyniijj5@gmail.com> writes: > On Sat, 2024-05-04 at 00:02 +0100, Ben Bacarisse wrote: >> 3.1414159 > > 3.1414159... (infinitely long) That's not a string produced by your grammar for <fixed_point_number>. (Also, your quoting and attributions are incorrect.) You've cut all the context, presumably because you don't want people to see the question you can't answer. Here's the context with the question you are not able to answer restored: You: <fixed_point_number> is a super set of rationals. Me: Give an example <fixed_point_number> that is not rational. Me again (because you didn't answer): Can you give an example <fixed_point_number> that is not rational? If not, why not? Your eventual reply is not a string produced by your grammar. Here is the grammar again since you cut it from your reply. <fixed_point_number>::= [-] <wnum> [ . <frac> ] // excluding "-0" case <wnum>::= 0 <wnum>::= <nzd> { 0 | <nzd> } <frac>::= { 0 | <nzd> } <nzd> <nzd> ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 // 'digit' varys depending on n-ary "3.1414159" is a string produced by this grammar (but, anyway, it's rational). None of the other characters ("... (infinitely long)") can form part of a <fixed_point_number>. -- Ben.