> > > O trabalho do discreto Bernays foi de fato simplesmente sensacional, e > sem ele personalidades díspares como Hilbert e Fraenkel teriam ambos > produzido cientificamente substancialmente menos do que de fato > produziram. Se Bernays não tivesse tido este papel, contudo, ainda > assim teria entrado para a história como o orientador do Gentzen. Ou > será que agora estou "idolatrando" esse tal de Gentzen? > > Joao Marcos > > E facil aplicar a Reductio ad Paternum ao Gentzen ele seria o *pai* da teoria de prova e aplicando a Reduction ad Avum o Hilbert seria o avo da teoria de prova - ele inventou a expressao e o conceito (Beweistheorie sinonima para ele de Metamatematik) Isso seria deixar de lado o Bernays que de fato foi oficialemente o orientador do Gentzen mas que tive um papel que nao se limitou a um papel adminsitrativo Talvez podemos aplicar a Reductio ao Tium = Bernays seria o *tio* da teoria da prova.
O Bernays orientou tambem o trabalho do Paul Hertz na base do qual o Gentzen comecou a trabalhar. O Satzsysteme de Hertz e claramente um primeiro passo para sistemas de sequentes a la Gentzen. O trabalho do Hertz ainda e pouco conhecido. Foi publicado em ingles pela primeira vez na nossa antologia de logica universal, apresentado pelo Javier Legris, um dos melhores especialistos do Hertz http://www.springer.com/birkhauser/mathematics/book/978-3-0346-0144-3 Essa antologia se chama: Universal Logic: An Anthology - From Paul Hertz to Dov Gabbay Mas quero enfatizar que escolhendo este titulo nao quiz fazer mais uma vitima da Reductio ad Paternum dizendo que o Hertz e o *pai* da logica universal. JYB _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
