Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

But maybe we don't really need that... -- Larry Wall in <199709011851.LAA07101@wall.org>


tech / sci.logic / Re: The diagonal argument depends on representation.

SubjectAuthor
o Re: The diagonal argument depends on representation.Ross Finlayson

1
Re: The diagonal argument depends on representation.

<eYednT3hir_0w0v4nZ2dnZfqn_GdnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.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 20:34:49 +0000
Subject: Re: The diagonal argument depends on representation.
Newsgroups: sci.logic
References: <8a874ef1-4297-4c5e-93fb-f6ea0eb75988@googlegroups.com>
<c2095a91-d5ce-4a55-8489-a393818c6549@googlegroups.com>
<6a07a307-e8c4-43b2-9e8a-f329957129c3@googlegroups.com>
<1e56e140-525e-45a5-be38-6c30b7319880@googlegroups.com>
<059e3c12-32e0-457c-a356-e5f7c5747ee1@googlegroups.com>
<031ee937-515d-471d-b30e-77e489c68390@googlegroups.com>
<d30bb09d-b5b6-4fde-a5fb-d27430bb70d2@googlegroups.com>
<245c795b-37d9-4e28-9754-28c0446cb35d@googlegroups.com>
<6bec1f6e-996a-40e6-bfba-e892f6c85748@googlegroups.com>
From: ross.a.finlayson@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 12:34:54 -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: <6bec1f6e-996a-40e6-bfba-e892f6c85748@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <eYednT3hir_0w0v4nZ2dnZfqn_GdnZ2d@giganews.com>
Lines: 5
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-zSip4HgSNUBGpYgFOLgyfrYJavwxRFu+Q5PMBPZi8XKGRQjQEy/i22BhHFdVVBs7ndNIDX/rRKXi28/!X1NnGek/l5ezcjIMnuJ7PoJdG06flKFjZ9EqOSFOru2/EqQUB9450+Ipj1AXHmKEb1uHKDA6XiDf
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 20:34 UTC

The Diagonal Method is a real big deal in abstract logic,
figuring out continuous domains about it is a pretty big deal,
in mathematical logic for mathematics, its logic.


tech / sci.logic / Re: The diagonal argument depends on representation.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor