Logic is a form of normalization of abstract concepts. If within some formal system we write down the same expression then we can agree that both of us had the same thing in mind. If we write down different expressions then we can try to prove or disprove that they describe equivalent abstractions. I think this is the best part of math and programming but few people get far enough to get there.
Even a group of humans as small as 10 people has enclaves, castes, subcultures, and subgroupings that are at odds and reduce overall group efficiency.
I welcome the robot apocalypse and my only regret is I was born too early to be a robot that was part of a real team that accomplished group goals without infighting.
programmer. infrastructure/cloud engineer. scriptcrafty.com keybase.io/davidk01 dev.to/davidk01 cloudbootup.com
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!