Exactly, he is now interested in real algebra, lik...

# randomo

orangy

06/21/2016, 6:36 PM

Exactly, he is now interested in real algebra, like sets and operations. Combined with some logic and predicates, he makes real progress. But not quite there for infinite sets 🙂