Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-22T15:04:13Z (GMT). No. of bitstreams: 1 Almeida_EdgarLuisBezerrade_M.pdf: 946200 bytes, checksum: e8e316a3ee7420c8d7f45a751651a436 (MD5) Previous issue date: 2013 / Resumo: Esta Dissertação apresenta uma definição de lógica abstrata e caracteriza alguns sistemas lógicos bastante conhecidos na literatura como casos particulares desta. Em especial, mostramos que a lógica de primeira ordem, lógica de segunda ordem, lógica com o operador Q1 de Mostowski e a lógica infinitária L!1! são casos particulares de lógicas abstratas. Mais que isso, mostramos que tais lógicas são regulares. Na análise de cada uma das lógicas acima citadas, mostramos o comportamento das mesmas com relação às propriedades de Löwenheim-Skolem e compacidade enumerável, resultados estes centrais à teoria de modelos. Nossa análise permite-nos constatar que, dentre os quatro casos apresentados, o único que goza de ambas as propriedades é a lógica de primeira ordem; as demais falham em uma, na outra ou em ambas as propriedades. Mostramos que isso não é mera coincidência, mas sim um resultado profundo, que estabelece fronteiras bem delimitadas à lógica de primeira ordem, conhecido como primeiro teorema de Lindström: se uma lógica é regular, ao menos tão expressiva quanto à lógica de primeira ordem e satisfaz ambas as propriedades citadas, então esta é equivalente a lógica de primeira ordem. Realizamos uma prova cuidadosa do teorema, em que cada ideia e cada estratégia de prova é estabelecida criteriosamente. Com seu trabalho, Lindström inaugurou um novo e profícuo campo de estudo, a teoria abstrata de modelos que estabelece, com relação a diversas combinações de propriedades de sistemas lógicos, uma estratificação entre lógicas. Apresentamos um outro exemplo de tal estratificação através de uma versão modal do teorema de Lindström, versão esta que caracteriza a lógica modal básica como maximal quanto a bissimilaridade e compacidade. Encerramos esta Dissertação com algumas considerações acerca da influência do primeiro teorema de Lindström / Abstract: This thesis presents the definition of abstract logic and features some quite logical systems presented in the literature as particular cases of this. In particular, we show that first-order logic, second-order logic, the logic with Mostowski's operator Q1 and the infinitary logic L!1! are specific systems of abstract logic. Moreover, we show that such logics are regular. In the analysis of each above mentioned logical systems we analyses his performance with regard to the properties of compactness and Löwenheim-Skolem, results that have important role in model theory. Our analysis allows us to conclude that among the four cases, the only one who enjoys both properties is the first-order logic, and all others fail in one, other or both properties. We show that this is not mere coincidence, but rather a deep, well-defined boundaries establishing the first-order logic, known as first Lindström's theorem: a regular logic that is at least as expressive as first-order logic and satisfies both properties mentioned, then this is equivalent to first-order logic. We conducted a thorough proof of the theorem, in which each idea and each proof strategy is carefully established. With his work Lindström inaugurated a new and fruitful field of study, the abstract model theory, which establishes with respect to different combinations of properties of logical systems, stratification between logical. Here is another example of such stratification through one of the theorem of modal version Lindström, which characterizes this version of the logic basic modal such as maximal bissimimulation and compactness. We conclude the thesis with some considerations about the influence of the Lindström's theorem / Mestrado / Filosofia / Mestre em Filosofia

Orientadores: Margarida Pinheiro Mello, Maria Aparecida Diniz Ehrhardt / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-22T15:49:27Z (GMT). No. of bitstreams: 1 Ferreira_DaianeGoncalves_M.pdf: 1441315 bytes, checksum: 1196d8b21c6254dbdd0e0d68266fa707 (MD5) Previous issue date: 2013 / Resumo: Métodos de Otimização de terceira ordem, embora de longa tradição, eram considerados, até passado recente, impraticáveis, devido à taxa com que o esforço computacional cresce em função da dimensão do problema. Avanços no desenvolvimento de estruturas de dados, rotinas que trabalham com estas estruturas e a exploração da esparsidade de grande parte dos problemas encontrados na prática já permitem implementações destes métodos que podem torná-los competitivos com métodos de segunda ordem. O objeto desta dissertação é a apresentação do método de Halley, um método de terceira ordem, sua implementação em MATLAB e a realização de testes computacionais, visando uma comparação empírica de sua eficiência frente ao método de Newton, o método de segunda ordem mais empregado na atualidade / Abstract: Higher order optimization methods, though of long-standing tradition, until recently have been deemed impractical, due to the rate of increase of the computational effort as a function of the size of the problem. Advances in the development of data structures, routines that work with these structures and the use of the sparsity of a vast range of practical problems have led to implementations of these methods that are competitive with second order methods. The object of this dissertation is the study of Halley's method, a thirdorder method, the development of a MATLAB implementation thereof and its testing, aiming at an empirical comparison of its efficiency against that of Newton's method, the second-order method most widely used today / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T21:04:12Z (GMT). No. of bitstreams: 1 Tassinari_RicardoPereira_D.pdf: 1211433 bytes, checksum: 0edefc8fa8eb0b9895dac7b85a9aa2de (MD5) Previous issue date: 2003 / Resumo: Os Teoremas da Incompletude de Gödel têm sido, recorrentemente, citados nos estudos sobre auto-organização, como propiciando exemplos de processos não-mecânicos e verdadeiramente auto-organizados. Um dos fundamentos desses estudos está relacionado às análises que afirmam que os resultados obtidos por Gödel, associados à Tese/Definição de Church sobre calculabilidade, implicam na impossibilidade de uma modelagem mecânica completa de processos relativos à cognição humana. Dois desses processos que podem ser citados como auto-organizados, e cuja não-mecanicidade decorreria dos teoremas de Gödel, seriam os processos de determinação de fórmulas verdadeiras de teorias aritméticas de primeira ordem e de determinação de fórmulas verdadeiras de lógicas de ordens superiores, já que existem resultados lógico-matemáticos de incompletude desses sistemas formais. O objetivo central desta Tese consiste em analisar esses processos de determinação de verdades aritméticas e de verdades de lógicas de ordens superiores, a partir de uma análise dos resultados decorrentes dos teoremas de Gödel e da Teoria da Auto-Organização de Debrun, para mostrar que eles constituem processos não-mecânicos, segundo a acepção da Tese/Definição de Church, e auto-organizados, segundo Debrun. Apresentamos, preliminarmente, uma demonstração cuidadosa do Segundo Teorema da Incompletude de Gödel e uma introdução à Teoria da Auto-Organização de Debrun; bem como realizamos uma análise detalhada de como os resultados obtidos a partir do Segundo Teorema de Gödel permitem concluir que existem processos não-mecânicos, no sentido da Tese/Definição de Church, por argumentos distintos dos utilizados em alguns trabalhos da literatura. Mostramos que sempre existe um sistema formal cujo conjunto de teoremas é exatamente o conjunto de fórmulas determinadas como verdadeiras por qualquer função recursiva parcial que simule a capacidade humana de determinação de verdades aritméticas de primeira ordem e de verdades de lógicas de ordens superiores, enquanto, segundo o Segundo Teorema da Incompletude de Gödel, não existem sistemas formais cujos teoremas sejam todas as fórmulas que conseguimos identificar como verdadeiras / Abstract: Gödel¿s Incompleteness Theorems have been mentioned in the studies on self-organization as providing examples of non-mechanical and truly self-organized processes. One of the fundaments of these studies is related to the analyses that assert that Gödel¿s results, associated to Church¿s Thesis/Definition on calculability, imply the impossibility of complete mechanical modeling of processes related to human cognition. Two of these processes that can be mentioned as self-organized, whose non-mechanicity is implied by Gödel¿s theorems, would be the process of determination of true formulae of first order arithmetical theories and the process of determination of true formulae of higher-order logics, since there are logical-mathematical results on the incompleteness of these formal systems. The central aim of this Thesis is to analyze these processes of determination of first order arithmetical truths and higher-order logical truths, from an analysis of the results from Gödel¿s theorems and Debrun¿s Self-Organization Theory, in order to show that these processes constitute non-mechanical self-organized processes, according to Church¿s Thesis/Definition and Debrun¿s Theory. Preliminarily, we present a careful proof of Gödel¿s Second Incompleteness Theorem and an introduction to Debrun¿s Self-Organization Theory; as well as we analyze, in detail, how the results obtained from Gödel¿s theorems allow us to conclude that non-mechanical processes exists, in the sense of Church¿s Thesis/Definition, by using arguments that do not appear in known papers in the literature. We show that there is always a formal system whose set of theorems is exactly the set of formulae determined as true by any partial recursive function that simulates the human capability of determination of first order arithmetical truths and higher-order logical truths, while, according to Gödel¿s Second Incompleteness Theorem, there is no formal system whose theorems are all the formulae that we can identify as true formulae / Doutorado / Doutor em Filosofia

Made available in DSpace on 2014-06-12T18:28:40Z (GMT). No. of bitstreams: 2 arquivo637_1.pdf: 901737 bytes, checksum: 0ab7823a865239707eb0c5143fe95131 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Usando métodos variacionais e o método de sub e super soluções, neste trabalho estudamos existência e multiplicidade de soluções para algumas classes de problemas elípticos singulares envolvendo crescimento crítico do tipo Trudinger-Moser. Tratamos também de uma generalização para desigualdade de Trudinger-Moser e a existência de uma função extremal. A prova deste resultado é baseada na análise de blow-up

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T03:51:10Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_D.pdf: 2474337 bytes, checksum: 7ed081ca3994305f5b416383e9264734 (MD5) Previous issue date: 2004 / Doutorado / Filosofia / Doutor em Filosofia

Conselho Nacional de Desenvolvimento Científico e Tecnológico / Experimental data show that the dissolved impurities of the Mn presents a magnetic moment when substitute the Ni atom in pseudoquaternary borocarbide Y (Ni(1−x)Mx)2B2C, this is not observed if the impurities are Fe and Co. In this work we do a theoretical study of the superconducting order parameter variation and a possible formation of impurities magnetic moment to T < Tc. We have used the LAPW method, based in Density Functional Theory, to calculate the density of state of pure compound. To describe the superconductor system it was used the attractive Hubbard model. To describe the effects of the disorder induced by the dissolved impurities was used the coherent potential approximation. Using the Nambu s formalism to represent the Hamiltonian and the Green s functions of the effective medium (g) and of the perturbed system (G), we calculate the magnetic moment of the impurities from the diagonal terms and the variation of the order parameter from the off-diagonal one. The calculated date to magnetic moment show a qualitative agreement with the experimental results to Mn impurities. To the Fe and Co cases no magnetic moment was observed, in agreement with the experimental results too. The calculated order parameter shows a decrease with concentration to the Mn and Fe atoms. We investigate, through of the a calculation first principles (LAPW), the possible formation of the magnetic moment in this compound to concentration of 25 and 12.5%. The obtained results show that to concentration of 25%, both the impurities, Mn and Fe, presents a magnetic moment. The magnetization on the Co site was small when compared with the above cases. In this way we conclude that the Co atom not present a magnetic moment in this system. / Medidas experimentais mostram que impurezas de Mn formam momento magnético quando substituem o Ni no borocarbeto pseudoquaternário Y (Ni(1−x)Mx)2B2C, enquanto que as impurezas de Fe e de Co não exibem tal comportamento. Neste trabalho foi feito um estudo teórico da variação do parâmetro de ordem supercondutor e da possível formação de momento magnético nos sítios dessas impurezas para T < Tc. Para isso, utilizamos o m´etodo LAPW, baseado na Teoria do Funcional da Densidade, para calcular a densidade de estados do composto puro. Para descrever o sistema supercondutor foi utilizado o modelo de Hubbard atrativo. Os efeitos de desordem induzidos pela adição de impurezas de metais de transição M no material, foram tratados dentro da aproximação do potencial coerente. Usando o formalismo de Nambu para representar o hamiltoniano e as funções de Green associadas aos propagadores do sistema efetivo (g) e do sistema perturbado (G), calculamos o momento magn´etico das impurezas através dos termos diagonais e as variações do parâmetro de ordem efetivo a partir do termo fora da diagonal. Os resultados obtidos comprovam o que é observado experimentalmente, ou seja, o Mn forma momento magn´etico que aumenta com a concentração, enquanto que nas impurezas de Fe e Co nenhuma magnetização foi observada. Além disso, o parâmetro de ordem diminui com a concentração de Mn e Fe. Além desse estudo, também investigamos, através de um cálculo de primeiros princípios (LAPW), a possível formação de momento magnético neste composto para concentrações de 25 e 12.5%. Os resultados obtidos mostraram que para x = 25%, tanto as impurezas de Mn quanto as de Fe, apresentaram um momento magnético. A magnetização no síıtio do Co foi bastante pequena comparada com as duas anteriores e dessa forma pode-se concluir que esta impureza não forma momento quando diluída neste sistema.

[pt] O tema da presente dissertação é o problema da demarcação entre os termos lógicos e extralógicos no âmbito das ciências formais, anunciado primeiramente por Alfred Tarski em seu artigo de 1936, On the Concept of Logical Consequence. Depois de expor e discutir o problema em questão, mostrando seu surgimento a partir da necessidade de uma definição materialmente adequada do conceito de conseqüência lógica, analisamos a solução formulada por Tarski em um artigo publicado postumamente, intitulado What Are Logical Notions? Algumas discussões subsidiárias, igualmente importantes para o trabalho como um todo, dizem respeito à concepção dos conceitos de modelo e interpretação que se podem depreender dos artigos supracitados, e de como ela difere da assim chamada concepção standard em teoria de modelos. Nosso objetivo principal é mostrar o lugar ocupado pelo conceito de forma lógica na obra de Tarski, e de como sua concepção acerca deste conceito implica uma visão ampliada do conceito de conseqüência lógica, cuja caracterização correta torna necessária a estratificação das formas lógicas numa hierarquia de tipos. / [en] The subject of this paper is the problem of demarcation between logical and extra-logical terms of formal languages, as formulated for the first time by Tarski in his 1936 paper On the Concept of Logical Consequence. After presenting and discussing the demarcation problem, pointing out how it arises from the need for a materially adequate definition of the concept of logical consequence, we analyze the solution presented by Tarski in his posthumously published paper, entitled What Are Logical Notions? Some subsidiary issues, that are also important for the work as a whole, concern the conception of model and interpretation that springs from the two papers mentioned, and how this conception differs from the standard conception in model theory. Our main goal is to show the place occupied by the concept of logical form in Tarski`s work, and how his conception of this concept implies a broader view about the related concept of logical consequence whose correct characterization makes necessary the stratification of logical forms into a hierarchy of types.

[pt] A implementação das decisões da Corte IDH no Brasil é o tema central deste trabalho. O objetivo é compreender a aparente contradição entre os esforços despendidos pelos estados na assinatura de Tratados, bem como o desenvolvimento de regimes internacionais de proteção dos direitos humanos e sua correspondente ineficiência em cumprir internamente as sentenças prolatadas pela Corte IDH. Indutivamente, a primeira observação é a de que empiricamente não há uma continuidade entre as ordens jurídicas interna e internacional, obstaculizada exatamente pela atuação do estado. Por conseguinte, há a necessidade de estudar mais afundo a organização política do estado em si, na tentativa de encontrar uma justificativa para o recorrente bloqueio do estado no cumprimento das sentenças da Corte IDH, já que em nenhum dos casos houve a declaração expressa de cumprimento das sentenças. Por isso, exploram-se as considerações teóricas de Tilly (1996), segundo o qual os estados cursariam trajetórias políticas próprias, não necessariamente seguindo os mesmos passos da Europa. Além disso, em coerência com a argumentação teórica do autor, segundo a qual a guerra seria um importante catalisador de transformações políticas do estado, atribui-se especial importância aos desdobramentos históricos da Segunda Guerra Mundial, tendo em vista ser a última guerra mais importante com repercussões profundas e abrangentes.Associando as teses de Tilly com as transformações decorrentes da Segunda Guerra Mundial, é possível apontar teoricamente pelo menos dois fatores capazes de influírem no cumprimento das decisões das sentenças da Corte IDH. O primeiro deles está relacionado à incorporação de instituições, oriundas do modelo europeu de formação do estado, em circunstâncias bastante diferentes e o segundo associado à relação entre estado e população/povo/cidadãos. Após tais constatações, os casos específicos de condenação contra o Brasil são analisados, bem como as medidas tomadas uma a uma. O objetivo passa a ser, então, compreender o problema inicialmente proposto, a partir do fundamento teórico apresentado. / [en] The implementation of the decisions of the IACHR in Brazil is the central theme of this work. The goal is to understand the apparent contradiction between efforts by states creating treaties and developing international regimes for the protection of human rights and their corresponding inefficiency in meeting internally the judgments issued by the Court. Inductively, the first observation was that empirically there is no continuity between the domestic and international legal systems, exactly hindered by the actions of the state. Therefore, it is necessary to study further deepen political organization of the state itself, as an attempt to find a justification for blocking of the state in compliance with the judgments of the IACHR, since in neither case were the express declaration of compliance sentences . Therefore the theoretical considerations of Tilly (1996) is explored, whereby the states would enroll own political careers, not necessarily following the same steps in Europe. Furthermore, in accordance with the theoretical arguments of the author, to which the war would be an important catalyst for policy change in state, it is possible to attribute special importance to the historical developments of World War II, in order to be the most important last war with deeper and more comprehensive impact . Associating with Tilly s theses changes resulting from the Second World War, it is theoretically possible to identify at least two factors that have influence in implementing the decisions of the judgments of the Court. The first one is related to the incorporation of institutions , derived from the European model of state formation in very different circumstances and the second associated with the relationship between state and population / people / citizens. After these findings, specific cases of condemnation against Brazil were analyzed as well as the measures taken one by one . The objective becomes, then, to understand the problem first proposed from theoretical foundation presented.

Orientadores: Kleber Roberto Pirota, Fanny Béron / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Física Gleb Wataghin / Made available in DSpace on 2018-08-31T01:32:45Z (GMT). No. of bitstreams: 1 CostaArzuza_LuisCarlos_D.pdf: 5838350 bytes, checksum: f92268a1c7835ed7d3d7f0a83abe2e63 (MD5) Previous issue date: 2016 / Resumo: Este trabalho visa estudar a inversão da magnetização de redes de nanofios de níquel modulados, incorporados em membranas porosas de alumina. A modulação do nanofio foi obtida a partir da variação do diâmetro, resultando em nanofios com dois segmentos. O diâmetro de cada segmento está ao redor do diâmetro crítico do Ni (40 nm), onde, abaixo e acima do mesmo, a inversão da magnetização acontece por meio de diferentes estruturas da parede de domínio; transversais e vórtex. A caracterização magnética das redes de nanofios foi feita usando simulações micromagnéticas e curvas de histerese magnética e de reversão de primeira ordem (método FORC). As medidas foram realizadas em vários arranjos de nanofios ordenados com diferentes razões de comprimento e diâmetros de segmentos, e estas foram comparadas com o arranjo de nanofios sem variação do diâmetro. Simulações micromagnéticas em nanofios isolados e arranjo de nanofios de primeiros vizinhos, mostram que a estrutura da parede de domínio, a qual depende do diâmetro do segmento, sofre uma transformação ao cruzar a região da modulação do diâmetro, porém a dinâmica da transformação depende das dimensões de cada segmento do nanofio. O comportamento magnético experimental do arranjo é atribuído a um campo de interação não homogêneo entre os nanofios, o qual surge devido a modulação do diâmetro. Este campo dá origem a uma interação mais forte na extremidade com diâmetro maior em relação à extremidade com diâmetro menor, resultando em um comportamento da susceptibilidade bastante complexo. Consideramos como principal resultado deste trabalho à possibilidade de controlar o mecanismo de inversão da magnetização em rede de nanofios modulados através da modulação do diâmetro. Os resultados obtidos foram interpretados através dos diagramas FORC, onde o processo dinâmico da inversão da magnetização é evidenciado por meio de diagramas estáticos (diagramas FORC), similar a uma foto estroboscópica / Abstract: We studied the magnetization reversal in modulated nickel nanowire arrays, embedded in porous alumina membranes. The modulation of the nanowire was obtained from the variation in diameter, resulting in nanowires with two segments. The diameter of each segment is below and above the critical diameter for Ni (40 nm), for which the reversal of magnetization changes from transversal to vortex domain wall structure. Magnetic characterization of nanowire networks was made using micromagnetic simulations, magnetic hysteresis and First-order reversal curves (FORC method). The measurements were performed in nanowire arrays with different ratios of length and diameter. The results were compared with the arrangement of nanowires without diameter variation. Micromagnetic simulations for isolated nanowires and nanowire array with few magnetic entities show that the structure of domain wall, which depends on the segment diameter, changes when it crosses the separation region of the diameter modulation and the dynamics of transformation depends on the dimensions of each nanowire¿s segment. The experimental magnetic behavior of the nanowire array is attributed to an inhomogeneous interaction field among the nanowires due to diameter modulation. This effect gives rise to a stronger interaction in the larger diameter segment resulting in a very complex susceptibility behavior. We consider the possibility to control the reversal magnetization mechanism in nanowire array through diameter modulation as the main result of this work. The results were interpreted using the FORC diagrams where the dynamic process of magnetization reversal is evidenced by static diagrams (FORC diagrams), similar to a stroboscopic picture / Doutorado / Física / Doutor em Ciências / 1060136/2011 / CAPES

Made available in DSpace on 2014-06-11T19:22:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-11-25Bitstream added on 2014-06-13T18:08:20Z : No. of bitstreams: 1 murayama_et_me_ia.pdf: 8954631 bytes, checksum: 7677f7f3604d5c963fa90e96204b991b (MD5) / Universidade Estadual Paulista (UNESP) / Esta pesquisa tem como objetivo descrever a redescoberta e o processo de restauro das pinturas inéditas do artista santista Jesuíno Francisco de Paula Gusmão (1764- 1819), mais conhecido como padre Jesuíno do Monte Carmelo, na Igreja da Ordem Terceira do Carmo de São Paulo. O resgate da chamada pintura invisível do padre artista só foi possível graças às suspeitas levantadas pelo crítico de arte Mário de Andrade (1893-1945). Estudando a pintura do artista santista, na década de 1940, o modernista desconfiou que o grosseiro painel central visível no teto da nave do templo dos terceiros carmelitas da capital – e que viria ainda a sofrer inúmeras interferências e retoques nas décadas posteriores – estava deslocado entre os elementos arquitetônicos e não condizia com os aspectos plásticos e estilísticos de Jesuíno, concluindo que a composição original do padre artista ainda poderia existir intacta, porém sob camadas de repintura. Com o tombamento da obra pictórica paulistana de Jesuíno pelo IPHAN, iniciaram-se os procedimentos de averiguação da teoria da pintura invisível, que resultou na recuperação de uma esplêndida pintura representando Nossa Senhora do Carmo cercada de anjos e querubins, observada com devoção pelos profetas Elias e Eliseu, e por uma corte de santos, beatos e mártires carmelitas. Análises e comparações com outras obras do artista santista justificam porque esta pintura pode vir a tomar o posto de melhor obra do padre Jesuíno, gerando, desse modo, uma revisão sobre a história da pintura colonial paulista / This research aims to describe the process of rediscovery and restoration of new paintings of Santos-born artist Jesuíno Francisco de Paula Gusmão (1764-1819), better known as Priest Jesuíno do Monte Carmelo, at the Church of the Third Order do Carmo of São Paulo. The rescue of the called invisible paint from this artist priest was only possible due to the suspicions raised by the art critic Mário de Andrade (1893-1945). Studying the Santos artist's painting, in the 1940s, the modernist writer suspected that the coarse central panel visible on the ceiling of the nave of the Carmelites Thirds Temple in the capital – which would still suffering from numerous interferences and touches in later decades – was displaced between architectural elements and did not fit the stylistic aspects and plastic of Jesuíno, concluding that the composition of the original artist priest could still be intact but under layers of repainting. With the toppling of Jesuíno’s paintings made in São Paulo by IPHAN, the procedures for reviewing the theory of invisible paint started and resulted in the recovery of a magnificent painting of Our Lady of Mount Carmel surrounded by angels and cherubs, devoutly observed by the prophets Elijah and Elisha, and by a court of Carmelite saints and beatified martyrs. Reviews and comparisons with other works by this Santos artist justify why this painting might take the place of the Priest Jesuíno best work, generating thus a review of the history of São Paulo colonial painting