Ivo StratevThe 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…2 min read·Jan 21, 2023----
Ivo StratevSome 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…3 min read·Dec 18, 2022----
Ivo StratevAbstract 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 not7 min read·Apr 8, 2021----
Ivo StratevAbstract 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…3 min read·Mar 26, 2021----
Ivo StratevMaybe I should have used the word property instead of "axiom".1 min read·Mar 21, 2021--1--1
Ivo StratevHave 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…3 min read·Mar 21, 2021--1--1
Ivo StratevI 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…1 min read·Mar 21, 2021--1--1
Ivo StratevAlso there is no way to have 2 different identity elements (both left and right identities).1 min read·Mar 20, 2021----