Some Code Fragments

less than 1 minute read

Published:

This is to record some Python macro that I have used to draw some TikZ figures:

import numpy as np

e = lambda x: np.exp(x * (0+1j) * np.pi/180)
f = lambda n: "({a:.4f},{b:.4f})".format(a=n.real,b=n.imag)

# 3d projections
## parameters
a = .8
th = 40 # check: https://www.desmos.com/calculator/4awmzytpad
## projection function
proj_3d = lambda x,y,z: -x*a*e(th) + y + (0+1j)*z

# e.g.: f(e(60)+e(150)) = "(-0.3660,1.3660)"
# e.g.: f(proj_3d(1,2,-3)) = "(1.3872,-3.5142)"

Update Log

  • 211109: Created
  • 220210: added 3D projection module

An Abstract Nonsense for Gödel Incompleteness

Although Gödel’s proof of his incompleteness is renowned for the formal construction of the sentence “I cannot be proven,” there are ways to illuminate this within the framework of abstract nonsense. From the nLab point of view, this is a consequence of Lawvere’s fixed point theorem, as shown in Lawvere 1969 or Yanofsky 2003. However, since I am not entirely sure if I understood the work correctly, I will present my own re-invention of the wheel below.

13 minute read

Published:

Playing with the Ax–Grothendieck Theorem

We discuss a construction question that naturally arises from the Ax–Grothendieck theorem. In particular, this comes from a field automorphism between the complex numbers and the ultraproduct of prime algebraically closed fields of positive characteristics.

9 minute read

Published:

Elliptic curves of bidegree (2,2)

One way to see an elliptic curve is to view it as a smooth bidegree (2,2) curve in $\mathbb{P}^1\times\mathbb{P}^1$. This fact itself comes from the adjunction formula, but we suggest a way to derive a bidegree (2,2) formula from the Weierstrass equation. Based on that, we see how this connects with the tropicalized actions of Vieta involutions on elliptic curves.

12 minute read

Published: