Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

It is not best to swap horses while crossing the river. -- Abraham Lincoln

tech / sci.logic / Re: How would you salvage Hilbert’s Program ? [this is how]

SubjectAuthor
* Re: How would you salvage Hilbert’s Program ? [this is how]Ross Finlayson
`* Re: How would you salvage Hilbert’s Program ? [this is how]Ross Finlayson
 `- Re: How would you salvage Hilbert’s Program ? [this is how]Ross Finlayson

1
Re: How would you salvage Hilbert’s Program ? [this is how]

<lN2dnXYUU6V5EUj4nZ2dnZfqn_WdnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!news.nntp4.net!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:40:52 +0000
Subject: Re:_How_would_you_salvage_Hilbert’s_Program_?_[
this_is_how]
Newsgroups: sci.logic
References: <tnab3r$2i6vn$1@dont-email.me> <tnadud$2i6vn$5@dont-email.me>
<c0c855e9-82d6-43f4-8d28-61a66e3a6257n@googlegroups.com>
<tncsnh$2qqri$3@dont-email.me>
<6a3c58e3-6bd8-4ad9-a1c0-17240b1a11dan@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Tue, 20 Feb 2024 21:41:05 -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: <6a3c58e3-6bd8-4ad9-a1c0-17240b1a11dan@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <lN2dnXYUU6V5EUj4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 6
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-W4MsxTOXB3akd+Y08+rVSP8sp5y6WySDOu/CCVz3B9tT6DjdsiPRNIX6I7mJ9AczSrCLEd0QEH5EvM8!+GltzK11tRhvE7LHWkxgfPah7FddkxOcUu4Ay/VogJznkFc6A37+bUrDLGD0obcRwnqoCty28F+I
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:41 UTC

Well, there 'amicus Plato',
it's a central exhibit, in
"Hilbert's Infinite Living Museum,
of Mathematics".

Re: How would you salvage Hilbert’s Program ? [this is how]

<F7CcnaOwAa7xqkv4nZ2dnZfqnPWdnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr3.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: Wed, 21 Feb 2024 17:48:27 +0000
Subject: Re:_How_would_you_salvage_Hilbert’s_Program_?_[this_is_how]
Newsgroups: sci.logic
References: <tnab3r$2i6vn$1@dont-email.me> <tnadud$2i6vn$5@dont-email.me> <c0c855e9-82d6-43f4-8d28-61a66e3a6257n@googlegroups.com> <tncsnh$2qqri$3@dont-email.me> <6a3c58e3-6bd8-4ad9-a1c0-17240b1a11dan@googlegroups.com> <lN2dnXYUU6V5EUj4nZ2dnZfqn_WdnZ2d@giganews.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 09:48:28 -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: <lN2dnXYUU6V5EUj4nZ2dnZfqn_WdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <F7CcnaOwAa7xqkv4nZ2dnZfqnPWdnZ2d@giganews.com>
Lines: 13
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-MqnTW4qGSOUSwMTXUe0QCvmdZpKn+r2MlQncWIQEldv/+n423s8wcriQ78zA6DKjuTOOeX5/C4SJkLH!68OJQBrSTFNrnFxzgEvaYt5UcSVzWa76MLMAP5P8nFUADeQfqHROeNDfdqdLIy7rqemxnHLP2u6i
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:48 UTC

The, "amicus Plato", is, the Parthian result of the continental
philosophy of the Germans, basically "our post-modern is mostly
mining the paleo-classical, the good parts", that Plato is
"subjective objective Man and Mind with an object-sense,
word-sense, number-sense, and time-sense", here for the
usual strong of "strong mathematical platonism", that
mathematical truths are discovered not invented, and
that equi-interpretability is so for all mathematical truths.

Then, various notions like "Wittgenstein is our anti-Plato",
of course has that "Wittgenstein is a quite strong Platonist".

Re: How would you salvage Hilbert’s Program ? [this is how]

<tKCdnWeAHsHvDEv4nZ2dnZfqnPHMW2Bf@giganews.com>

  copy mid

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

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!paganini.bofh.team!3.us.feeder.erje.net!feeder.erje.net!news.misty.com!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: Thu, 22 Feb 2024 00:12:34 +0000
Subject: Re:_How_would_you_salvage_Hilbert’s_Program_?_[
this_is_how]
Newsgroups: sci.logic
References: <tnab3r$2i6vn$1@dont-email.me> <tnadud$2i6vn$5@dont-email.me>
<c0c855e9-82d6-43f4-8d28-61a66e3a6257n@googlegroups.com>
<tncsnh$2qqri$3@dont-email.me>
<6a3c58e3-6bd8-4ad9-a1c0-17240b1a11dan@googlegroups.com>
<lN2dnXYUU6V5EUj4nZ2dnZfqn_WdnZ2d@giganews.com>
<F7CcnaOwAa7xqkv4nZ2dnZfqnPWdnZ2d@giganews.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 16:12:38 -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: <F7CcnaOwAa7xqkv4nZ2dnZfqnPWdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <tKCdnWeAHsHvDEv4nZ2dnZfqnPHMW2Bf@giganews.com>
Lines: 7
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-FcNX8uRzsMs3Ulrp/mfonmeTe++fMoBAc9BdCfEw2CawCh8BQ/aGVeBV5dxd57B/s+A0O9MznKAuR7o!tfYRJykwSV0raBYvlOY90P47m681VdWWy4WhUIiCek4c3G8kWUG96ZssUs1ugAww1iQMtv7y4ZLy
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:12 UTC

Hilbert's Program doesn't really need any help,
these days it's called foundations and Hilbert's Program
is considered as "off into Langlands", or after Bourbaki,
or the school of algebraic geometry's algebraists,
about the Eulerian-Gaussian style analysis, there are others.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor