#ComputabilityTheory is the normative ethics, #TypeTheory is the applied ethics, and #CategoryTheory is the meta ethics of #programming languages.

#Introduction I am a logician and mathematician, currently employed in Texas. Joining this server to talk with my friends about #logic, #SetTheory, #ModelTheory, and maybe even #ComputabilityTheory :)

#SocialMedia provides a fascinating insight into #ComputabilityTheory. Computers, at present, are incapable of making #moral decisions. But by injecting humans in the loop, social media is, in effect, harnessing us, like workhorses, to pass moral judgements. And we are failing this test spectacularly, by the looks of it.