Amabilidad y paradoja en semigrupos y álgebras C*