4 months agoWe’re **NOT** computers! Deductive symbolization (PCs)*can’t*be*100% provable! Goedel & Eccles OK!px2195