Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"There are things that are so serious that you can only joke about them" -- Heisenberg


tech / sci.logic / Re: Arithmoquining

SubjectAuthor
* Re: ArithmoquiningRoss Finlayson
`* Re: ArithmoquiningRoss Finlayson
 `- Re: ArithmoquiningRoss Finlayson

1
Re: Arithmoquining

<lN2dnW0UU6XxEkj4nZ2dnZfqn_WdnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!news.hispagatos.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!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 05:51:40 +0000
Subject: Re: Arithmoquining
Newsgroups: sci.logic
References: <rm3d27$318$1@dont-email.me>
<d0224b2f-d05e-4051-b181-35a01909caa3n@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Tue, 20 Feb 2024 21:51:53 -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: <d0224b2f-d05e-4051-b181-35a01909caa3n@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <lN2dnW0UU6XxEkj4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 5
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-h6iZooxL5qrTb1oLeNnDbrkbh6RyctLERzKRl5i88IJT7zUSMau/4jWM/5ZsQehIp5gT4dcPYUQXMc2!hlCjAvGYZbamd7e6NJM5H30p0pZku7gAnPfMw6j0Zf3uXCpnyi8R9VKVPUJ7AXSjISngHSBEEunN
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:51 UTC

Quine's pretty great,
if you study logic,
it makes sense to study Quine's.

Re: Arithmoquining

<e8icnWiqq7dCrEv4nZ2dnZfqnPednZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!rocksolid2!news.neodome.net!tncsrv06.tnetconsulting.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!69.80.99.27.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 17:24:47 +0000
Subject: Re: Arithmoquining
Newsgroups: sci.logic
References: <rm3d27$318$1@dont-email.me> <d0224b2f-d05e-4051-b181-35a01909caa3n@googlegroups.com> <lN2dnW0UU6XxEkj4nZ2dnZfqn_WdnZ2d@giganews.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 09:24:47 -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: <lN2dnW0UU6XxEkj4nZ2dnZfqn_WdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <e8icnWiqq7dCrEv4nZ2dnZfqnPednZ2d@giganews.com>
Lines: 8
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-pKiPzRJ5rD5FvmE6dP88YcJXMoQAwfJR7/HlyzeXSMHsTa4iOu4Yh3AetkUSh1vqNuna+rdRcXteLl0!/QCLDTxQJ7akLWubIom7gTRXHHCsv8KPuE8jZUXLEbXS4meKlnqxZ1ymo/FZ9r4pXZq5mHwlhS8K
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:24 UTC

Quine's approach to reals,
defining them first then the rationals,
as a sort of inversion,
helps illustrate that "inversion"
is a very fundamental principle,
in all of logic.

Re: Arithmoquining

<ekOdnbqcy4niEkv4nZ2dnZfqn_ednZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!nntp.comgw.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!69.80.99.22.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 22 Feb 2024 00:04:15 +0000
Subject: Re: Arithmoquining
Newsgroups: sci.logic
References: <rm3d27$318$1@dont-email.me> <d0224b2f-d05e-4051-b181-35a01909caa3n@googlegroups.com> <lN2dnW0UU6XxEkj4nZ2dnZfqn_WdnZ2d@giganews.com> <e8icnWiqq7dCrEv4nZ2dnZfqnPednZ2d@giganews.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 16:04:09 -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: <e8icnWiqq7dCrEv4nZ2dnZfqnPednZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <ekOdnbqcy4niEkv4nZ2dnZfqn_ednZ2d@giganews.com>
Lines: 24
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-uzlc61XHVKqBanpiGK5w9JIwPDfHtX+m7dSK51bKIS2+4JkpE3/yq/JtJifGzYZfmFLE8pSc60oRz3z!Vyi0lu/CcQFVhzKFsZNKdIqwzOQnwcMypJWm1F2DdlhDw4uqZ791ZV9Miq/cfC8MPRcHZNVB7OHW
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 - Thu, 22 Feb 2024 00:04 UTC

The "Quine's atom", vis-a-vis
Quine and reference for Quine,
makes for that Quine's atom,
is a self-referential structure,
of Quine's.

I.e. thusly for example it has a sort
of abstract handle, vis-a-vis the usual
sorts of notion of things like the
Kant's Ding-an-Sich, the thing-in-itself,
and an infinitude of numbers, into that
an infinitude of numbers, ..., and so on.

Here for matters of syntax is that grammatical
analysis in completions of terms can well
make for that statically, Quine's comments
mostly just result a schema in higher order
quoting, that a schema is the simple introduction
of what's otherwise a term.

Then the idea is that schemas are framed in
completions, vis-a-vis terms being framed closed.


tech / sci.logic / Re: Arithmoquining

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor