11 months agoWe’re **NOT** computers! Deductive symbolization (PCs)*can’t*be*100% provable! Goedel & Eccles OK!px2195
2 years agoGenetics at metaMATHS: Axioms still TRUE, Semantic and syntax aren’t mutually identifiable #Dualismpx2195
2 years agoMind is ~ machine to load/service/fix/„upgrade”/„transfer”/buy it!^Kurt Goedel’s RIGHTpx2195
2 years agoTau Language: Bridging Math and Real-Life Application | TAU - AGORAS 💎 #Tau #Taunet #tauchainAndrewOnizuka