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 <vhcaid$i2ml$1@dont-email.me>
Deutsch   English   Français   Italiano  
<vhcaid$i2ml$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 ---MY LEGACY
Date: Sun, 17 Nov 2024 10:47:09 +0200
Organization: -
Lines: 10
Message-ID: <vhcaid$i2ml$1@dont-email.me>
References: <vfli1h$fj8s$1@dont-email.me> <4cb98b3918d6745f53bb19582b59e786d4af5022@i2pn2.org> <vghgar$2h30o$1@dont-email.me> <e40629600e317dba47dd3d066d83899fa7b8a7ab@i2pn2.org> <vgiq1d$2nkqv$1@dont-email.me> <e84328012ce8d1e75b9b569f15f74fde315a0548@i2pn2.org> <vgjd2f$2qdc5$1@dont-email.me> <4654d9db2fa0906d7ab7a1c6c09139ab0b0110cd@i2pn2.org> <vgl7vl$37h38$4@dont-email.me> <vgnph1$3qcpl$1@dont-email.me> <vgns0o$3qq7s$1@dont-email.me> <vgsnod$upmp$1@dont-email.me> <vgt61q$11e5a$3@dont-email.me> <4eebe767dc236a7770566fc1593aae14a38cb085@i2pn2.org> <vgtbpd$12ji4$1@dont-email.me> <49bbc7f6ba667da66bc56c69db049774c066d084@i2pn2.org> <vgvmtb$1kbe2$1@dont-email.me> <vh20o5$25r1d$1@dont-email.me> <vh3bn2$2e37l$6@dont-email.me> <vh4env$2o2ht$1@dont-email.me> <vh62i2$32617$4@dont-email.me> <vh73mm$3bep5$1@dont-email.me> <vh8ma6$3l333$3@dont-email.me> <vh9nt4$3ukcd$1@dont-email.me> <vhabsv$2jm4$1@dont-email.me> <8c06acb7f661e97361ba931f08951660443eacbe@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 17 Nov 2024 09:47:14 +0100 (CET)
Injection-Info: dont-email.me; posting-host="7cb874039dc5dfa674ecdb8ee3422951";
	logging-data="592597"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18KHpEwp4jEiy49xhIXTDns"
User-Agent: Unison/2.2
Cancel-Lock: sha1:hNZDoJmRNqAdccuvyHDwnNeGYKw=
Bytes: 2097

On 2024-11-16 15:28:04 +0000, Richard Damon said:

> Nope, as LLM don't do "Logic", but just pattern matching.

Formal logic is just pattern matching. While LLM do other than logic
automatic proof checkers and automatic proveres don't.

-- 
Mikko