Benjamin Lee Gibbs is a contemporary philosopher and logician whose work engages with the foundations of mathematics, formal semantics, and the limits of formal systems. He is known for interpreting and extending Gödelian themes regarding the expressive boundaries of sufficiently rich formal languages.
Work on the semantic limitations of formal systems containing elementary mathematics
Contributions to the philosophy of Gödel's incompleteness results
Analysis of the relationship between syntax and semantics in formal languages