Ivo Stratev – Medium

Ivo Stratev

The tools we use do matter

As 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, 2023

The tools we use do matter

Jan 21, 2023

Some key lessons learned while working professionally as Software Engineer

Lesson 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, 2022

Some key lessons learned while working professionally as Software Engineer

Dec 18, 2022

What happened?

Hi again!

Dec 4, 2022

What happened?

Dec 4, 2022

Abstract Algebra Done The Way It Should Have Been: Cosets, Normal SubGroups, and Factor Groups

The 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 not

Apr 8, 2021

Photo of boxes

Apr 8, 2021

Abstract Algebra: Using subsets to handle subgroups in a good way

In 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, 2021

Abstract Algebra: Using subsets to handle subgroups in a good way

Mar 26, 2021

Maybe I should have used the word property instead of "axiom".

Mar 21, 2021

Mar 21, 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, 2021

Mar 21, 2021

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, 2021

Mar 21, 2021

Also there is no way to have 2 different identity elements (both left and right identities).

Mar 20, 2021

Mar 20, 2021

Actually, I did skip the remarks on purpose.

Mar 20, 2021

Mar 20, 2021

Ivo Stratev

Ivo Stratev

Passionate about Programming. Interested in Highly Distributed Systems and the Microservice Architecture. In love with Math and proving things.

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams