Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

No line available at 300 baud.


devel / comp.theory / Proof that infinitesimals don't exist

SubjectAuthor
o Proof that infinitesimals don't existMr Flibble

1
Proof that infinitesimals don't exist

<20220830160028.000024e8@reddwarf.jmc.corp>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx11.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: Proof that infinitesimals don't exist
Message-ID: <20220830160028.000024e8@reddwarf.jmc.corp>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 11
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Tue, 30 Aug 2022 15:00:27 UTC
Date: Tue, 30 Aug 2022 16:00:28 +0100
X-Received-Bytes: 794
 by: Mr Flibble - Tue, 30 Aug 2022 15:00 UTC

a = 0.999...
10 * a = 9.999...
10 * a - a = 9.0
9 * a = 9.0
a = 1.0
ergo
0.999... = 1.0
ergo
infinitesimals don't exist
Q.E.D


devel / comp.theory / Proof that infinitesimals don't exist

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor