Escrevi nesse livro um artigo intitulado El Aleph, em referência a Borges. Há uma infinidade de objetos matemáticos que contem em si toda a matemática axiomatizada - qualquer sistema formal com o conjunto de teoremas sendo recursivamente enumerável, na verdade. Dou um exemplo de tal objeto no artigo.
2018-03-04 3:18 GMT-03:00 Francisco Antonio Doria <famado...@gmail.com>: > Quem concebeu tudo, e organizou o desenho básico foi o Shyam, CS erudito > alem da hard science. Fui convidado por ele para palpitar, sugerir, opinar: > essa minha função. > > 2018-03-03 15:24 GMT-03:00 Walter Carnielli <walter.carnie...@gmail.com>: > >> Olá Dória, parabens! >> Com prefácio de Sir Roger Penrose, e posfácio de Dagfinn Follesdal, >> o recheio deve estar excelente! >> >> Abraços, >> >> Walter >> >> >> Já o havia anunciado; ei-lo, publicado. >> >> >> >> >> >> https://www.amazon.com/Map-Territory-Exploring-Foundations- >> Collection-ebook/dp/B079SV43LR/ref=sr_1_1?ie=UTF8& >> qid=1520031609&sr=8-1&keywords=wuppuluri >> >> >> >> >> >> -- >> >> fad >> >> >> >> ahhata alati, awienta Wilushati >> >> >> >> -- >> >> Você está recebendo esta mensagem porque se inscreveu no grupo >> "LOGICA-L" dos Grupos do Google. >> >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >> >> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. >> >> Visite este grupo em https://groups.google.com/a/di >> map.ufrn.br/group/logica-l/. >> >> Para ver esta discussão na web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CA%2BuR7BJrbqytA9Se-u5Kv%2BV1u >> aaL2ri2gzV4hLTdtkdM4OmiyQ%40mail.gmail.com. >> >> >> > >> > >> > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ >> > ITALA M. LOFFREDO D'OTTAVIANO >> > Centre for Logic, Epistemology and the History of Science - CLE >> > State University of Campinas - UNICAMP >> > Sergio Buarque de Holanda, 251 Street >> > ZIP CODE 13083-859 - Campinas-SP, Brazil >> > Fax: +55-19-3289-3269 -- Tel.:+55–19-3521-6517 >> > www.cle.unicamp.br >> > >> > -- >> > Você está recebendo esta mensagem porque se inscreveu no grupo >> "LOGICA-L" dos Grupos do Google. >> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >> > Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. >> > Visite este grupo em https://groups.google.com/a/di >> map.ufrn.br/group/logica-l/. >> > Para ver esta discussão na web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/430600eaade304bdbecec76ea62259f >> c.squirrel%40www.cle.unicamp.br. >> >> >> >> -- >> ----------------------------------------------- >> Walter Carnielli >> Centre for Logic, Epistemology and the History of Science and >> Department of Philosophy >> State University of Campinas –UNICAMP >> 13083-859 Campinas -SP, Brazil >> Phone: (+55) (19) 3521-6517 >> Institutional e-mail: walter.carnie...@cle.unicamp.br >> Website: http://www.cle.unicamp.br/prof/carnielli >> CV Lattes : http://lattes.cnpq.br/1055555496835379 >> >> -- >> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" >> dos Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. >> Visite este grupo em https://groups.google.com/a/di >> map.ufrn.br/group/logica-l/. >> Para ver esta discussão na web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CA%2Bob58MA%2BvogPn3fA7xxYw-EL >> ZbrjESBaAjyTEMVVSSu7y3npw%40mail.gmail.com. >> > > > > -- > fad > > ahhata alati, awienta Wilushati > -- fad ahhata alati, awienta Wilushati -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2BuR7BJvhabmGNTg%2B0OVgy2%2BifoD5rAzUvQufofAnm-H9po%3DRA%40mail.gmail.com.
