2,931 followers
730 followers
2,250 followers
RT @georg_logic: 確かにこれは面白そう.僕のやっていることとの関連もありそう. https://t.co/xYnJgLduXW
2,250 followers
RT @sinya8282: Cyclic Arithmetic Is Equivalent to Peano Arithmetic https://t.co/eMDj61Tc2U⁰ 無限の証明図の上をオートマトン走らせるとかかっこいい.