Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Delta: A real man lands where he wants to. -- David Letterman

tech / sci.logic / Re: Binets Formula Computer Proof Challenge

SubjectAuthor
* Re: Binets Formula Computer Proof ChallengeRoss Finlayson
`- Re: Binets Formula Computer Proof ChallengeRoss Finlayson

1
Re: Binets Formula Computer Proof Challenge

<lN2dnW4UU6UODUj4nZ2dnZfqn_WdnZ2d@giganews.com>

  copy mid

https://news.novabbs.com/tech/article-flat.php?id=8356&group=sci.logic#8356

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!69.80.99.26.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 05:56:35 +0000
Subject: Re: Binets Formula Computer Proof Challenge
Newsgroups: sci.logic
References: <aaa0eaf1-b3d8-48fc-8a4a-adc243d87e5c@googlegroups.com> <qa86uf$htj$1@news.albasani.net> <a2a9c099-e0fe-40dd-92e6-ec6a99c4e16c@googlegroups.com> <b49b91a3-8bd2-43ac-8eb4-d9365accd476@googlegroups.com> <qa9qem$uri$1@news.albasani.net> <b0acf897-5a81-4883-9a82-2dfb7e77168c@googlegroups.com> <055ffdcd-3195-42ac-a68d-09a96db94e66@googlegroups.com> <ef5e5961-21a6-43e8-9f5b-25d18e0f954f@googlegroups.com> <30c2a43c-353f-40ce-a4ba-b2671f8ef497@googlegroups.com> <f7db28d4-1d59-42db-a87d-357cb54e932e@googlegroups.com> <14266612-0cdb-467f-a137-9243a08dc73d@googlegroups.com> <96ccce4b-7a9a-442f-8b15-e6a49f7c6c9a@googlegroups.com> <838332c9-46d2-448d-abd1-0373e1657cea@googlegroups.com> <b6845561-d813-4590-a985-7cde1a02f55b@googlegroups.com> <858fdb10-1572-4354-b99e-5469c1e87101@googlegroups.com> <88abb22c-8110-4f3e-9ecb-ea50d6fe4197@googlegroups.com> <dd7a23bb-3986-4086-b27f-bf7048002d6c@googlegroups.com> <f044353b-9f3c-42b8-ae62-a9eeee6fc8ba@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Tue, 20 Feb 2024 21:56:48 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <f044353b-9f3c-42b8-ae62-a9eeee6fc8ba@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <lN2dnW4UU6UODUj4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 5
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-zbTP7QKwbBa7ipbT7eHleSnEj8HTZ8ztynUDeCvsp4/l8sDaMH/LRhf/6jB8BnJk8nZfXgA0n292bI5!snTQCCZGVaAqj9PE8YTtC0iTjNVlJvPVOv9k0XlZ8wi3I1eeTdvluhX3UDHaX1/6ca2/K0eCKX8p
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
 by: Ross Finlayson - Wed, 21 Feb 2024 05:56 UTC

See, there's a big schism
among algebra and geometry,
in algebraic geometry.

Re: Binets Formula Computer Proof Challenge

<e8icnW6qq7elrEv4nZ2dnZfqnPednZ2d@giganews.com>

  copy mid

https://news.novabbs.com/tech/article-flat.php?id=8369&group=sci.logic#8369

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!news.samoylyk.net!news.quux.org!weretis.net!feeder6.news.weretis.net!border-2.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 17:22:00 +0000
Subject: Re: Binets Formula Computer Proof Challenge
Newsgroups: sci.logic
References: <aaa0eaf1-b3d8-48fc-8a4a-adc243d87e5c@googlegroups.com>
<a2a9c099-e0fe-40dd-92e6-ec6a99c4e16c@googlegroups.com>
<b49b91a3-8bd2-43ac-8eb4-d9365accd476@googlegroups.com>
<qa9qem$uri$1@news.albasani.net>
<b0acf897-5a81-4883-9a82-2dfb7e77168c@googlegroups.com>
<055ffdcd-3195-42ac-a68d-09a96db94e66@googlegroups.com>
<ef5e5961-21a6-43e8-9f5b-25d18e0f954f@googlegroups.com>
<30c2a43c-353f-40ce-a4ba-b2671f8ef497@googlegroups.com>
<f7db28d4-1d59-42db-a87d-357cb54e932e@googlegroups.com>
<14266612-0cdb-467f-a137-9243a08dc73d@googlegroups.com>
<96ccce4b-7a9a-442f-8b15-e6a49f7c6c9a@googlegroups.com>
<838332c9-46d2-448d-abd1-0373e1657cea@googlegroups.com>
<b6845561-d813-4590-a985-7cde1a02f55b@googlegroups.com>
<858fdb10-1572-4354-b99e-5469c1e87101@googlegroups.com>
<88abb22c-8110-4f3e-9ecb-ea50d6fe4197@googlegroups.com>
<dd7a23bb-3986-4086-b27f-bf7048002d6c@googlegroups.com>
<f044353b-9f3c-42b8-ae62-a9eeee6fc8ba@googlegroups.com>
<lN2dnW4UU6UODUj4nZ2dnZfqn_WdnZ2d@giganews.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 09:22:00 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <lN2dnW4UU6UODUj4nZ2dnZfqn_WdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <e8icnW6qq7elrEv4nZ2dnZfqnPednZ2d@giganews.com>
Lines: 21
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-82AHm0tobMTzDBErmrI6r+H/95mCyYSQgew+qSOYfRnPUK2b4Ywh9uBHERRde/Rhp3jrCl3a1hhRI1L!sSr1EBSp8mfOvNKZJp1lGg86q2iCwJxB0dbSGx6qTdVSL1fWlyhwMj+BBzb+EzgaGkFo0b/X1iL6
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
 by: Ross Finlayson - Wed, 21 Feb 2024 17:22 UTC

When thinking of Binet,
I'm reminded of Viete,
there's also Nicomachus,
about the important of addition formulas,
and closed forms in usual operations,
that arithmetic up after
increment, product
power, exponent,
and down from
division, retraction,
partition, section,
has a lot going on in
deconstructive accounts of arithmetic, and
deconstructive accounts of algebra, and
thusly deconstructive accounts of
arithmetic and algebra together and apart,
that lots of results that are clearly intractable,
make for that mathematics is how they get solved.

tech / sci.logic / Re: Binets Formula Computer Proof Challenge

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor