Seminário de Ensino de Física Entropia e Informação (demonstração de um muito desejado teorema) Penha Maria Cardozo Dias (IF-UFRJ) Resumo: O conceito epistêmico de entropia (medida de informação) foi proposto por Leo Szilard (1929) em base a argumentos de plausibilidade, não sendo um teorema, além de envolver a operação de máquinas e seres do Hades. Novas ideias vieram da computação. Rolf Landauer mostrou que toda computação é irreversível, por causa da irreversibilidade das operações lógicas `p e q' e `p ou q'. Charles Bennett demonstrou que um computador de 3 fitas, em que a computação  é gravada em uma fita extra, é reversível; automaticamente, irreversibilidade fica associada a "informação apagada", quando o cálculo não é gravado e fica perdido. Nesta palestra, o teorema de Charles Bennett   é reconhecido como o tão sonhado teorema que demonstra o significado de entropia: entropia é   a medida da informação apagada (erased) ou que falta (missing). É suficiente demonstrar que existe uma relação 1-1 entre o computador de 3 fitas e a máquina térmica de Carnot.  A argumentação é feita, usando uma metáfora da máquina térmica. Substituindo `calor' por ar --- o bom e velho calórico --- torna-se óbvio que `informação' refere-se à quantidade de ar envolvida nos vários processos da operação da máquina. Além disso, na metáfora, a identificação das peças análogas às 3 fitas, respectivamente, é `clara e distinta'. Para completar o argumento, é preciso mostrar que a operação da máquina é regida por duas   leis, idênticas mutatis mutandis   às leis da Termodinâmica. Para isso, […]