Jon Barwise

Jon Barwise

male, deceased (2000)
Erdős number 2, American, Indiana University, Logician, mathematician, natural language…logic, Infinitarylogic, Language, Proof and Logic
Kenneth Jon Barwise (June 29, 1942 - March 5, 2000) was a U.S. mathematician, philosopher and logician who proposed some fundamental revisions to...

Carol Karp

female
University of Maryland, Michigan State University, mathematician, breast cancer, viola, National Science Foundation…Infinitarylogic
Carol Karp née Carol Ruth Vander Velde American mathematician of Dutch ancestry. Best known for her work on infinitary logic, she also played v...
Rami Grossberg

Rami Grossberg

male
Israeli, mathematician, Carnegie Mellon University faculty, conjecture, Carnegie Mellon University, mathematics…Infinitarylogic
Rami Grossberg is an associate professor of mathematics at Carnegie Mellon University and a leading researcher in model theory. Grossberg's recent...