Poesia digital: três leituras da Obra de Jason Nelson

The development of digital technologies has opened up a new niche for artistic production. It began to emerge artworks that could only happen in the digital context. In this study, we investigated the syntax of defining digital poetry, recognized internationally as one of the possibilities of this new artistic practice, and how happens the meaning during the reading process. As research corpus, we chose the poem "Birds Still Warm From Flying", by american poet Jason Nelson. And we structure our analysis looking through three perspectives: the digital poem as a game; as the evolution of experimental trends of twentieth-century poetry; and as a representation of Rubik`s Cube, a famous three-dimensional puzzle from the 1970`s. Initially, we made some considerations about the construction of digital poetry as a hypermedia artwork, looking through convergence and hybridization of artistic and media languages. Then, we saw some similarities between Nelson`s poem and electronic games, based on our critical observations about the concept of interactivity. Subsequently, we wrote a historical overview about the poetic experimentation in the twentieth century, bringing examples of sound poetry and visual poetry as evidence that the birth of digital poetry is also the result of the evolution of these experiments. Finally, we use the Charles Sanders Peirce`s semiotics to analyze the signs that give references able to make us recognize the Rubik`s Cube in "Birds Still Warm From Flying"

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

El pensamiento de Carlos Nelson Coutinho: interpretar el Brasil

El presente artículo muestra una interpretación de Brasil a partir de la fecunda apropiación del pensamiento de Gramsci por el intelectual brasileño de izquierda Carlos Nelson Coutinho. Se destaca la osadía intelectual que caracteriza su producción a lo largo de cinco décadas en la búsqueda permanente de la ampliación conceptual como superación dialéctica, siendo fiel a la relación fundante entre historia y teoría política. A partir de una revisión del pensamiento de Coutinho, las autoras analizan el proceso de modernización de Brasil en el tránsito al capitalismo por la vía de la revolución pasiva. Se rescatan aportes de Coutinho sobre las configuraciones estatales en la historia brasileña, enfatizando el proceso de occidentalización con la ampliación del Estado a través de la actuación política de la sociedad civil que emerge de las entrañas de la dictadura militar. Se trata de una producción en proceso que delinea vías analíticas para trabajar el marxismo en movimiento propugnado por Coutinho

A recepção das ideias estético-literárias de Lukács em Leandro Konder e Carlos Nelson Coutinho: análise de suas produções teórico-críticas

Pós-graduação em Ciências Sociais - FCLAR

Um olhar sobre as contribuições do professor Nelson Onuchic para o desenvolvimento da matemática no Brasil

Pós-graduação em Educação Matemática - IGCE

De Vidas Secas à Memórias do Cárcere: um percurso de Nelson Pereira dos Santos

Pós-graduação em História - FCHS

A incomunicabilidade no teatro de Nelson Rodrigues

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Tópicos de equações diferenciais com retardamento: uma abordagem segundo o trabalho do Prof. Nelson Onuchic

Pós-graduação em Matemática Universitária - IGCE

O desenvolvimento da pesquisa em equações diferenciais no ICMC-USP: contribuição de Nelson Onuchic. -

Pós-graduação em Matemática Universitária - IGCE

A fortuna crítica de Vestido de Noiva e Álbum de Família, de Nelson Rodrigues: casamento e/ou divórcio?

Pós-graduação em Letras - IBILCE

Marxismo e literatura: a recepção do pensamento de György Lukács em Leandro Konder e Carlos Nelson Coutinho

O autor discute o significado da recepção das ideias estético-literárias de György Lukácz nas obras de dois dos pensadores brasileiros mais expressivos que se valeram das formulações do autor húngaro nesse campo - Leandro Konder e Carlos Nelson Coutinho, que não teriam se limitado à mera reprodução local das concepções do intelectual estrangeiro, mas teriam buscado testar seus limites e até enriquecê-las a partir de reflexões próprias. O livro retoma o contexto de renovação do marxismo no país, abalado pela crise do socialismo real em meio a denúncias dos crimes do regime stalinista, compreendendo o trabalho de Konder e Coutinho como parte daquele esforço e buscando demarcar as especificidades de cada um sem, no entanto, deixar de notar a curiosa complementaridade presente nas atividades teóricas dos dois pensadores. No caso de Leandro Konder, é destacada sua inclinação enciclopédica e seu desejo de apresentar ao público brasileiro, com riqueza de detalhes, o então desconhecido teórico marxista, o que não o impediu de realizar críticas a pontos que julgasse problemáticos. Já Carlos Nelson Coutinho demonstra um trato diferente em relação à obra lukacsiana, desde seus primeiros escritos procurando aplicá-la à realidade e aos autores brasileiros, evitando cacoetes mecanicistas