Pesquisa · Mapa mental
Wilfried Buchholz
Wilfried Buchholz é um matemático e lógico alemão, especialista em Teoria da prova e análise ordinal. É professor emérito no Instituto de Matemática da Universidade Ludwig Maximilian de Munique (LMU).
Buchholz nasceu em Berlim em 1948. Concluiu seu doutorado (Ph.D.) em 1974 e, em 1980, tornou-se professor titular na Universidade Ludwig Maximilian de Munique, onde consolidou sua carreira lecionando e pesquisando lógica matemática.
É amplamente reconhecido na comunidade lógica por simplificar e expandir hierarquias de funções ordinais aplicadas à análise de sistemas impredicativos da análise matemática. Suas principais contribuições incluem:
