Talvez alguém que tenha comparecido ao WoLLIC deste ano possa nos explicar um pouco mais sobre os tais "Univalent Foundations of Mathematics"? http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2011_WoLLIC.pdf
JM 2011/6/6 Valeria de Paiva <valeria.depa...@gmail.com>: > 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/ > -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
