CONSCIÊNCIA: RELAÇÕES ENTRE REDUTIBILIDADE E COMPUTABILIDADE
|
|
- Rubens Mendes de Santarém
- 6 Há anos
- Visualizações:
Transcrição
1 CONSCIÊNCIA: RELAÇÕES ENTRE REDUTIBILIDADE E COMPUTABILIDADE Rogerio Mandelli Doutorando HCTE UFRJ rogerio@hcte.ufrj.br Resumo: O proposto trabalho procura discutir algumas das ideias contemporâneas nos terrenos da filosofia da mente e da física e seus reflexos no cenário da inteligência artificial (IA). O problema da consciência é abordado de formas completamente diferentes e, em muitas delas, diametralmente divergentes. Buscase mostrar a possibilidade ou não da redutibilidade da consciência a sistemas físicos. Dentro dos limites estabelecidos da IA, pode-se conjecturar se os fatos físicos implicam os fatos mentais e estes então, possam ser considerados como apenas mais uma parcela do mundo concreto. Sob a ótica dos problemas, dificuldades e modelos apresentados, o ponto conclusivo do trabalho procura demonstrar e propor discussões sobre a redutibilidade e computabilidade da mente humana e seus limites. Palavras-chave: Consciência, mente, reducionismo, computação. Introdução O problema da consciência ocupa um lugar de destaque ao longo da história do pensamento ocidental. Esta intimamente relacionado a forma como vemos, ouvimos e interpretamos cada instante e como representamos e construímos a nossa realidade. A mente e seus processos correlatos afetam ou são afetados pelos processos físicos e biológicos. Nos primórdios da filosofia clássica, Heráclito, em seu fragmento número 45 afirma: Jamais seria possível descobrir os limites da alma, ainda que todos os caminhos fossem percorridos; tão profunda é a sua medida. (ROBINSON.2010). Vários campos da ciência (biologia, psicologia, etc.) não têm conseguido abarcar os fenômenos da mente de forma adequada. Dessa forma, o trabalho é uma tentativa de discutir ideias em que vertentes da filosofia, da física e da computação possam apontar caminhos mais promissores no campo de uma ainda tortuosa teoria unificada da consciência. Os Problemas da Consciência
2 O filósofo americano Thomas Nagel 1 admite que o fenômeno da consciência pode ser causado por estados físicos no cérebro, mas nega que qualquer análise de tais estados possa ser completa. Qualquer análise reducionista omite o caráter subjetivo da experiência consciente. Segundo ele, todas as tentativas realizadas, via análise reducionista, foram igualmente compatíveis com a ausência da experiência consciente. David Chalmers 2 classificou em duas frentes as dificuldades enfrentadas no estudo dos fenômenos da mente: 1) Problemas fáceis : capacidade de discriminar, categorizar e reagir a estímulos ambientais, etc. 2) Problemas difíceis : conhecidos também como o problema da experiência consciente ou qualia. Alguns exemplos: humor, criatividade, intuição. Decorrente ainda do contexto do problema difícil, encontra-se também o chamado binding problem (problema de ligação). Como a unidade da percepção consciente é provocada pelas atividades distribuídas do sistema nervoso central? Assim, unidade, neste sentido, não parece ter um significado físico, mas tem um caráter crucial na experiência subjetiva. John Searle 3 afirma que a consciência é causalmente redutível aos processos cerebrais, porém, sem ser passível a uma redutibilidade ontológica. Acredita que as propriedades mentais de uma pessoa são categoricamente diferentes de suas micro propriedades físicas. Estas últimas têm ontologia de terceira pessoa, enquanto as primeiras, uma ontologia de primeira pessoa. Superveniência e o Mundo Físico A noção de superveniência formaliza a ideia intuitiva de que um conjunto de fatos pode determinar totalmente outro conjunto deles. Por exemplo, uma vez que todas as leis físicas sobre o mundo são fixas, não há espaço para os fatos biológicos variarem. Isso fornece uma caracterização grosseira do sentido em que as propriedades biológicas sobrevêm das propriedades físicas. Alguns autores, entre eles CHALMERS (1996), apontam caminhos cujas argumentações se dirigem à ideia de que a consciência não é logicamente superveniente ao plano físico. Citamos a seguir alguns destes argumentos: 1 NAGEL (1974). 2 CHALMERS (1996). 3 SEARLE (2007).
3 a) Argumento do conhecimento: experimento hipotético formulado por Frank Jackson (1992) sobre a aquisição ou não de conhecimento quando vivenciamos novas experiências a partir de fenômenos físicos. O autor conclui: Se toda a informação acerca de fatos físicos não é suficiente para conhecermos fatos sobre a consciência, então o fisicalismo é falso. (JACKSON, 1982). b) Argumento da assimetria epistêmica: Conhecendo todos os detalhes sobre a física do universo, as relações de causalidade, tais informações não nos levaria a postular a existência da experiência consciente. O conhecimento da consciência provém da experiência individual e não de nenhuma observação externa. Mesmo quando se sabe tudo sobre os aspectos físicos e biológicos das outras criaturas, não há como afirmar com certeza se estas estão conscientes, ou quais são suas experiências. c) Argumento dos zumbis: possibilidade lógica de um mundo zumbi, onde seus habitantes são fisicamente idênticos a um ser humano consciente, mas que lhes faltam consciência da experiência consciente. De forma semelhante, o autor invoca um exemplo hipotético chamado de isomorfo de silício. Possui organização estrutural como um ser humano comum, mas contém chips de silício onde o ser comum possui neurônios. A partir desses casos, conclui que a existência da experiência consciente não é logicamente decorrente dos fatos sobre a organização funcional do sistema. A Visão Materialista Daniel Dennett defende o modelo chamado Modelo de Rascunhos Múltiplos 4, tentando mostrar que não há um único lugar central, por ele chamado de teatro cartesiano, onde ocorre a experiência consciente. O cérebro consiste de um pacote de atividades semi-independentes. Uma das declarações mais controversas do livro é a de que o conceito de qualia não pode existir. Afirma que nossos cérebros mantêm apenas alguns detalhes relevantes sobre o mundo e registramos apenas o que mudou e assumimos o resto permanecendo da mesma forma. De acordo com ele, a consciência encontra-se nas ações e fluxos de informação de local para local, em vez de alguma visão singular contendo nossa experiência. Física da Mente? Entidades emergentes (propriedades ou substâncias) 'surgem a partir de entidades mais fundamentais e ainda são estranhas ou irredutíveis em relação às mesmas. Alguns cientistas pesquisam a consciência como sendo uma propriedade emergente do cérebro, como o caso do físico americano Lazlo Barabási 5. As ciências da complexidade que emergem começam a sugerir que a ordem não é acidental. Leis da complexidade geram espontaneamente a maior parte da ordem do mundo natural. Só então a seleção natural entra em jogo, moldando e refinando depois. (KAUFFMAN, 1995). 4 DENNETT (1991). 5 BARABÁSI (2002).
4 Neste cenário, completado por Kauffman, o acaso promovido pela seleção natural sai da cena inicial e entra o determinismo da complexidade, baseado nas leis naturais. A ordem surge de forma espontânea, esta é a base da teoria. Ainda dentro dos limites das teorias da física, encontramos PENROSE (1994) que critica as perspectivas da chamada Inteligência Artificial (IA) forte. Partindo do teorema de Gödel e outras considerações, afirma que certos aspectos da consciência humana devem estar fora dos limites de qualquer sistema computacional, sendo, portanto, não computáveis. Segundo o autor, o ponto de partida deveria ser de onde todos os fenômenos da realidade surgem, em uma área onde nossas atuais teorias físicas são fundamentalmente incompletas. Esta incompletude é a questão não resolvida, referida como o problema da medição da Mecânica Quântica (MQ). Segundo ele, uma maneira de solucioná-la seria uma mudança da estrutura padrão da MQ através da introdução de uma forma objetiva de redução de estados quânticos chamada 'OR' (redução objetiva) 6. Sua controversa proposta baseia-se numa mudança na estrutura vigente da MQ, buscando uni-la de forma adequada à Relatividade Geral, isto é, na ainda aparentemente distante teoria quântica da gravitação. Nesta teoria, as componentes dos operadores 7 U e R são consideradas aproximações diferentes de um procedimento único, muito mais abrangente e exato. Esta abordagem penrosiana parece apontar para uma teoria monista, cujo elemento unificador tem um caráter essencialmente não algorítmico, não permitindo assim espaço para a computabilidade do sistema. Mentes e Computadores Os dois Teoremas da Incompletude de Gödel tornaram-se importantes na discussão da inteligência artificial. PENROSE (1994) acredita que os teoremas mostraram que o entendimento humano não se reduz a um conjunto de regras computacionais ou algoritmos, não permitindo se chegar a uma inteligência artificial forte. O que Gödel demonstrou e Penrose utiliza na discussão da mente e da inteligência artificial como uma ruptura de paradigma na lógica, é que nenhum sistema formal F pode ser ao mesmo tempo consistente e completo. Penrose 6 PENROSE (1996). 7 Procedimentos fundamentais da mecânica quântica.
5 classifica alguns níveis computacionais e os relaciona com as atividades cerebrais. São quatro diferentes pontos de vista extremos e possíveis para os limites da IA: A - Todo o pensamento reduz-se à computação e a experiência da consciência pode ser produzida através da computação apropriada (IA forte). B - A consciência decorre de processos físicos que ocorrem no cérebro e, embora elas possam ser simuladas em computador, as simulações por si só não produzem a consciência (Searle e Chalmers podem ser aqui enquadrados). C - As atividades físicas do cérebro que produzem a consciência não podem ser simuladas através de algoritmos computacionais (defendido por Penrose). D - A consciência nem se reduz à computação nem às atividades físicas do cérebro e não pode ser explicada cientificamente (não considerado pela ciência). PENROSE (1994) elege duas objeções à inteligência artificial forte (ponto de vista A): a) Funcionais: relativas ao comportamento criativo ou flexível que os seres humanos possuem; b) Não-computabilidade do pensamento matemático, baseado nos Teoremas da Incompletude de Gödel. Dessa forma, o autor baseia-se nos teoremas de Gödel para tentar provar que o papel da consciência não apresenta um caráter algorítmico ao formar juízos matemáticos e afirma que isto possa também ser aplicado às circunstâncias gerais do cotidiano. Dentro da teoria da computação o experimento mental do problema da parada de Alan Turing é um problema sobre decisão que pode ser assim declarado de maneira informal: Dada uma descrição de um programa e uma entrada finita, decida se o programa termina de rodar ou rodará indefinidamente, dada a referida entrada. (TURING, 1936). Turing provou que um algoritmo genérico para resolver o problema da parada, para todos pares / programa-entrada possíveis, não pode existir. Dizemos que o problema da parada é: indecidível nas Máquinas de Turing. Assim, quando admitimos que a consciência tenha evoluído através da seleção natural e que, analogamente acreditar que ações das consciências dos programadores de um computador são, em si, simples algoritmos, então devemos chegar à conclusão de que a mente tenha evoluído de forma semelhante. Mas a questão fundamental neste contexto refere-se ao problema da parada da máquina de Turing, pois decidir se um
6 algoritmo funciona ou não, requer um processo intuitivo e não apenas de procedimentos algorítmicos. O argumento do quarto chinês, imaginado por Searle 8 busca refutar os teóricos da IA forte e do funcionalismo. Baseia-se na presunção de que a sintaxe (gramática) não é garantia de existência da semântica (sentido). Searle preocupa-se com a questão da compreensão e se uma ação apropriada de um dado computador pode ser realizada para alcançar esta qualidade mental. Computadores Conscientes? Cientistas e filósofos acreditam que as leis da física são potencialmente computáveis, tornando assim totalmente plausível a simulação computacional do comportamento humano. Além das objeções já mencionadas, há as chamadas objeções experienciais, nomeadas assim por CHALMERS (1996). Admitem que os computadores possam simular o comportamento, mas lhes faltaria a parcela fenomenal da mente humana, não possuindo vida interna, ausência de experiência consciente e verdadeiro entendimento. Assim, perante tal cenário, um computador poderia fornecer apenas uma simulação da mente humana, mas não sua replicação. Apesar de partidário da irredutibilidade da consciência, Chalmers não possui uma visão crítica da IA forte. Identifica importantes questões sobre critérios de computabilidade: 1) A primeira diz respeito à força de conexão entre sistemas físicos e consciência: a consciência é constituída por processos físicos, ou esta simplesmente surge de processos físicos? 2) A questão está ligada à forma da conexão, onde a organização desta bastaria para que os sistemas físicos dessem lugar à consciência? Considera não óbvio que um determinado tipo de computação possa dar origem à consciência. Assim como processos físico-químicos no cérebro proporcionem também a origem da consciência. Conclui-se então, que a adoção de uma visão não-reducionista da consciência deveria deixar a questão aberta. O autor apoia-se no seu princípio da invariância organizacional que estabelece que qualquer sistema com a forma correta em sua organização funcional é consciente, não importando seu substrato físico. Por consequência deste argumento, uma máquina constituída a partir de componentes de silício poderia ser consciente. O que ainda 8 SEARLE (1980).
7 permanece nebuloso neste argumento é como é realizada a conexão entre a computação e a organização funcional. Defende ainda a adoção de um formalismo único: autômatos de estados combinatórios (CSA). Esta classe de computação é suficientemente geral, de forma que sua implementação associada pode ser facilmente estendida para a aplicação à outras classes. Um CSA é um modelo mais sofisticado de um autômato de estado finito (FSA), pois disponibiliza uma cadeia de estados internos estruturados (S i j). Cada elemento S i pode assumir um número finito de valores S i j. Onde S i j é o valor jésimo possível do i-ésimo elemento. Estes valores podem ser pensados como subestados do estado geral. Entradas e saídas têm um tipo similar de estrutura complexa: uma entrada é um vetor [I l,...,l k ], e uma saída é um vetor [O l,..., O m ]. De maneira não formal, pode-se dizer que um sistema físico implementa uma computação quando a estrutura causal do sistema espelha a estrutura formal da computação. O sistema é implementado (computacionalmente) se existe uma forma de mapeamento dos estados deste para os estados físicos, que por sua vez, são causalmente relacionados com os estados que são formalmente ligados aos primeiros de forma correspondente. Inteligência Artificial Forte Os requisitos para se implementar um CSA são muito semelhantes ao que é necessário para apreender uma organização funcional. Uma organização funcional é determinada especificando-se um número de componentes abstratos, um número de estados para cada componente, e um sistema de relações de dependência causais que indica como o estado de cada componente depende de estados anteriores e das respectivas entradas e saídas. Compreender a organização funcional é quase o mesmo que implementar o CSA correspondente, ficando mais forte, dessa forma a ligação entre a organização abstrata causal de um sistema com sua respectiva computação. De acordo com Chalmers, esta conexão faz a defesa da IA forte, de forma paradoxal com sua teoria não-reducionista. Qualquer sistema físico que implemente este CSA, terá uma organização funcional tão fina e sofisticada que poderia teoricamente replicar o nível funcional dos neurônios do cérebro. Pelo princípio de invariância, este sistema irá ter experiências semelhantes daquelas apreendidas pelo cérebro. Talvez um número infinito de estados seja necessário
8 para cada neurônio. Transições entre esses estados infinitos podem ser não computáveis, não originando assim estados conscientes. Conclusão O trabalho apresentou dois vetores de pesquisa em busca da mesma resposta na direção da compreensão da consciência: 1) Questões filosóficas, que apontam numa direção top down em que partimos de conjecturas mentais em direção ao mundo da realidade física, do modo como estamos presentes no mundo. 2) A partir do mundo subatômico das partículas elementares, a consciência emergiria através de processos quânticos num fluxo bottom up em direção ao mundo cotidiano. Em ambas as abordagens o chamado gap explanatório persiste. Como podem alguns organismos estar sujeitos à experiência e, por que qualquer transformação de processos físicos poderia originar uma riquíssima e significativa vida interior? A grande questão que permeia os estudos da mente focase em qual metodologia é mais adequada para a compreensão da origem e natureza da consciência. A subjetividade da experiência do mundo representa um grave problema de diferença qualitativa. Em todas as tentativas de confrontar as questões da consciência, sejam através de teorias físicas ou não, o caráter subjetivo da experiência consciente parece ainda longe de qualquer resolução. Embora a descrição científica baseie-se exclusivamente sobre o universo físico objetivo, nosso contato com a realidade é fundamentado através de nossa experiência subjetiva consciente. As possibilidades levantadas sobre a computabilidade da mente são ainda bastante conjecturais, apoiando-se, muitas vezes, em argumentos intuitivos ou filosóficos, sem qualquer caráter experimental. As hipóteses são bastante ousadas, mas muito distantes ainda de qualquer perspectiva para a construção ou simulação de estruturas fenomenologicamente conscientes. Referências BARABÁSI, A. L. Linked: how everything is connected to everything else and what it means for business. New York: Science and Everyday Life. Plume-Penguin Group Inc., CHALMERS, David. The conscious mind: Search of a Fundamental Theory. New York Oxford University Press, DENNETT, Daniel C. Consciousness explained. New York: Back Bay Books, Brown and Company Hachette Book Group, 1991.
9 JACKSON, Frank. Epiphenomenal Qualia. Philosophical Quarterly,1982a. 32, 127, pp KAUFMANN Walter; BAIRD, Forrest. From plato to derrida: Upper saddle river. New Jersey: Pearson Prentice Hall, NAGEL, T. What is it like to be a bat? Philosophical Review, : PENROSE, R.; HAMEROFF, S. Orchestrated reduction of quantum coherence in brain: Mathematics and Computers in Simulation. Elsevier Science, , , B.V. PENROSE, Roger. Shadows of the mind: A Search for the Missing Science of Consciousness. Oxford: Oxford University Press, ROBINSON, Thomas. As Origens da Alma: Os gregos e o conceito de alma de Homero a Aristóteles. São Paulo: Editora Annablume, SEARLE, John. Minds, brains and programs: The Behavioral and Brain Sciences,. Cambridge: Cambridge University Press, V Biological naturalism. The Blackwell Companion to Consciousness. Massachusetts: Blackwell Publishing Ltd., TURING, Alan. On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, Series 2, 42, pp
CONSCIÊNCIA: DESDOBRAMENTOS CONTEMPORÂNEOS DA FILOSOFIA DA MENTE À INTELIGÊNCIA ARTIFICIAL
CONSCIÊNCIA: DESDOBRAMENTOS CONTEMPORÂNEOS DA FILOSOFIA DA MENTE À INTELIGÊNCIA ARTIFICIAL Rogerio Mandelli Mestrando HCTE UFRJ rogerio.man@gmail.com INTRODUÇÃO O proposto trabalho tem como linha central
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 01 Apresentação da Disciplina Prof.ª Danielle Casillo PLANO DE ENSINO Nome: Teoria da Computação Créditos:
Leia maisLógica e Computação. Uma Perspectiva Histórica
Lógica e Computação Uma Perspectiva Histórica Alfio Martini Facin - PUCRS A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento
Leia mais5 Conclusão. ontologicamente distinto.
5 Conclusão Considerando a força dos três argumentos anti-materialistas defendidos por Chalmers e a possibilidade de doutrinas alternativas não materialistas, devemos definitivamente abandonar o materialismo?
Leia maisCOMENTÁRIO SOBRE O CONCEITO DE SENTIMENTO NO MONISMO DE TRIPLO ASPECTO DE ALFREDO PEREIRA JR.
COMENTÁRIO SOBRE O CONCEITO DE SENTIMENTO NO MONISMO DE TRIPLO ASPECTO DE ALFREDO PEREIRA JR. Cláudia Passos-Ferreira 1 Embora muito esforço já tenha sido dispendido na tentativa de resolver o problema
Leia maisTeoria da Computação. Computabilidade
Cristiano Lehrer Introdução O objetivo do estudo da solucionabilidade de problemas é investigar a existência ou não de algoritmos que solucionem determinada classe de problemas. Ou seja, investigar os
Leia maisO que é a Teoria em Ciência da Computação. Introdução à Ciência da Computação Mário S. Alvim
O que é a Teoria em Ciência da Computação Introdução à Ciência da Computação Mário S. Alvim 2018-10-05 1 O que é computação? Algumas tentativas de definir o que é computação : É o ato de raciocinar seguindo
Leia maisLuis Otavio Alvares Filipo Perotto. Quais os limites da IA? Inteligência no homem e na máquina. Por quê? X
Questões sobre a entrevista de Marvin Minsky Discussão sobre IA Na sua opinião, o que caracteriza uma máquina inteligente? O que você entende por conhecimento de senso comum? Luis Otavio Alvares Filipo
Leia maisTeoria da Computação. Computabilidade e complexidade computacional
Teoria da Computação Computabilidade e complexidade computacional 1 Computabilidade e Complexidade Computabilidade: verifica a existência de algoritmos que resolva uma classe de linguagens trata a possibilidade
Leia mais1 INTRODUÇÃO E CONCEITOS BÁSICOS
1 INTRODUÇÃO E CONCEITOS BÁSICOS Inicia com uma breve história do surgimento e do desenvolvimento dos conceitos, resultados e formalismos nos quais a Teoria da Computação é baseada. Formalização dos conceitos
Leia maisSobre o Artigo. Searle, John, R. (1980). Minds, brains and programs. Behavioral and Brain Sciences 3(3):
Sobre o Artigo Searle, John, R. (1980). Minds, brains and programs. Behavioral and Brain Sciences 3(3): 417-457 Searle John Rogers Searle (Denven, 31 de julho de 1932) é um filósofo e escritor estadunidense,
Leia maisApostila 06. Objetivos: Estudar a Computabilidade Estudar a Decidibilidade Estudar a Redutibilidade
Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e
Leia maisPCC104 - Projeto e Análise de Algoritmos
PCC104 - Projeto e Análise de Algoritmos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 5 de dezembro de 2017 Marco Antonio
Leia maisfilosofia contemporânea
filosofia contemporânea carlos joão correia 2016-2017 1ºSemestre John Eccles Singularidade Uma resposta frequente e superficialmente plausível para este enigma [da singularidade pessoal] é a asserção de
Leia maisMarcos Castilho. DInf/UFPR. 16 de maio de 2019
16 de maio de 2019 Motivação Quais são os limites da computação? O que é um Problema de decisão? Um problema de decisão é um conjunto de perguntas, cada uma das quais tem um SIM ou um NÃO como resposta.
Leia maisProcedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens
Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens 1 Introdução Estudar computação do ponto de vista teórico é sinônimo de caracterizar
Leia maisInteligência Artificial. Conceitos Gerais
Inteligência Artificial Conceitos Gerais Inteligência Artificial - IA IA é um campo de estudo multidisciplinar e interdisciplinar, que se apóia no conhecimento e evolução de outras áreas do conhecimento.
Leia maisJuliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação
Universidade Federal de Santa Maria Disciplina de Teoria da Computação Quais são as capacidades e limitações fundamentais dos computadores? Funções Computáveis Algoritmo: descrição finitade uma computação
Leia maisComputabilidade e Complexidade (ENG10014)
Sistemas de Informação Computabilidade e Complexidade (ENG10014) Profa. Juliana Pinheiro Campos E-mail: jupcampos@gmail.com Decidibilidade O estudo da decidibilidade objetiva determinar a solucionabilidade
Leia maisECO026 TEORIA DA COMPUTAÇÃO. Prof: Rafael Santos Site:
ECO026 TEORIA DA COMPUTAÇÃO Prof: Rafael Santos Email: rafafic@gmail.com Site: http://sites.google.com/site/rafafic Máquinas de Turing Uma linguagem Turing-reconhecível (Linguagem recursivamente enumeravel),
Leia maisO diálogo entre a psicanálise e a neurociência: o que diz a filosofia da mente? Elie Cheniaux
O diálogo entre a psicanálise e a neurociência: o que diz a filosofia da mente? Elie Cheniaux As relações entre a psicanálise e a neurociência As relações entre a psicanálise e a neurociência As relações
Leia maisPCS3616. Programação de Sistemas (Sistemas de Programação) Visão Geral
PCS3616 Programação de Sistemas (Sistemas de Programação) Visão Geral Escola Politécnica da Universidade de São Paulo Objetivos Familiarização com o funcionamento global de software de sistema computacional
Leia maisInteligência Artificial. Aula 1 Prof. Nayat Sánchez Pi
Inteligência Artificial Aula 1 Prof. Nayat Sánchez Pi Curso: Inteligência Artificial Página web: http://nayatsanchezpi.com Material: Livro texto: Inteligência Artiicial, Russell & Norvig, Editora Campus.
Leia maisMário S. Alvim Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/01)
Introdução Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/01) Mário S. Alvim (msalvim@dcc.ufmg.br) Introdução DCC-UFMG (2018/01) 1 / 18 O que é a Teoria da
Leia maisReducionista Prudente ou Usurpador Cientificista? A Teoria da Consciência de Daniel Dennett
Gabriel Jucá de Hollanda Reducionista Prudente ou Usurpador Cientificista? A Teoria da Consciência de Daniel Dennett Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisSCC Introdução à Teoria da Computação
SCC-0505 João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis/ joaoluis@icmc.usp.br
Leia maisResolução Exe 2.12 Monolítico Recursivo
Resolução Exe 2.12 Monolítico Recursivo Recursivo P R é R 1 onde R 1 def (se T1 então R 2 senão R 3 ) R 2 def F; R 3 R 3 def (se T2 então R 4 senão R 7 ) R 4 def G; R 5 R 5 def (se T1 então R 7 senão R
Leia maisComputação efectiva. Que linguagens podem ser reconhecidas por algum tipo de autómato?
Computação efectiva Que linguagens podem ser reconhecidas por algum tipo de autómato? O que é ser computável? Que linguagens são computáveis? Existem linguagens que não são computáveis? Isto é, existem
Leia maisSCC Capítulo 3 Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente
SCC-505 - Capítulo 3 Linguagens Sensíveis ao Contexto e João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo http://www.icmc.usp.br/~joaoluis
Leia maisMáquina de Turing Linguagens Sensíveis ao Contexto e Enumeráveis Recursivamente
ESIN/UCPel 058814 Linguagens Formais e Autômatos TEXTO 5 Máquina de Turing Linguagens Sensíveis ao Contexto e Enumeráveis Recursivamente Prof. Luiz A M Palazzo Maio de 2007 0. Introdução A Ciência da Computação
Leia maisA Teoria Matemática que serviu como Base para Turing.
A Teoria Matemática que serviu como Base para Turing. Os Teoremas de Incompletude de Godel, de 1931, representam o fim da idade romântica da Matemática. Antes de Godel, fazia parte de um amplo projeto
Leia maisI g o r H e r o s o M a t h e u s P i c u s s a
Filosofia da Ciência Realidade Axioma Empirismo Realismo cientifico Instrumentalismo I g o r H e r o s o M a t h e u s P i c u s s a Definição Filosofia da ciência é a área que estuda os fundamentos e
Leia maisTeoria dos Grafos Aula 21
Teoria dos Grafos Aula 21 Aula passada Apresentação Trabalho Prático II Aula de hoje Quem foi Turing? Quem foi von Neumann? Quem foi Alan Turing? Criador do Turing Club de automóvel? Maratonista disciplinado
Leia maisSCC-5832 Teoria da Computação
Teoria da Computação SCC-5832 Teoria da Computação João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos
Leia maisMáquinas Universais. Máquina de Turing. Celso Olivete Júnior.
Máquinas Universais Máquina de Celso Olivete Júnior olivete@fct.unesp.br http://www2.fct.unesp.br/docentes/dmec/olivete/ Roteiro Hipótese de Church - Máquinas Universais: Máquina de Máquina de : Noção
Leia maisUMA PROVA DE CONSISTÊNCIA
UMA PROVA DE CONSISTÊNCIA Felipe Sobreira Abrahão Mestrando do HCTE/UFRJ felipesabrahao@gmail.com 1. INTRODUÇÃO Demonstradas por Kurt Gödel em 1931, a incompletude da (ou teoria formal dos números ou aritmética)
Leia maisEm que consiste a ciência, na computação?
Open House 2009 p. 1/50 Em que consiste a ciência, na computação? S. C. Coutinho Instituto de Matemática UFRJ Algumas perguntas Open House 2009 p. 2/50 Open House 2009 p. 2/50 Algumas perguntas O que é
Leia maisInteligência Artificial. Aula 2
Inteligência Artificial Aula 2 Retomada da aula passada O que é Inteligência Artificial Inteligência Artificial é o estudo de como fazer os computadores realizarem coisas que, no momento, as pessoas fazem
Leia maisProfa. Sheila Morais de Almeida. março
Classificação das Ciências Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2019 Sheila Almeida (DAINF-UTFPR-PG) Classificação das Ciências março - 2019 1 / 23 Este material é preparado usando como
Leia maisAula 01. Murilo V. G. da Silva DINF/UFPR
Aula 01 DINF/UFPR Antes de qualquer coisa... Computação quântica é algo quente nos noticiários... Antes de qualquer coisa... Computação quântica é algo quente nos noticiários... mas Antes de qualquer coisa...
Leia maisProf. Dr. Marcos Castilho. Departamento de Informática/UFPR. 22 de Fevereiro de 2018
22 de Fevereiro de 2018 Motivação O que é um computador? O que é um algoritmo? Para que serve um algoritmo? Quando um algoritmo é bom? A análise de um algoritmo depende do computador? Motivação Em teoria
Leia maisLIMITES COMPUTACIONAIS E O FUTURO. Prof. André Vignatti DINF - UFPR
LIMITES COMPUTACIONAIS E O FUTURO Prof. André Vignatti DINF - UFPR CONTEXTUALIZANDO Ciências Exatas base de tudo, gera conhecimento Engenharias usa conhecimento, gera tecnologias Tecnologias usa tecnologias,
Leia maisUniversidade Federal de Alfenas
Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 16 Decidibilidade humberto@bcc.unifal-mg.edu.br Últimas Aulas Uma Máquina de Turing (MT) possui: uma fita infinita para representar a
Leia maisO Problema Mente-Corpo Uma Visão Pragmática
O Problema Mente-Corpo Uma Visão Pragmática Sergio William Botero dca-fee-unicamp sergio.botero@gmail.com Resumo Desde os tempos de Platão e Aristóteles se discutiam questões referentes a mente, e uma
Leia maisQuais os limites da IA? Por quê? Luis Otavio Alvares Filipo Perotto. Inteligência no homem e na máquina
Fronteiras da IA Aspectos Filosóficos da IA Luis Otavio Alvares Filipo Perotto Quais os limites da IA? O que um computador poderá fazer? O que um computador não poderá fazer? Por quê? Fronteiras da IA
Leia maisPRIMEIRO CAPÍTULO (Tema e explicação do problema)
PRIMEIRO CAPÍTULO (Tema e explicação do problema) O problema mente-corpo decorre da assunção de dois conjuntos de premissas plausíveis, mas cuja conjunção não o é: a) o mundo natural é regido por leis
Leia maisCompletude diz-se em Vários Sentidos
Completeness can be said in Several Meanings Edelcio Gonçalves de Souza Pontifícia Universidade Católica de São Paulo (PUC-SP) edelcio@pucsp.br Resumo: A partir de um raciocínio equivocado acerca do significado
Leia maisRedutibilidade. Mário S. Alvim Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02)
Redutibilidade Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Redutibilidade DCC-UFMG (2018/02) 1 / 46 Redutibilidade:
Leia maisSCC Teoria da Computação e Linguagens Formais
SCC-0205 João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis/ joaoluis@icmc.usp.br
Leia maisMáquinas de Turing para construção: Foram encontrados dois modelos que se destacaram em nossas pesquisas.
Máquina de Turing É um dispositivo imaginário que formou a estrutura para fundamentar a ciência da computação moderna. Seu inventor, o matemático Alan Mathison Turing, mostrou que a computação das operações
Leia maisLinguagens Formais e Autômatos. Tiago Alves de Oliveira
Linguagens Formais e Autômatos Tiago Alves de Oliveira Ementa Linguagens Regulares; Máquinas de Turing; O Problema da Parada da Máquina de Turing; Autômatos Finitos; Linguagens Livres de Contexto; Autômatos
Leia maisParadigma Simbólico. Sistemas de Informação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 2)
Paradigma Simbólico Sistemas de Informação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 2) Revisão da aula anterior: definição de IA Podemos associar o termo IA com: Parte da ciência da computação
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Prof.ª Danielle Casillo Nome: Teoria da Computação Créditos: 4 60 horas Período: 2010.2 Horário: segundas e quintas das 20:40 às 22:20
Leia maisTeoria dos Grafos Aula 16
Teoria dos Grafos Aula 16 Aula passada Primeira prova Aula de hoje Pontes de Königsberg Ciclo Euleriano Ciclo Hamiltoniano Quem foi Turing? As 7 Pontes de Königsberg Königsberg, cidade na Prússia (atual
Leia maisTurma A - Segundas e Quartas das 8h30min - 10h10min Turma B - Segundas e Quartas das 10h30min - 12h10min
UNIVERSIDADE DEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA DEPARTAMENTO DE INFORMÁTICA TEÓRICA 2 Semestre 2008 04/08/2008 a 12/12/2008 DISCIPLINA: TEORIA DA COMPUTAÇÃO N CÓDIGO: INF05501. Horário:
Leia maisInteligência Artificial
Inteligência Artificial Introdução Stuart Russel and Peter Norvig, Artificial Intelligence: A modern approach, 2nd edition, Pearson Education, 2003 cap. 1 Ernesto Costa e Anabela Simões, Inteligência Artificial:
Leia maisLinguagens Formais e Autômatos Apresentação da Disciplina
Linguagens Formais e Autômatos Apresentação da Disciplina Andrei Rimsa Álvares Computação Histórico da Computação O que pode ser computado? Ábaco China Aprox. 3500 a.c. Máquina de Babbage Inglaterra 1823
Leia maisAs Interfaces Cérebro-Máquina e o Problema Mente-Corpo. Brain-Machine Interfaces and the Mind-Body Problem
As Interfaces Cérebro-Máquina e o Problema Mente-Corpo. Brain-Machine Interfaces and the Mind-Body Problem Profº Drº Jonas Gonçalves Coelho Natalia Cristine de Oliveira, nati.cris.oliveira@gmail.com UNESP-Campus
Leia maisA TEORIA DOS ESTADOS MENTAIS DE JOHN R. SEARLE E SUAS CRÍTICAS A DANIEL DENNETT
A TEORIA DOS ESTADOS MENTAIS DE JOHN R. SEARLE E SUAS CRÍTICAS A DANIEL DENNETT Alexander Almeida Morais Graduando em Filosofia pela Universidade Federal do Piauí. Aluno de Iniciação Científica Voluntária
Leia maisComputação. Sob uma perspectiva teórica. Elloá B. Guedes. IQuanta. 22 de setembro de 2008
Computação Sob uma perspectiva teórica Elloá B. Guedes IQuanta 22 de setembro de 2008 Elloá B. Guedes (IQuanta) Computação 22 de setembro de 2008 1 / 30 Outline 1 Motivação 2 Contextualização Histórica
Leia maisVariedades Adicionais das Máquinas de Turing
LFA - PARTE 5 Variedades Adicionais das Máquinas de Turing 1 Máquinas de Turing com uma Fita Infinita de um Sentido A fita da máquina é infinita apenas à direita O quadrado da fita mais à esquerda contém
Leia maisDo conceito de Complexidade I. Uma introdução ao tema da complexidade e dos sistemas complexos.
Do conceito de Complexidade I Uma introdução ao tema da complexidade e dos sistemas complexos. 1 Uma preocupação: Tema complexo e vago que acena para o irracional? 2 Uma motivação: Está em curso uma mudança
Leia maisTeoria da Computação (BBC244)
Teoria da Computação (BBC244) Professor: Anderson Almeida Ferreira anderson.ferreira@gmail.com http://www.decom.ufop.br/anderson Sala COM 10 DECOM-UFOP Ementa Gramáticas. Linguagens. Operações com Linguagens.
Leia maisFabrício Jailson Barth BandTec
Introdução à Inteligência Artificial Fabrício Jailson Barth fabricio.barth@bandtec.com.br BandTec 1 o semestre de 2012 Objetivos e Sumário O que é Inteligência Artificial (IA)? Objetivos da IA. Influência
Leia maisAnálise e Projeto de Algoritmos
Análise e Projeto de Algoritmos 2018.2 Modelo de Computação Determinação de como os cálculos são realizados pelo computador e que funcionalidades ele possui. Máquina de Turing É um modelo de computação
Leia maisO PROBLEMA DOS QUALIA E DE SUA COMUNICAÇÃO
O PROBLEMA DOS QUALIA E DE SUA COMUNICAÇÃO CLARA ROCHA MASCENA Graduanda de Licenciatura em Filosofia da UESB E-mail: clararmascena@gmail.com RESUMO: No presente trabalho, pretendemos expor posicionamentos
Leia maisIAC - Inteligência Artificial Aplicada a Controle
Introdução IAC - Inteligência Artificial Aplicada a Controle Prof. Dr. Alexandre da Silva Simões Homo sapiens: capacidades mentais de grande importância Como um punhado de matéria pode perceber, compreender,
Leia maisIBM1088 Linguagens Formais e Teoria da Computação
IBM1088 Linguagens Formais e Teoria da Computação Apresentação da disciplina Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 16 IBM1088 Objetivos Fornecer
Leia maisCapítulo A máquina de Turing (TM) padrão Combinações de máquinas de Turing A Tese de Turing. ADC/TC/Cap.9/ /LEI/DEIFCTUC 375
Capítulo 9 Máquinas de Turing 9.1. A máquina de Turing (TM) padrão 9.2. Combinações de máquinas de Turing 9.3. A Tese de Turing ADC/TC/Cap.9/2009-10/LEI/DEIFCTUC 375 Linguagens regulares Autómatos finitos
Leia maisCONTANDO RELAÇÕES E FUNÇÕES
CONTANDO RELAÇÕES E FUNÇÕES Heitor Achilles Dutra da Rosa 1 Resumo: O processo de ensino e aprendizagem da Matemática inclui necessariamente a resolução de problemas. Esse trabalho tem como objetivo utilizar
Leia maisI.2 Introdução a Teoria da Computação
I.2 Introdução a Teoria da Computação O que é? Fundamento da Ciência da Computação Tratamento Matemático da Ciência da Computação Estudo Matemático da Transformação da Informação Qual sua importância?
Leia maisUma introdução ao Monismo Anômalo de Donald Davidson
Uma introdução ao Monismo Anômalo de Donald Davidson Por Marcelo Fischborn http://fischborn.wordpress.com (Universidade Federal de Santa Maria, Outubro de 2010) REFERÊNCIAS: Davidson (1917 2003) DAVIDSON,
Leia maisMecanismos de Interrupção e de Exceção, Barramento, Redes e Sistemas Distribuídos. Sistemas Operacionais, Sistemas
Arquitetura de Computadores, Arquitetura de Computadores Organização de Computadores, Conjunto de Instruções, Sistemas Operacionais, Sistemas Operacionais, Sistemas Mecanismos de Interrupção e de Exceção,
Leia maisIN Redes Neurais
IN0997 - Redes Neurais Aluizio Fausto Ribeiro Araújo Universidade Federal de Pernambuco Centro de Informática - CIn Departamento de Sistemas da Computação aluizioa@cin.ufpe.br Conteúdo Objetivos Quem usa
Leia maisUma forma de classificação
Uma forma de classificação L. Não-RE ou f. nãocomputáveis LRE ou MT ou f. comput. L. Indecidíveis ou Procedimentos L. Recursivas ou Decidíveis ou Algoritmos Outra forma de classificação Problemas Indecidíveis
Leia maisInteligência Artificial
Inteligência Artificial Introdução Profª. Claudia Brandelero Rizzi http://www.inf.unioeste.br/~claudia/ia2018.html 1 Inteligência Artificial Questões preliminares A questão da inteligência e do Artificial
Leia maisSobre o Artigo. Turing, A.M (1950). Computing machinery and intelligence. Mind, 59,
Sobre o Artigo Turing, A.M (1950). Computing machinery and intelligence. Mind, 59, 433-460 Questões do Russell e Norvig Exercício 1.2: Leia o artigo original de Turing sobre IA (Turing, 1950). No artigo
Leia maisUniversidade Federal de Alfenas
Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 15 Máquinas de Turing (parte 2) humberto@bcc.unifal-mg.edu.br Última Aula Uma Máquina de Turing (MT) possui: uma fita infinita para representar
Leia maisTeresa Galvão LEIC - Teoria da Computação I 3.1
3. Outras abordagens à computabilidade 3.1 Outras abordagens à computabilidade 3.2 Funções parciais recursivas 3.3 Funções recursivas primitivas 3.4 Computabilidade de Turing 3.5 Sistemas de Post e Markov
Leia maisCIENCIA CONCIENCIA Y LUZ Peter Russell
CIENCIA CONCIENCIA Y LUZ Peter Russell por: Marouva Fallgatter Faqueti Disciplina: Complexidade, conhecimento e sociedade em redes 1/2016 Professor: Aires José Roverr Peter Russell (1946 - ) Escritor e
Leia maisTeoria da Computação. Computabilidade e complexidade computacional
Teoria da Computação Computabilidade e complexidade computacional 1 Computabilidade e Complexidade Computabilidade: verifica a existência de algoritmos que resolva uma classe de linguagens trata a possibilidade
Leia maisOutras abordagens à computabilidade. Nota
Outras abordagens à computabilidade 3.1 Nota Os presentes acetatos foram baseados quase na sua totalidade nos acetatos realizados pela Professora Teresa Galvão da Universidade de Porto para a cadeira Teoria
Leia maisLógica Computacional
Aula Teórica 1: Apresentação Departamento de Informática 14 de Fevereiro de 2011 O que é a lógica? Lógica: de que se trata? A lógica está na base do raciocínio É um processo inerentemente humano, tão básico
Leia maisMetaheurísticas de Otimização Bio-Inspiradas
Metaheurísticas de Otimização Bio-Inspiradas Aula 3 Simulação Computacional* Prof. Dr. Hugo Valadares Siqueira * Aula baseada nas notas de aula do Prof. Fernando Von Zuben, da UNICAMP O poder da simulação
Leia maisINSTITUTO DE PÓS GRADUAÇÃO ICPG GESTÃO DA TECNOLOGIA DA INFORMAÇÃO
INSTITUTO DE PÓS GRADUAÇÃO ICPG GESTÃO DA TECNOLOGIA DA INFORMAÇÃO Prof. Msc. Saulo Popov Zambiasi (saulopz@gmail.com) Informação - ICPG - Criciuma - SC 1 Conceitos de Inteligência e Inteligência Artificial.
Leia maisMUMFORD, STEPHEN. METAPHYSICS: A VERY SHORT INTRODUCTION. OXFORD: OXFORD UNIVERSITY PRESS, 2012.
MUMFORD, STEPHEN. METAPHYSICS: A VERY SHORT INTRODUCTION. OXFORD: OXFORD UNIVERSITY PRESS, 2012. Renato Mendes Rocha Doutorando em Filosofia pela Universidade Federal de Santa Catarina Bolsista CAPES Visitante
Leia maisTuring e Complexidade
(baseado em material da disciplina PCS2214) PMR2300 Escola Politécnica da Universidade de São Paulo Máquina de Turing Máquina de Turing: modelo mais poderoso de computador, proposto pelo inglês Alan M.
Leia maisAlgoritmos I Aula 1 Introdução aos Algoritmos
Algoritmos I Aula 1 Introdução aos Algoritmos Professor: Max Pereira max.pereira@unisul.br Ciência da Computação Ementa Algoritmos e Programas. Constantes, variáveis, tipos de dados e expressões. Construções
Leia maisUFCG IQuanta DSC. Cheyenne R. G. Isidro Bernardo Lula Júnior
Um Algoritmo para Transformar Autômatos Finitos Não- Determinísticos em Autômatos Finitos Quânticos Preservando o Número de Estados e a Linguagem Reconhecida Cheyenne R. G. Isidro cha@dsc.ufcg.edu.br Bernardo
Leia maisUma Introdução à Computação Quântica
Uma Introdução à Computação Quântica por Bernardo Lula Júnior 1 e Aércio Ferreira de Lima 2 1 Departamento de Sistemas e Computação Universidade Federal de Campina Grande lula@dsc.ufcg.edu.br 2 Departamento
Leia maisComputação Bioinspirada. Prof. Eduardo R. Hruschka (Slides baseados nos originais do Prof. André C. P. L. F. de Carvalho)
Computação Bioinspirada Prof. Eduardo R. Hruschka (Slides baseados nos originais do Prof. André C. P. L. F. de Carvalho) 1 Principais tópicos Computação Bioinspirada Computação Biológica Biologia Computacional
Leia maisA EPISTEMOLOGIA E SUA NATURALIZAÇÃO 1 RESUMO
A EPISTEMOLOGIA E SUA NATURALIZAÇÃO 1 SILVA, Kariane Marques da 1 Trabalho de Pesquisa FIPE-UFSM Curso de Bacharelado Filosofia da Universidade Federal de Santa Maria (UFSM), Santa Maria, RS, Brasil E-mail:
Leia maisTécnicas de Inteligência Artificial
Universidade do Sul de Santa Catarina Ciência da Computação Técnicas de Inteligência Artificial Aula 02 Representação do Conhecimento Prof. Max Pereira Para que um computador possa solucionar um problema
Leia maisCENTRO FEDERAL DE EDUCAçÃO TECNOLÓGICA CELSO SUCKOW DA FONSECA - CEFET/RJ CAMPUS PETRÓPOLIS CURSO DO BACHARELADO EM ENGENHARIA DE COMPUTAÇÃO
CENTRO FEDERAL DE EDUCAçÃO TECNOLÓGICA CELSO SUCKOW DA FONSECA - CEFET/RJ CAMPUS PETRÓPOLIS CURSO DO BACHARELADO EM ENGENHARIA DE COMPUTAÇÃO PROPOSTA DO TRABALHO DE CONCLUSÃO DE CURSO Alan Mathison Turing
Leia maisNo. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)
Cálculo Infinitesimal I V01.2016 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitor: Lucas Porto de Almeida Lista A - Introdução à matemática No. Try not. Do... or do not. There is no try.
Leia maisÉ POSSÍVEL CONCILIAR O
É POSSÍVEL CONCILIAR O DUALISMO DE PROPRIEDADES COM O MATERIALISMO? UMA ABORDAGEM SOBRE DUAS POSSÍVEIS SOLUÇÕES AO PROBLEMA MENTE-CORPO Filicio Mulinari Tercio Kill Resumo: O objetivo do artigo é explicitar
Leia mais