Johan van Benthem

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa
Johan van Benthem
Nascimento 12 de junho de 1949 (69 anos)
Rijswijk
Nacionalidade Países Baixos Neerlandês
Alma mater Universidade de Amsterdã
Prêmios Prêmio Spinoza (1996), Tarski Lectures (2011)
Orientador(es) Martin Hugo Löb e Steven Karl Thomason[1]
Orientado(s) Jeroen Groenendijk, Maarten de Rijke, Martin Stokhof
Instituições Universidade de Amsterdã, Universidade Stanford
Campo(s) Matemática
Tese 1977
Notas Página pessoal (em inglês)

Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 de junho de 1949) é um matemático neerlandês. É professor de lógica matemática da Universidade de Amsterdã e professor de filosofia da Universidade Stanford.

Recebeu em 1996 o Prêmio Spinoza.

Estudou física (B.Sc. 1969), filosofia (M.A. 1972) e matemática (M.Sc. 1973) na Universidade de Amsterdã, onde obteve um doutorado em 1977, orientado por Martin Hugo Löb. Antes de tornar-se professor em 2003, lecionou na Universidade de Amsterdã (1973–1977), na Universidade de Groningen (1977–1986), e novamente na Universidade de Amsterdã (1986–2003), desta vez como professor.

Van Benthem foi um membro do grupo de publicou coletivamente com o pseudônimo L. T. F. Gamut.

Publicações[editar | editar código-fonte]

Referências

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.