From roman at czyborra.com  Sat Jan 29 23:10:42 2022
From: roman at czyborra.com (Roman Czyborra)
Date: Sun, 30 Jan 2022 05:10:42 +0100 (CET)
Subject: unibomba unclassifies collatz conjecture
Message-ID: <a5339479-26d6-15f2-2118-d184289ce43c@czyborra.com>

deer unicombas!

b4 2nite's

 	https://proofwiki.org/wiki/Collatz_Connects_All_Successors_of_Zero

datalosses id like to let ya no dat 85yo collatz conjecture

 	T?{??X|(2X?X)?1?3X?1)}

 	? C??(??T){1}

 	? C(1+?)

mite b proven by my prime factor walk

 	C(1+?) ?

 	C((6??1)(??3)(??2)) ?

 	C((6??1)(??3)) ?

 	C((6??1)(??3)(2+1)) ?

 	C((6??1)) ?

 	C((18?+1?4)) ?

 	C((9?+1?2)) ?

 	C((1+?)(??3)(??2)) ?

 	C(1+?) ?

 	C(1)

inspired by

 	https://nl.wikipedia.org/wiki/Vermoeden_van_Collatz#Optimaliseringen

 	(p,q)#>(m,o)|(p,q)<(m,o)=[]
 	 |odd p=[(m+m,o),(m+m,m+o)]
 	 |odd q=(p+p+p+0,q+q+q+1)#>(m,o)
 	 |odd 3=(p`div`2,q`div`2)#>(m,o)
 	mysterees=iterate((\w->w#>w)=<<)[(1,0)]

 	bits=unfoldr(listToMaybe.map(swap.flip divMod 2).filter(/=0).(:[]))

i donot wanna b d only 1 sleepin ova dis da cummin nites: yours rumil?