Depois vejo a ref num paper meu. Esse teorema só foi provado nos 1950s. Corresponde em CS a um resultado de Manuel Blum.
Sent from my iPhone On 20/03/2013, at 15:09, Valeria de Paiva <[email protected]> wrote: > Amigos, > > de volta a pergunta super interessante do aluno do Joao Marcos fiquei > sabendo so recentemente da estoria do 24th Hilbert problem > http://en.wikipedia.org/wiki/Hilbert%27s_24th_problem. > > ainda nao li > Hilbert’s twenty-fourth problem > <http://www.maa.org/news/Thiele.pdf>Rüdiger Thiele, American > Mathematical Monthly, January 2003 > > > mas tenho certeza que o que o Hilbert queria nao 'e simplesmete contar > simbolos. > Tb ainda nao tive tempo de ler o paper que o Doria mencionou a respeito, > mas contar simbolos, mesmo que seja o Goedel mesmo, > nao 'e uma medida boa de simplicidade/elegancia/perspecuidade de provas. > Vai um anuncio de uma conferencia relacionada ao tema. > > Abracos > Valeria > ___________________________________________ > > Simplicity: Ideals of Practice in Mathematics & the Arts > The Graduate Center, City University of New York > April 3-5, 2013 > http://www.s-i-m-p-l-i-c-i-t-y.org/ > > Lectures by and conversations among twenty-five mathematicians, artists, > art historians, philosophers, and architects together with screenings of > artist's films by Andy Goldsworthy (New York premiere), David Hammons, > Richard Serra, Andy Warhol, and William Wegman. > > To find "criteria of simplicity" was the goal of David Hilbert's recently > discovered twenty-fourth problem on his renowned list of open problems > given at the 1900 International Congress of Mathematics in Paris. At the > same time, simplicity and economy of means are powerful impulses in the > creation of artworks. > > Recognizing the aesthetic nature of Hilbert's question, this conference > aims to focus on criteria of simplicity in mathematics that are informed by > perspectives from art and architecture, the philosophy and history of > mathematics, and current mathematical practice. > > Invited participants: > > Andrew Arana, Philosophy, University of Illinois at Urbana-Champaign > Rachael DeLue, Art & Archaeology, Princeton University > Juliet Floyd, Philosophy, Boston University > Curtis Franks, Philosophy, University of Notre Dame > Étienne Ghys, Mathematics, École Normale Supérieure, Lyon > Mikhael Gromov, Mathematics, IHES, Paris and New York University > Rosalie Iemhoff, Philosophy, Utrecht University > Hanna Johansson, Philosophy, History, Culture & Art Studies, University of > Helsinki > Maryanthe Malliaris, Mathematics, University of Chicago > Dusa McDuff, Mathematics, Barnard College, Columbia University > Juhani Pallasmaa, Juhani Pallasmaa Architects, Helsinki > David Reinfurt, designer, New York > Marja Sakari, Kiasma Museum of Contemporary Art, Helsinki > Amy Sandback, art historian, New York > Peter Sarnak, Mathematics, Institute for Advanced Study & Princeton > University > Kate Shepherd, artist, New York > Riikka Stewen, Finnish Academy of Fine Arts, Helsinki > Dennis Sullivan, Mathematics, Graduate Center, CUNY & SUNY at Stony Brook > Andrés Villaveces, Mathematics, National University of Colombia, Bogotá > Dan Walsh, artist, New York > Stephen Wolfram, Wolfram Research, Champaign, IL > Hugh Woodin, Mathematics, University of California, Berkeley > Andrea Worm, Art History, University of Augsburg > Norma Claudia Yunez Naude, Cognitive Neuroscience Laboratory, Aix-Marseille > University > Jan Zwicky, Philosophy, University of Victoria > > Film program: > Andy Goldsworthy > David Hammons > Richard Serra > Andy Warhol > William Wegman > > Organizers: > Juliette Kennedy, Mathematics, University of Helsinki > Roman Kossak, Mathematics, Graduate Center and Bronx Community College, CUNY > Philip Ording, Mathematics, Medgar Evers College, CUNY > > For more information and to register, please visit the conference website at > http://www.s-i-m-p-l-i-c-i-t-y.org/ > > This conference is sponsored by the Clay Mathematics Institute, the Finnish > Cultural Foundation, FRAME Foundation, the Graduate Center, CUNY (Advanced > Research Collaborative, Committee for Interdisciplinary Science Studies, > Comparative Literature Program, Mathematics Program), and the National > Science Foundation. > > _______________________ > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/ > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
