michael m. richter (june 21, 1938 – july 10, 2020) was a german mathematician and computer scientist. richter was well known for his career in mathematical logic. his works focused in non-standard analysis, and artificial intelligence. he was a key figure in case-based reasoning. richter was born in berlin.