Hoje é o aniversario do Alfred Tarksi que nasceu o dia 14 de Janeiro de 1902: http://www-history.mcs.st-and.ac.uk/Biographies/Tarski.html
Tarski tive muita influencia no desenvolvimento da logica no seculo vinte. Ele trabalhou em muitas direcoes: teoria dos conuntos, logica algebrica, teoria da verdade. teoria da consequencia, teoria dos modelos (que ele batizou e da qual ele foi o principal promodor). Desenvolveu muitos conceitos e provou muitos teoremas. Colaborou com muitas pessoas, fundou uma escola de logica em Berkeley na Califronia que se tornou durante 3 decadas o centro mundial da logica. Alfred Tarksi, Collecetd Papers, 4 volumes, Birkhäuser, Basel, 1987. Anita Burdman Feferman - Solomon Feferman Alfred Tarski: Life and Logic Cambridge University Press, Cambridge 2005 Estamos preparando a primiera traducao em portugues do famoso livro do Tarski de introducao a logica http://www.collegepublications.co.uk/clf/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
