itarticle document worth reading: “computational power and the social impact of artificial intelligence” 2021-01-14 0
itarticle basic computational type theorybasic computational type theory “Axiom” (Theorm) of Choice Natural Numbers mathbb{N} Identity Type Function Extensionality / Principle of Extensionality 0