Groups | Search | Server Info | Login | Register

Groups > sci.logic > #345119

Re: AI understands where 99 % of mathematicians fail

From Mikko <mikko.levanto@iki.fi>
Newsgroups sci.logic
Subject Re: AI understands where 99 % of mathematicians fail
Date 2026-03-25 10:44 +0200
Organization A noiseless patient Spider
Message-ID <10q078m$1p9fp$1@dont-email.me> (permalink)
References (8 earlier) <10pop4h$brd4$1@solani.org> <10pr2g7$1gvg$1@dont-email.me> <10prmgr$dqm9$1@solani.org> <10pti86$sb40$1@dont-email.me> <10puonp$1araa$1@dont-email.me>

Show all headers | View raw

On 24/03/2026 21:29, WM wrote:
> Am 24.03.2026 um 09:33 schrieb Mikko:
>> On 23/03/2026 17:33, wm wrote:
>>> Am 23.03.2026 um 10:52 schrieb Mikko:
> 
>>> There is only one piece of path leading from the root to node n. This 
>>> is covered by the paths chosen by me. This is true for all nodes. 
>>> There are infinitely many paths but all are leading to nodes and 
>>> therefore following my paths.
>>
>> Sp we agree that for every chosen path there are infinitely many
>> unchosen paths.
> 
> All of them are following a chosen path.

There is no proof that they do. Of course if you "choose" all paths
then they do but that contradicts what you have said earlier. You
can't prove anything about "chosen" paths unless you specify at least
something about the "chosen" and other paths.

>> If you add your clarifications above to your initial messsage you can
>> remove the error I identified above.
>>
>> However, the sentence "Consequently, there is no additional path
>> outside this set, and the binary tree is completely covered by
>> countably many paths" becomes false.
> 
> Here is the complete proof of a contradiction in set theory:
> 
> (1) Cantor's diagonal argument finds for every countable set of reals a 
> real number not in that set.

true

> (2) According to Cantor's definition of countable set the set of nodes 
> of the Binary Tree is countable.

true

> (3) If we map every node onto a path, then the mapped set of paths is 
> countable.

false

> (4) For every n ∈ ℕ: I map the nth node on a path containing this node.

uderspecified, there are several paths that contain the nth node

> (5) Therefore every npode is covered by this set of paths. There does 
> not exist a node which is not covered by these paths.

true

> (6) From the root to every level L(k) the Binary Tree is completely 
 > covered by this set of paths, for every k ∈ ℕ.

true

> (7) These paths represent the real numbers between 0 and 1.

a path may represent o real number or anohter real number

> (8) It is impossible to find a further real number between 0 and 1.

for any specific way to represent real number as paths there is a
real number represented by a path that no node maps to

That "proof" is not a proof. Some of the claims are too vague and
some lack justification.

-- 
Mikko

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-20 16:41 +0100
  Re: AI understands where 99 % of mathematicians fail Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-03-20 19:06 +0000
    Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-20 22:57 +0100
  Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-21 11:42 +0200
    Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-21 13:47 +0100
      Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-22 11:13 +0200
        Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-22 14:00 +0100
          Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-23 11:52 +0200
            Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-23 16:33 +0100
              Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-24 10:33 +0200
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-24 20:29 +0100
                Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-03-24 21:44 +0000
                Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-24 19:31 -0700
                Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-24 19:32 -0700
                Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-24 20:07 -0700
                Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-25 14:04 -0700
                Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-04-04 20:54 +0100
                Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) wm <wolfgang.mueckenheim@tha.de> - 2026-03-25 18:17 +0100
                Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Alan Mackenzie <acm@muc.de> - 2026-03-25 17:55 +0000
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-25 10:44 +0200
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-25 18:31 +0100
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-26 10:18 +0200
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-26 17:21 +0100
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-27 11:52 +0200
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-27 19:04 +0100
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-28 11:20 +0200
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-28 17:03 +0100
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-29 12:02 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-29 14:44 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-30 11:49 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-30 12:39 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-31 12:33 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-29 16:45 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-30 11:58 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-30 12:38 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-31 12:51 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-31 18:34 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-01 11:12 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-01 13:59 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-02 10:35 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-02 20:29 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-03 10:10 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-04 17:54 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-05 10:22 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-05 17:15 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-06 11:12 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-06 19:55 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-07 11:07 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-07 16:07 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-08 10:14 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-08 12:51 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-09 12:35 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-09 17:44 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-10 11:01 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-10 13:01 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-11 10:54 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-11 17:05 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-12 12:49 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-12 13:50 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-13 10:16 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-13 12:54 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-14 09:16 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-14 20:38 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-15 10:18 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-15 16:20 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:41 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-16 16:26 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-17 10:08 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-17 15:10 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-18 12:52 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-18 14:40 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-19 12:55 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-19 12:55 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-20 12:34 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-20 13:21 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-21 10:25 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-21 12:46 +0200
                Re: AI understands where 99 % of mathematicians fail Jeff Barnett <jbb@notatt.com> - 2026-04-17 01:13 -0600
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-17 15:21 +0200
                Re: AI understands where 99 % of mathematicians fail Carlo XYZ <carloxyz@invalid.invalid> - 2026-04-06 08:26 +0200
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-04 17:58 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-05 10:28 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-05 17:20 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-06 11:22 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-06 20:03 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-07 11:11 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-07 17:07 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-08 10:20 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-08 12:56 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-09 12:40 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-09 17:46 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-10 11:07 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-10 13:03 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-11 11:00 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-11 17:10 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-12 13:02 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-12 13:55 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-13 10:28 +0300
                Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-13 12:59 +0200
                Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-14 09:24 +0300
                Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-14 20:45 +0200

csiph-web