Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <vg4q97$3np95$1@dont-email.me>
Deutsch   English   Français   Italiano  
<vg4q97$3np95$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: The philosophy of computation reformulates existing ideas on a new basis ---
Date: Sat, 2 Nov 2024 11:09:59 +0200
Organization: -
Lines: 25
Message-ID: <vg4q97$3np95$1@dont-email.me>
References: <vfli1h$fj8s$1@dont-email.me> <vflue8$3nvp8$2@i2pn2.org> <vfmd8m$k2m7$1@dont-email.me> <bcd82d9f8a987d3884220c0df7b8f7204cb9de3e@i2pn2.org> <vfmueh$mqn9$1@dont-email.me> <ff039b922cabbb6d44f90aa71a52d8c2f446b6ab@i2pn2.org> <vfo95k$11qs1$1@dont-email.me> <vfp8c0$3tobi$2@i2pn2.org> <vfpbtq$1837o$2@dont-email.me> <vfq4h9$1fo1n$1@dont-email.me> <vfqpi3$1iaob$4@dont-email.me> <vfqvjs$3v4c4$15@i2pn2.org> <vfr091$1k8im$1@dont-email.me> <vft4or$44tc$5@i2pn2.org> <vft9r1$25aio$9@dont-email.me> <vg2ban$37555$1@dont-email.me> <vg2gvo$37lpn$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 02 Nov 2024 10:10:00 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ac2ed10f994a6b2c09b09e40230988bc";
	logging-data="3925285"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18NUOQWVH91FjVb3jV4DQBP"
User-Agent: Unison/2.2
Cancel-Lock: sha1:OEPm4CPsmXVMxCm16YTmWCzkRRY=
Bytes: 2314

On 2024-11-01 12:19:03 +0000, olcott said:

> On 11/1/2024 5:42 AM, Mikko wrote:
>> On 2024-10-30 12:46:25 +0000, olcott said:
>> 
>>> ZFC only resolved Russell's Paradox because it tossed out
>>> the incoherent foundation of https://en.wikipedia.org/wiki/ Naive_set_theory
>> 
>> Actually Zermelo did it. The F and C are simply minor improvements on
>> other aspects of the theory.
> 
> Thus establishing the precedent that replacing the foundational
> basis of a problem is a valid way to resolve that problem.

No, that does not follow. In particular, Russell's paradox is not a
problem, just an element of the proof that the naive set theory is
inconsistent. The problem then is to construct a consistent set
theory. Zermelo proposed one set theory and ZF and ZFC are two other
proposals.

The foundation of all these theories is classical logic.

-- 
Mikko