Marcelo, eu nem assisti a palestra ainda, mas todas as discusses que li, dizem que o apelo 'e pra uma fundamentacao usando Martin-Loeuf's teoria de tipos.
abs Valeria 2011/6/6 Marcelo Finger <mfin...@ime.usp.br> > Acho que é um apelo por uma fundamentação paraconsistente. > > > 2011/6/6 Joao Marcos <botoc...@gmail.com> > > > "What if current foundations of mathematics are inconsistent?" > > - Institute for Advanced Study, Princeton > > http://video.ias.edu/voevodsky-80th > > > > > > Have fun, > > JM > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > -- > Marcelo Finger > Departamento de Ciencia da Computacao > Instituto de Matematica e Estatistica > Universidade de Sao Paulo > Rua do Matao, 1010 > 05508-090 Sao Paulo, SP Brazil > Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) > http://www.ime.usp.br/~mfinger > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
