As origens da teoria dos invariantes na Inglaterra e o Mécanique Analytique de Lagrange (1788)

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

Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

Um estudo do processo de reconhecimento histórico: o caso de Arthur Cayley

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Reconhecimento automático de locutor utilizando medidas de invariantes dinâmicas não-lineares

As técnicas utilizadas em sistemas de reconhecimento automático de locutor (RAL) objetivam identificar uma pessoa através de sua voz, utilizando recursos computacionais. Isso é feito a partir de um modelamento para o processo de produção da voz. A modelagem detalhada desse processo deve levar em consideração a variação temporal da forma do trato vocal, as ressonâncias associadas à sua fisiologia, perdas devidas ao atrito viscoso nas paredes internas do trato vocal, suavidade dessas paredes internas, radiação do som nos lábios, acoplamento nasal, flexibilidade associada à vibração das cordas vocais, etc. Alguns desses fatores são modelados por um sistema que combina uma fonte de excitação periódica e outra de ruído branco, aplicadas a um filtro digital variante no tempo. Entretanto, outros fatores são desconsiderados nesse modelamento, pela simples dificuldade ou até impossibilidade de descrevê-los em termos de combinações de sinais, filtros digitais, ou equações diferenciais. Por outro lado, a Teoria dos Sistemas Dinâmicos Não-Lineares ou Teoria do Caos oferece técnicas para a análise de sinais onde não se sabe, ou não é conhecido, o modelo detalhado do mecanismo de produção desses sinais. A análise através dessa teoria procura avaliar a dinâmica do sinal e, assumindo-se que tais amostras provêm de um sistema dinâmico não-linear, medidas qualitativas podem ser obtidas desse sistema. Essas medidas não fornecem informações precisas quanto ao modelamento do processo de produção do sinal avaliado, isto é, o modelo analítico é ainda inacessível. Entretanto, pode-se aferir a respeito de suaO problema analisado ao longo deste trabalho trata da busca de novos métodos para extrair informações úteis a respeito do locutor que produziu um determinado sinal de voz. Com isso, espera-se conceber sistemas que realizem a tarefa de reconhecer um pessoa automaticamente através de sua voz de forma mais exata, segura e robusta, contribuindo para o surgimento de sistemas de RAL com aplicação prática. Para isso, este trabalho propõe a utilização de novas ferramentas, baseadas na Teoria dos Sistemas Dinâmicos Não-Lineares, para melhorar a caracterização de uma pessoa através de sua voz. Assim, o mecanismo de produção do sinal de voz é analisado sob outro ponto de vista, como sendo o produto de um sistema dinâmico que evolui em um espaço de fases apropriado. Primeiramente, a possibilidade de utilização dessas técnicas em sinais de voz é verificada. A seguir, demonstra-se como as técnicas para estimação de invariantes dinâmicas não-lineares podem ser adaptadas para que possam ser utilizadas em sistemas de RAL. Por fim, adaptações e automatizações algorítmicas para extração de invariantes dinâmicas são sugeridas para o tratamento de sinais de voz. A comprovação da eficácia dessa metodologia se deu pela realização de testes comparativos de exatidão que, de forma estatisticamente significativa, mostraram o benefício advindo das modificações sugeridas. A melhora obtida com o acréscimo de invariantes dinâmicas da forma proposta no sistema de RAL utilizado nos testes resultou na diminuição da taxa de erro igual (EER) em 17,65%, acarretando um intrínseco aumento de processamento. Para sinais de voz contaminados com ruído, o benefício atingido com o sistema proposto foi verificado para relações sinal ruído (SNRs) maiores que aproximadamente 5 dB. O avanço científico potencial advindo dos resultados alcançados com este trabalho não se limita às invariantes dinâmicas utilizadas, e nem mesmo à caracterização de locutores. A comprovação da possibilidade de utilização de técnicas da Teoria do Caos em sinais de voz permitirá expandir os conceitos utilizados em qualquer sistema que processe digitalmente sinais de voz. O avanço das técnicas de Sistemas Dinâmicos Não-Lineares, como a concepção de invariantes dinâmicas mais representativas e robustas, implicará também no avanço dos sistemas que utilizarem esse novo conceito para tratamento de sinais vocais.

Invariantes homológicos relativos e dualidade de Poincaré

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

Um estudo sobre certos invariantes homológicos relativos duais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Decomposição de grupos e invariantes ends

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Dualidade de Poincaré e invariantes cohomológicos

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

Transformações de Lorentz e seus invariantes

In this paper, we will show the types of Lorentz transformations, from the most described in books, special Lorentz transformation that relates two inertial systems whose relative velocities are directed along an axis of the respective bases systems. However, we will see a peculiarity that goes unnoticed in this transformation, although they have reported in many books a parallel between the transformation inertial systems, due to the fact that the speed is parallel to an axis, it is actually a semi-parallel processing. The next transformation that we will see is one in which a system moves with a relative speed that has arbitrary direction with respect to a given system, we will show that this transformation may be appointed as non-rotational Lorentz transformation. Before obtain, the later type of transformation, the rotational Lorentz transformation, which is the interface between Special Relativity and General Relativity, we will describe the systems to be rotated, not just inertial systems, show what the characteristics are that define the non-rotational and rotational transformations. The in last topic of this chapter we will also show how the idea of Thoma’s theorythat uses this transformation to create what he defines as the proper coordinate axes of the particleused to obtain the factor 1/2 electron spin. In the last chapter we show how the Lorentz invariants are obtained, quantities measures that are also in different Lorentz reference, with the focus on mass that has erroneously been described in many books, that varies according to the agreement reference system

Existência de medidas invariantes em transformações contínuas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Älykkään suunnittelun teoria : Tutkimus kansanomaisen psykologian ja biologian yhteydestä kreationistiseen ajatteluun

Tutkimuksen kohteena on (uus)kreationistinen älykkään suunnittelun (Intelligent Design) teoria. Tutkimus on luonteeltaan teoreettinen ja lukeutuu kognitiivisen uskonnontutkimuksen alaan. Näkökulmana on tarkastella älykkään suunnittelun teorian mukaista ajattelua ihmisen intuitiivisena taipumuksena ymmärtää luontoa ja luonnossa esiintyviä mekanismeja. Esimerkkinä intuitiivisesta päättelystä tarkastellaan erityisesti kansanomaisen psykologian (folk psychology) ja kansanomaisen biologian (folk biology) mukaista ajattelua. Tutkimuksessa kysytään: ilmeneekö älykkään suunnittelun teoriassa mahdollisesti kansanomaisen psykologian ja biologian mukaista ajattelua? Ensimmäiseksi käsitteellistetään älykkään suunnittelun teoria ja esitellään tutkimuksen aineisto. Esille tulevat yhteydet Yhdysvaltojen uskonnolliseen ilmapiiriin, kristillisten kreationististen suuntausten jatkumoon sekä evoluutioteoriaan. Aineisto koostuu älykkään suunnittelun teoriaa kehitelleen Michael J. Behen todistajanlausunnosta Doverin oikeudenkäynnissä, jossa arvioitavana oli älykkään suunnittelun teorian mahdollinen tieteellisyys ja uskonnollisuus. Tutkimuksen teoreettisessa viitekehyksessä määritellään tarkemmin, minkälaisiin ajattelutapoihin kansanomaisella, tieteellisellä ja uskonnollisella ajattelulla tutkimuksessa viitataan. Tämän jälkeen esitellään teoreettiset työvälineet - kansanomaisen psykologia ja biologia. Teoriaosuudessa tarkennetaan myös kansanomaisen, tieteellisen ja uskonnollisen ajattelun suhdetta intuitiiviseen ja intuitionvastaiseen ajatteluun, sekä määritellään kolmas termi epäintuitiivisuus. Teoriaosuus perustuu pääasiassa kognitiivisen uskonnontutkimuksen alaan lukeutuvien tutkijoiden, kuten Scott Atranin, Pascal Boyerin, Robert N. McCauleyn ja Ilkka Pyysiäisen julkaisuihin. Tutkimuksessa tarkastellaan myös evoluutioteorian ymmärtämistä tutkineen E. Margaret Evansin tutkimuksia. Analyysissä teoreettisia huomioita havainnollistetaan aineistosta löydettyjen esimerkkien kautta. Teoriaohjaavan sisällönanalyysin kautta Behen todistajanlausunnosta nostetaan esille erityisesti kansanomaisen psykologian ja biologian mukaiset ajattelun tavat. Analyysissä tarkastellaan, mitä tutkimuslöydösten avulla voidaan selittää älykkään suunnittelun teorian edustamasta kreationistisesta ajattelusta. Tutkimustuloksena esitetään, että älykkään suunnittelun teoria mukailee monilta osin sekä kansanomaista psykologiaa että kansanomaista biologiaa. Älykkään suunnittelun teoriassa muodostetaan intuitiivinen ideakokonaisuus maailmasta/ eliökunnasta ja sen aiheuttaneesta intuitionvastaisesta toimijasta. Mahdolliset epäintuitiiviset elementit, kuten luonnonvalinta ja kristillinen teologia, ovat teoriassa olemattomat. Tutkimuksessa osoitetaan, että kreationistista ajattelua voidaan perustellusti tarkastella ihmiselle intuitiivisena taipumuksena ymmärtää luontoa.

John Searlen teoria tietoisuudesta

Tutkielmassa esitellään ja arvioidaan John Searlen teoriaa tietoisuudesta. Tietoisuus (consciousness) on Searlen mukaan tärkein mielenfilosofinen käsite. Searle ei määrittele käsitettä tarkasti, vaan tyytyy esittämään sitä kuvaavia esimerkkejä ja analogioita. Tietoisuuden keskeisimmiksi ominaisuuksiksi Searlen teoriassa näyttävät muodostuvan intentionaalisuus (intentionality), subjektiivisuus (subjectivity) ja kausaalinen vaikutus käyttäytymiseen (mental causation). Näihin ominaisuuksiin liittyvät myös Searlen painavimmat tietoisuudesta esittämät argumentit. Argumenttien analysointi on tutkielman tärkein tavoite. Searlen yhteysperiaatteen (Connection Principle) mukaan intentionaalisia tiloja voi olla vain olennolla, jolla voi olla tietoisia intentionaalisia tiloja, ja jokainen alitajuinen intentionaalinen tila on ainakin potentiaalisesti tietoinen. Toisin sanoen intentionaalisuuden ja tietoisuuden välillä vallitsee välttämätön yhteys seuraavasti: on loogisesti välttämätöntä, että jokainen intentionaalinen tila voi ainakin periaattessa päästä tietoisuuteen.Tutkielmassa kuitenkin osoitetaan, että yhteysperiaateeseen on syytä suhtautua epäillen. Searlen yhteysperiaatteen puolesta esittämä argumentti näyttää nimittäin sisältävän dilemman. Jos erottelu intrinsiseen ja näennäiseen intentionaalisuuteen tulkitaan Searlen tavoin, syyllistytään sen olettamiseen, mikä pitäisi todistaa; jos taas erottelu tulkitaan toisin kuin Searle, argumentti ei tue yhteysperiaatetta. Searlen mukaan mentaaliset tilat ovat aina jonkun mentaalisia tiloja. Tästä väitteestä Searle pyrkii johtamaan toisen, paljon radikaalimman väitteen: mielen ilmiöt kuuluvat omaan ontologiseen kategoriaansa, subjektiivisten mentaalisten tilojen kategoriaan. Searlen käsitystä tukee Thomas Nagelin esittämä, hyvin samansisältöinen argumentti. Yksimielisyys ei kuitenkaan ole erehtymättömyyden tae, sillä Paul Churchlandin kritiikki näyttää pahasti horjuttavan Searlen subjektiivisuusargumentin uskottavuutta. Churchland väittää Searlen syyllistyvän intensionaaliseen virhepäätelmään. Yksittäisen henkilön episteemisen pääsyn rajoittuneisuudesta ei Churchlandin mukaan voida tehdä mitään ontologisia johtopäätöksiä, koska tiedetyksi tuleminen ei ole objektin aito ominaisuus. Vastaväite näyttää olevan kohtalokas Searlen subjektiivisuusargumentille. Subjektiivisuuden ongelma näyttää olevan perustava metafyysinen vedenjakaja, joka jakaa mielenfilosofiset teoriat toisaalta materialistisiin, toisaalta dualistisiin. Searle uskoo, että mieli-ruumis -ongelma (mind-body problem) on ratkaistavissa ilman, että tarvitsee valita kumpaakaan. Ratkaisu sisältyy kahteen Searlen näennäisesti yhteensopimattomaan teesiin. Ensimmäisen teesin mukaan mentaaliset tilat ovat todellisia ilmiöitä, eikä niitä voida redusoida mihinkään muuhun tai eliminoida määrittelemällä ne uudestaan. Toisen teesin mukaan aivojen operaatiot aiheuttavat mentaaliset tilat ja mentaaliset tilat ovat aivojen piirteitä. Teeseistä jälkimmäinen osoittautuu ongelmalliseksi syistä, jotka Jaegwon Kim on esittänyt. Jos mentaaliset tilat olisivat aivojen ominaisuuksia, ei mielen ja aivojen välinen suhde voisi olla kausaalinen, koska kausaatiossa (causation) on aina kyse kahden erillisen entiteetin tai tapahtuman välisestä relaatiosta, jossa suhteen osapuolien välillä on oltava ajallista etäisyyttä. Toiseksi Searlen vertaus tietoisuuden ja aivojen suhteesta kappaleen kiinteyden ja sen mikrorakenteen suhteeseen epäonnistuu, koska tietoisuus ja kiinteys kuuluvat Searlen teoriassa eri ontologisiin kategorioihin, eikä niitä siten voi ongelmattomasti rinnastaa. Searlen analogia kiinteyteen murtuu myös siksi, että kappaleen mikrorakenne ei yksinkertaisesti aiheuta sen kiinteyttä. Tietoisuus ei siis voi olla samanaikaisesti aivojen ominaisuus ja aivojen kausaalisen toiminnan seuraus. Tutkielmassa päädytään puolustamaan kantaa, että Searlen argumentit eivät ole vakuuttavia ja että Searle ei ole onnistunut eksplikoimaan teoriaa, joka välttäisi dualismiin ja materialismiin liittyvät tunnetut ongelmat. Kysymys mikä on mielen suhde ruumiiseen, jää siten avoimeksi. Avainsanat: intentionaalisuus, mentaalinen, mieli-ruumis -ongelma, Searle, subjektiivisuus, tietoisuus

Manual de teoria: Microbiologia veterinaria II

El Manual de Teoría de Microbiología II tiene como principal objetivo reunir la mayor información básica de los contenidos establecidos en el programa de la asignatura, de esta forma los estudiantes adquieran los conocimientos necesarios. Les aporta además la forma estructurada para el aprendizaje, lo cual le posi- bilita un método de estudio y establecer las interrelaciones necesarias para un estudio sistemático. Como texto básico podrá después utilizar textos con mayor información teniendo de antemano los conocimientos previos y necesarios. La información reunida en el presente Manual de Microbiología II es el resultado de la recopilación de la información de autores y especialistas, solo nos correspondió sobre las experiencias de los que nos precedieron reunir y estructurar los contenidos. Es necesario establecer para su estudio un pensamiento lógico y de constante interrelación y a la vez de integración hacia el desarrollo de un pensamiento independiente y creativo. Es muy importante establecer un estudio sistemático y el uso de la síntesis y a la vez emplear un método científico, elevada avidez por saber y profundizar para adquirir la formación de un profesional preparado y capacitado para asumir las responsabilidades en el cumplimiento de sus compromisos sociales.