On Monday, January 20, 2025 at 4:12:10 PM UTC+1 John Clark wrote:
On Mon, Jan 20, 2025 at 7:46 AM PGC <multipl...@gmail.com> wrote: *> In truth, the “weakness” you ascribe to simpler formal systems—such as first-order logic without heavy axioms, or minimal forms of arithmetic—can lead to fascinating nonstandard models and subtle phenomena that arguably eclipse the raw computational yardstick you employ.* *I don't understand why you put weakness in quotation marks, I make no apology for calling First Order Logic weak. It's true that unlike Second Order Logic, such as that employed in Zermelo–Fraenkel set theory, First Order Logic CAN prove its own self consistency, and First Order Logic is also complete, any grammatically correct logical statement can be proven or disproven with first order logic. The problem is if you only used First Order Logic then you couldn't pass a first grade arithmetic test, and forget about algebra or calculus or number theory or topology. First Order Logic is very good for some things but the range of its applicability is extremely limited. * * > when you reduce mind-created constructs—especially those relating to numbers and formal proofs—to mere mechanisms,* *I don't know what you mean by "mere" mechanism. The huge advancement in AI over the last two years didn't come about by people who were navel gazing and postulating about some mysterious secret sauce that produces mind, instead they broke down the operation of a mind until they got to the simplest possible part, and you can't get simpler than zero or one, that is to say an on and off switch. They have provided definitive proof that like it or not mind is a "mere" mechanism, and that mind is what a brain does.* Then make an accurate prediction of the content of my next post. Use all the AI you want. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/everything-list/82cf919a-0b06-4073-8e2b-4fcd558ef68fn%40googlegroups.com.
