Peter Gerdes's Home invariant foaf peter home gerdes logic mathematics math group computability theory university science california computer mathematical program department notre dame lac section berkeley cholak harrington philosophy leo prof methodology projects teaching personal pdf verify karen institute technology lange opposite infinite Invariant.org~Site InfoWhoisTrace RouteRBL Check