Az első magyar női matematikus akadémikus, akit külföldön is a matematikai logika, a rekurzív függvények úttörőjeként tartottak számon, egyaránt volt tudós, (tan)könyvíró, a matematika tanításának elkötelezettje, és mindig szenvedélyesen és önzetlenül kiállt igazsága mellett.