Wilfried Buchholz (Berlim, 1 de abril de 1948) é um matemático e lógico alemão, especialista em Teoria da prova e análise ordinal. Ele é professor emérito no Instituto de Matemática da Universidade Ludwig Maximilian de Munique (LMU).
Biografia e Carreira Buchholz nasceu em Berlim em 1948. Concluiu seu doutorado (Ph.D.) em 1974 e, em 1980, tornou-se professor titular na Universidade Ludwig-Maximilians de Munique, onde consolidou sua carreira lecionando e pesquisando lógica matemática.
Contribuições Científicas É 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: Funções psi de Buchholz: Uma hierarquia de funções ordinais de argumento único introduzida por ele em 1986, que serve como peça fundamental na análise de teorias de definições indutivas. Hidra de Buchholz: Um modelo matemático baseado na teoria dos grafos (jogo da hidra) que gera funções de crescimento extremamente rápido, utilizado para provar a independência de sentenças matemáticas complexas que não podem ser demonstradas dentro de certos sistemas formais.
Principais Publicações BUCHHOLZ, Wilfried; SCHÜTTE, Kurt. Proof Theory of Impredicative Subsystems of Analysis. Nápoles: Bibliopolis, 1988. . BUCHHOLZ, Wilfried. An intuitionistic fixed point theory. Archive for Mathematical Logic, v. 37, n. 1, 1997.
Ver também Teoria da prova David Hilbert
Referências
Categoria:Lógicos da Alemanha Categoria:Matemáticos da Alemanha do século XX Categoria:Professores da Universidade de Munique Categoria:Nascidos em 1948