1. Forum
  2. USENET
  3. sci.logic
Re: buckle-up chucklefucks....

By dart200 on Wed Sep 16 01:46:42 2026

Latest reply by Dude on Wed Sep 30 20:00:37 2026
Provability in PA

By olcott on Tue Sep 22 10:01:02 2026

Latest reply by olcott on Tue Sep 29 11:31:59 2026
Kundalini III: Pebble Languages need Meme Evolution (Was: Creating a "European CMOS 2.0 Army")

By Mild Shock on Mon Sep 28 16:36:51 2026

Latest reply by Mild Shock on Tue Sep 29 15:02:24 2026
Re: Cantor's diagonal arguments are invalid

By Ross Finlayson on Mon Sep 28 11:36:20 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:50:54 2026
Re: MereoLogicism 2

By Ross Finlayson on Mon Sep 28 11:37:42 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:50:10 2026
Re: Question about the fixed point lemma

By Ross Finlayson on Mon Sep 28 11:34:52 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:47:01 2026
Re: Can ZF Prove These Sets Exist?

By Ross Finlayson on Mon Sep 28 11:32:54 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:44:40 2026
Re: Why Does the Replacement Axiom Require a (Less General) Function?

By Ross Finlayson on Mon Sep 28 11:32:19 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:44:22 2026
Re: In search for the correct interpretation of a paradox result

By Ross Finlayson on Mon Sep 28 11:31:12 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:42:38 2026
Re: Is a Universal Turing Machine a von Neumann computer?

By Ross Finlayson on Mon Sep 28 11:30:49 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:40:16 2026
Re: Formal Definition of Set

By Ross Finlayson on Mon Sep 28 11:29:18 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:39:32 2026
Re: WM can't perform his WMagic outside WMytheology

By Ross Finlayson on Mon Sep 28 11:28:39 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:38:40 2026
Re: A simpler More General Question Than Goldbach's Conjecture

By Ross Finlayson on Mon Sep 28 11:27:31 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:37:09 2026
Re: A few difficult-to-impossible mathematical problems.

By Ross Finlayson on Mon Sep 28 11:25:10 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:36:26 2026
Re: The continuum hypothesis

By Ross Finlayson on Mon Sep 28 11:24:10 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:35:26 2026
Re: There Are Only Two Systems of Mathematics

By Ross Finlayson on Mon Sep 28 11:23:19 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:34:53 2026
Re: ZFC interpreted from two schemes

By Ross Finlayson on Mon Sep 28 11:22:43 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:34:20 2026
Re: The Pigeonhole Principle: A non-numeric version

By Ross Finlayson on Mon Sep 28 11:22:00 2026

Latest reply by Ross Finlayson on Tue Sep 29 09:32:21 2026
Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing)

By Mild Shock on Mon Jul 27 11:28:01 2026

Latest reply by Mild Shock on Mon Sep 28 14:13:20 2026
Re: Does Gentzen's argument constitute a proof of Consistency of PA?

By Ross Finlayson on Mon Sep 28 11:20:31 2026

Latest reply by Ross Finlayson on Mon Sep 28 11:20:31 2026
Theatheory: truth versus lies

By Ross Finlayson on Wed Sep 23 16:36:53 2026

Latest reply by Ross Finlayson on Fri Sep 25 10:28:43 2026
The Wuhan Virus that destroyed Python [ggml Manifesto]

By Mild Shock on Wed Jul 22 21:01:43 2026

Latest reply by Mild Shock on Thu Sep 24 15:46:12 2026
System for AI safety alignment

By olcott on Sun Sep 20 12:24:40 2026

Latest reply by olcott on Wed Sep 23 19:20:26 2026
Re: System for AI safety alignment --- Johann not interested an honest (a reminder to myself)

By olcott on Wed Sep 23 11:37:59 2026

Latest reply by olcott on Wed Sep 23 11:37:59 2026
How can humanity best protect itself from AI when AI becomes 10000---fold smarter than the smartest human?

By olcott on Fri Sep 18 08:46:27 2026

Latest reply by Daniel on Sat Sep 19 12:40:20 2026
Warning: Inconsistencies can summon Waluigis

By Mild Shock on Mon Sep 14 11:51:00 2026

Latest reply by Mild Shock on Mon Sep 14 11:51:00 2026
Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra] (Was: Micro Penis is worse than Sleepy Joe)

By Mild Shock on Fri Sep 11 18:17:32 2026

Latest reply by Mild Shock on Sun Sep 13 16:41:45 2026
=?UTF-8?Q?Accelerate_Lean!_From_Theorem_3.11_to_Corollary_3.12_[ZMC?= =?UTF-8?Q?]_=28Was:_Introduction_to_AI_Accelerator_Prolog_[=cf=80-WAM_of_Do?= =?UTF-8?Q?gelog]=29?=

By Mild Shock on Sun Jul 19 16:06:21 2026

Latest reply by Mild Shock on Sat Sep 12 12:14:05 2026
Making LLMs a little more reliable

By olcott on Sun Sep 6 12:53:57 2026

Latest reply by Ross Finlayson on Tue Sep 8 19:53:42 2026
In the hospital with pneumonia for three weeks recovering at home on oxygen

By olcott on Sat Aug 8 10:30:39 2026

Latest reply by Ross Finlayson on Sun Sep 6 09:15:32 2026
Black is the new AI, AI is the new Black [Champagne Supernova] (Re: micro penis struggels with mobile grade GPU concept)

By Mild Shock on Fri Aug 21 03:04:59 2026

Latest reply by marika on Thu Sep 3 01:50:53 2026
For iGPU which acts as a APU RAM is shared (Re: So memory bandwidth is no issue at all)

By Mild Shock on Thu Jul 16 17:09:01 2026

Latest reply by Mild Shock on Sat Aug 29 03:05:02 2026
on the nature of undecidability within computing: and refuting the church turing thesis

By dart200 on Wed Aug 26 22:40:41 2026

Latest reply by Dude on Thu Aug 27 18:07:54 2026
=?UTF-8?Q?Introduction_to_AI_Accelerator_Prolog_[=cf=80-WAM_of_Doge?= =?UTF-8?Q?log]_=28Re:_Prolog_Expert_Ginis_=28PEGs=29_on_a_Keychain=29?=

By Mild Shock on Fri Jul 17 11:16:10 2026

Latest reply by Ross Finlayson on Tue Aug 25 13:43:12 2026
We are in the Kundalini Phase of the AI Boom

By Mild Shock on Sun Aug 23 23:21:45 2026

Latest reply by squalk on Mon Aug 24 16:30:57 2026
Ljubljana School versus Zurich School (Re: Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)

By Mild Shock on Mon Aug 3 20:16:38 2026

Latest reply by Mild Shock on Fri Aug 21 17:44:26 2026
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: From Unrusting Blade to Unburning Icarus (Re: The SWI-Prolog community is a circus ))

By Mild Shock on Wed Aug 12 20:29:19 2026

Latest reply by Mild Shock on Wed Aug 12 20:29:19 2026
=?UTF-8?Q?How_fast_is_EyeProlog=2c_do_we_need_=cf=80-WAM=3f_[Budget?= =?UTF-8?Q?_AI_Laptop]?=

By Mild Shock on Wed Aug 12 01:12:44 2026

Latest reply by Mild Shock on Wed Aug 12 20:17:41 2026
Re: this sentence is true?

By Scott Hoge on Thu Aug 6 20:24:33 2026

Latest reply by Johann 'Myrkraverk' Oskarsson on Fri Aug 7 18:00:52 2026
=?UTF-8?Q?Re:_The_G=c3=b6del/Tarski_view_of_incompleteness?=

By Ross Finlayson on Thu Aug 6 10:27:47 2026

Latest reply by Ross Finlayson on Thu Aug 6 10:28:07 2026
A Case for Impurity: The Applied Pi Calculus (Was: A logical calculus in nervous activity [McCulloch & Pitts 1943])

By Mild Shock on Tue Aug 4 14:42:52 2026

Latest reply by Mild Shock on Tue Aug 4 14:42:52 2026
Chris M. Thomasson can ask 100 more questions (Was: Tablet and phone UBS-C remote debugging)

By Mild Shock on Sun Aug 2 02:46:13 2026

Latest reply by Mild Shock on Mon Aug 3 00:01:04 2026
I'm a spinner, I'm a sinner [Dmitry Vyukov for pi-WAM] (Re: Paul Tarau versus Mr. Taskmanager, who would win? [A PDP-11 Humunkulus from 1979]

By Mild Shock on Sun Jul 19 11:55:04 2026

Latest reply by Mild Shock on Sat Aug 1 12:13:34 2026
Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein)

By Mild Shock on Tue Jul 28 11:27:47 2026

Latest reply by Mild Shock on Wed Jul 29 11:53:09 2026
From Unrusting Blade to Unburning Icarus (Re: The SWI-Prolog community is a circus )

By Mild Shock on Mon Jul 27 12:18:15 2026

Latest reply by Mild Shock on Mon Jul 27 12:18:15 2026
Life Experience = Expired Life [Golden Bridge Solutions] (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Wed Jul 22 16:48:57 2026

Latest reply by Mild Shock on Wed Jul 22 17:40:25 2026
Economy of Maturation: Mobile HBM Coming! (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Wed Jul 22 13:30:40 2026

Latest reply by Mild Shock on Wed Jul 22 16:28:42 2026
Re: Olcott's system inconsistent

By Fred. Zwarts on Wed Jul 22 10:31:37 2026

Latest reply by Fred. Zwarts on Wed Jul 22 10:31:37 2026
Re: ALL undecidability is unmasked

By Mikko on Thu Jul 16 09:11:32 2026

Latest reply by Mikko on Wed Jul 22 09:58:38 2026
GPUs evolved from SIMD to MIMD [NVIDIA Volta 2017] (Re: herpes blister rossy boy is confused)

By Mild Shock on Mon Jul 20 17:11:30 2026

Latest reply by Mild Shock on Mon Jul 20 19:58:06 2026
Type systems for non-deterministic concurrency [Amir Pnueli] (Was: Does Variable Age make Sense? [Prolog Unification])

By Mild Shock on Mon Jul 20 12:20:46 2026

Latest reply by Mild Shock on Mon Jul 20 12:34:30 2026
Re: Olcott's system

By Mikko on Thu Jul 16 10:05:58 2026

Latest reply by Mikko on Mon Jul 20 11:02:06 2026
Re: Olcott's system (not Hobbes)

By Ross Finlayson on Wed Jul 15 20:18:08 2026

Latest reply by Ross Finlayson on Mon Jul 20 07:24:00 2026
APU-style chips load enormous AI models (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Thu Jul 16 17:18:45 2026

Latest reply by Mild Shock on Thu Jul 16 23:18:11 2026
Re: Utterly replacing ALL symbolic logic with inherently correct reasoning

By Mikko on Thu Jul 16 09:33:54 2026

Latest reply by Alan Mackenzie on Thu Jul 16 13:54:53 2026
Re: Every LLM agrees with my final resolution to the Liar Paradox

By Mikko on Thu Jul 16 09:03:32 2026

Latest reply by Mikko on Thu Jul 16 09:03:32 2026
Re: Olcott's system at test

By Mikko on Thu Jul 16 08:56:28 2026

Latest reply by Mikko on Thu Jul 16 08:56:28 2026