Once logged in, you can add biography in the database
mathematician
He developed the symbolic logic system known as minimal logic.