The tools we use do matterAs Software Engineers we’ve all heard that we should pick the right tool for the job. But this is even more true for the actual tools that…Jan 21, 2023Jan 21, 2023
Some key lessons learned while working professionally as Software EngineerLesson number one: This is a marathon and not a sprint! Even every sprint cycle is not a sprint… The key thing here for me was (and still…Dec 18, 2022Dec 18, 2022
Abstract Algebra Done The Way It Should Have Been: Cosets, Normal SubGroups, and Factor GroupsThe usual way of defining Factor Groups in Abstract Algebra is dependent on the famous Axiom of Choice while the way I’m gonna show is notApr 8, 2021Apr 8, 2021
Abstract Algebra: Using subsets to handle subgroups in a good wayIn Abstract Algebra we usually care only that a subset of the domain/carrier of a Group forms a subgroup of that group and not so much for…Mar 26, 2021Mar 26, 2021
Have you read any book about Set Theory or Mathematical Logic?I don't know (have not touched/worked with) the Peano axioms. But from what I have found here…Mar 21, 20211Mar 21, 20211
I totally agree that those are properties and not axioms.I agree we do no't have do ask the identity to be unique it follows from the associativity of operation and it's existence. Actually in non…Mar 21, 20211Mar 21, 20211
Also there is no way to have 2 different identity elements (both left and right identities).Mar 20, 2021Mar 20, 2021