Pular para o conteúdo principal
-
-
Login
|
Register
pt-br
Buscar
Início
Institucional
Sobre o CLE
Diretorias e Coordenadorias
Agenda
Conselho Científico
Membros
Pesquisadores
Sociedades
Equipe
Endereço
In Memorian
Arquivos Históricos
Acervo
COSUPI
PROTEC
Difusão
Arquivos Históricos (Acervos Pessoais)
Arquivos Históricos - Exposição Virtual Newton da Costa
CLE - 30 Anos
II SIMTEC 2008
Trabalhos Desenvolvidos
Associação Nacional de Pós-Gradiação em Filosofia (ANPOF)
Ciência e Arte Nas Férias
Painel II SIMTEC
Biblioteca
Catálogo on-line
Contatos
Landmarks of Science
The Wittgenstein Papers
Biblioteca Digital de História das Ciências Formais
Publicações
Cadernos de História e Filosofia da Ciência (CHFC)
Coleção CLE
Manuscrito - Revista Internacional de Filosofia
Publicações Eletrônicas
Publicações CLE/UNICAMP (AQUISIÇÕES)
Pesquisas
Grupo Interdisciplinar CLE Auto-Organização
Boletim de Notícias CLE Auto-Organização
Contatos CLE Auto-Organização
Eventos CLE Auto-Organização
Observatório CLE Auto-Organização
Linhas de Pesquisa CLE Auto-Organização
Seminários do Grupo Auto-Organização
Participantes
Publicações
Palestras
Grupo de Lógica Teórica e Aplicada - GLTA
Linhas de Pesquisa
Links
Participantes
Publicaçoes do Grupo
Thematic-Consrel-FAPESP
Thematic-LogCons-FAPESP
LogCons: Logical consequence, reasoning and computation
LogCons: Equipe/Team
LogCons: Links
Outros Grupos de Pesquisa e Grupos de Trabalho
Grupo de Pesquisa Multilinguismo e Multiculturalismo no Mundo Digital
Grupo de Trabalho em Lógica da ANPOF
Seminário Permanente de Metafísica do CLE
Seminários Interdisciplinares CLE - Desigualdade Econômica e Social
Multimídia
Eventos
Notícias
Vídeos Institucionais
Clipping CLE/UNICAMP
Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths
Autor(es)
Christoph Benzmüller
Créditos
2NDCLE4SCIENCE
Data
Wednesday, 19 de Julho de 2017 - 12:00
PUBLICAÇÕES / PUBLICATIONS
Cadernos de História e Filosofia da Ciência: Série 3, volume 4, n. 2 - julho a dezembro de 1994
Cadernos de História e Filosofia da Ciência: Série 3, volume 16, n. 2 - julho a dezembro de 2006
Cadernos de História e Filosofia da Ciência: Série 3, volume 14, n. 1 - janeiro a junho de 2004
Cadernos de História e Filosofia da Ciência: Série 3, volume 9, n. 1/2 - janeiro a dezembro de 1999
Cadernos de História e Filosofia da Ciência: Série 3, volume 15, n. 1 - janeiro a junho de 2005
Cadernos de História e Filosofia da Ciência: Série 3, volume 4, n. 1 - janeiro a junho de 1994
Cadernos de História e Filosofia da Ciência, Série 3, Volume 19, n. 2 - julho a dezembro 2009
Cadernos de História e Filosofia da Ciência: Série 3, volume 17, n. 2 - julho a dezembro de 2007
Cadernos de História e Filosofia da Ciência: Série 3, volume 8, n. 2 - julho a dezembro de 1998
Cadernos de História e Filosofia da Ciência: Série 3, volume 11, n. 2 - julho a dezembro de 2001
Cadernos de História e Filosofia da Ciência: Série 3, volume 11, n. 1 - janeiro a junho de 2001
Cadernos de História e Filosofia da Ciência, Série 3, Volume 19, n. 1 - janeiro a junho 2009
Cadernos de História e Filosofia da Ciência: Série 3, volume 6, n. 2 - julho a dezembro de 1996
Cadernos de História e Filosofia da Ciência: Série 3, volume 12, n. Especial - janeiro a dezembro de 2002
Cadernos de História e Filosofia da Ciência: Série 3, volume 5, n. Especial - janeiro a dezembro de 1995
Cadernos de História e Filosofia da Ciência: Série 3, volume 16, n. 1 - janeiro a junho de 2006
Cadernos de História e Filosofia da Ciência: Série 3, volume 9, n. Especial - janeiro a dezembro de 1999
Cadernos de História e Filosofia da Ciência: Série 3, volume 7, n. 2 - julho a dezembro de 1997
Cadernos de História e Filosofia da Ciência: Série 3, volume 10, n. 1 - janeiro a junho de 2000
Cadernos de História e Filosofia da Ciência: Série 3, volume 17, n. 1 - de janeiro a junho de2007
Cadernos de História e Filosofia da Ciência: Série 3, volume 15, n. 2 - julho a dezembro de 2005
Cadernos de História e Filosofia da Ciência: Série 3, volume 14, n. 2 - julho a dezembro de 2004
Cadernos de História e Filosofia da Ciência: Série 3, volume 6, n. 1 - janeiro a junho de 1996
Cadernos de História e Filosofia da Ciência: Série 3, volume 13, n. 2 - julho a dezembro de 2003
Cadernos de História e Filosofia da Ciência: Série 3, volume 7, n. 1 - janeiro a junho de 1997
Cadernos de História e Filosofia da Ciência: Série 3, volume 18, n. 2 - julho a dezembro de 2008
Cadernos de História e Filosofia da Ciência: Série 3, volume 18, n. 1 - janeiro a junho de 2008
Cadernos de História e Filosofia da Ciência: Série 3, volume 3, n. 1/2 - julho a dezembro de 1993
Cadernos de História e Filosofia da Ciência: Série 3, volume 8, n. 1 - janeiro a junho de 1998
Cadernos de História e Filosofia da Ciência: Série 3, volume 5, n. 1/2 - janeiro a dezembro de 1995
Cadernos de História e Filosofia da Ciência: Série 3, volume 6, n. Especial - janeiro a dezembro de 1996
Cadernos de História e Filosofia da Ciência: Série 3, volume 12, n. 1/2 - janeiro a dezembro de 2002
Coleção CLE: Vol 89 - Axiomatic Theory of Distributions
Coleção CLE Vol. 75 - Crossing Oceans
Coleção CLE Vol. 77 - Wittgenstein: Conhecimento e Ceticismo
Coleção CLE: Vol. 74 - Intuición y Pensamiento: La Concepción Fregeana de la Geometría
Coleção CLE: Vol. 79 - (UN-) Certainty and (IN-) Exactness, proceeding of the 1st CLE Colloquium for Philosophy and Formal Sciences
Coleção CLE: Vol. 81 - Aftermath of the Logical Paradise
Coleção CLE: Vol. 82 - I SOEITXAWE: Congresso Internacional de Pesquisa Científica na Amazônia
Coleção CLE: Vol. 83 - O Paradoxo do Mentiroso: uma introdução
Coleção CLE: Vol. 85 - O Paradigma da Complexidade e a Ética Informacional
Coleção CLE: Vol. 86 - Wittgenstein in/on translation
Coleção CLE: Vol. 12 - D–Álgebras das Lógicas Polivalentes de Lukasiewicz.
Coleção CLE: Vol. 16 - Tese de Church: Algumas Questões Histórico-Conceituais.
Coleção CLE: Vol. 19 - Potencial Científico: Estructura y Problemas de Evaluación.
Coleção CLE: Vol. 20 - Una Introducción a la Teoría de Conjuntos y los Fundamentos de las Matemáticas.
Coleção CLE: Vol. 24 - O estatuto das entidades metapsicológicas à luz da teoria kantiana das idéias.
Coleção CLE: Vol. 25 - O empirismo construtivo: uma reformulação e defesa.
Coleção CLE: Vol. 28 - Fundamentos da Psicanálise – Pensamento, Linguagem, Realidade e Angústia.
Coleção CLE: Vol. 31 - Gramsci: filosofia, política e Bom-Senso.
Coleção CLE: Vol. 32 - Sintaxe e Semântica Universais
Coleção CLE: Vol. 33 - A Epistemologia de Claude Bernard
Coleção CLE: Vol. 34 - Logical Forms (Part I) Truth and Description
Coleção CLE: Vol. 36 - O filósofo e sua história: uma homenagem a Oswaldo Porchat
Coleção CLE: Vol. 37 - Problemas, Lenguajes y Algoritmos
Coleção CLE: Vol. 38 - Autoorganização: estudos interdisciplinares
Coleção CLE: Vol. 39 - Lógica: teoria, aplicações e reflexões
Coleção CLE: Vol. 40 - Introdução à teoria da relatividade com aplicações à física nuclear
Coleção CLE: Vol. 43 - Wittgenstein – Ética – Estética – Epistemologia
Coleção CLE: Vol. 44- Filosofia da Mente e Inteligência Artificial, Segunda Edição
Coleção CLE: Vol. 47 - Materialismo e Evolucionismo Epistemologia e História dos Conceitos
Coleção CLE: Vol. 48 - Mario Tourasse Teixeira: O Homem, o Educador, o Matemático
Coleção CLE: Vol. 49 - Wittgenstein: Aspectos Pragmáticos Wittgenstein: Aspectos Pragmáticos
Coleção CLE: Vol. 50 - Alguns Aspectos do Pensamento Formal Homenagem a Gilles-Gaston Granger
Coleção CLE: Vol. 51 - O Realismo Naturalista de Quine: Crença e Conhecimento sem Dogmas
Coleção CLE: Vol. 52 - Auto-organização nas Ciências Exatas e Naturais (Parte 1 e 2)
Coleção CLE: Vol. 53 - Auto-organização nas Ciências Exatas e Naturais Brazilian National Identity and Self-Organization (Identidade Nacional Brasileira e Auto-Organização) 2009
Coleção CLE: Vol. 54 - Dimensions of Logical Concepts Dimensions of Logical Concepts
Coleção CLE: Vol. 55 - Wittgenstein - Como ler o Álbum?
Coleção CLE: Vol. 56 - A "De Divina Proportione" de Luca Pacioli - Tradução anotada e comentada
Coleção CLE: Vol. 57 - Um Filósofo e a Multiplicidade de Dizeres: Homenagem aos 70 anos de vida e 40 de Brasil de Zeljko Loparic.
Coleção CLE: Vol. 58 - Wittgenstein - Certeza?
Coleção CLE: Vol. 59 - Materialismo e Evolucionismo II - A origem do homem
Coleção CLE: Vol. 6 - Sobre o Predicativismo em Hermann Weyl
Coleção CLE: Vol. 60 - Sistemas axiomáticos formalizados: a questão da desinterpretação da axiomática
Coleção CLE: Vol. 61 - A relação entre a filosofia mecânica e os experimentos alquímicos de Robert Boyle
Coleção CLE: Vol. 62 - História da Matemática - Volume II
Coleção CLE: Vol. 63 - Wittgenstein e a epistemologia
Coleção CLE: Vol. 64 - In the Steps og Galois: proceedings of the Evariste Galois bicentenary meeting – Fabio Maia Bertato, José Carlos Cifuentes, Jean-Jacques Szczeciniarz (Invited editors)
Coleção CLE: Vol. 65 - Incursões Semióticas – Lauro Frederico Barbosa da Silveira
Vol. 66 - Auto Organização - estudos interdisciplinares v. 5
Coleção CLE: Vol. 67 - Materialismo e Evolucionismo III - Evolução e acaso na hominização - João Quartim de Moraes (org.)
Coleção CLE: Vol. 68 - Wiitgenstein - Compreensão: Adestramento, Treinamento, Definição - Arley R. Moreno (org.)
Coleção CLE: Vol. 69 - Uranografia ou a descrição do Céu
Coleção CLE: Vol. 7 - N.A. Vasiliev e a Lógica Paraconsistente
Coleção CLE: Vol. 70 - Origens da química no Brasil
Coleção CLE: Vol. 71 - Hesiod´s Cosmos - A Linguistic-Mathematic View
Vol. 72 - Wittgenstein e seus aspectos
Coleção CLE: Vol. 73 - Informação, Complexidade e Auto-Organização: Estudos Interdisciplinares
Vol. 76 - Conferências na Unicamp em 1975 / Lectures at Unicamp in 1975
Coleção CLE: Vol. 8 - Razão e Afetividade: O Pensamento de Lucien Lévy-Bruhl.
Coleção CLE: Vol. 80 - Para além das Colunas de Hércules, uma história da paraconsistência - De Heráclito a Newton da Costa
Coleção CLE: Vol. 90 - ¿Qué es la armonía? Esencia matemática de la música
Coleção CLE: Vol. 91 - Tantos sóis, tantos mundos, tantas hipóteses: a história das teorias de formação do sistema solar e os progressos da ciência
Coleção CLE: Vol. 92 - Desordem Informacional: para um quadro interdisciplinar de investigação e elaboração de políticas públicas
Revista Manuscrito: Volume 36, número 1 - janeiro a junho de 2013
Revista Manuscrito: Volume 24, número 1 - abril de 2001
Revista Manuscrito: Volume 26, número 1 - janeiro a junho de 2003
Revista Manuscrito: Volume 37, número 1 - janeiro a junho de 2014
Revista Manuscrito: Volume 25, número - Número especial
Revista Manuscrito: Volume 28, número 2 - julho a dezembro de 2005
Revista Manuscrito: Volume 29, número 1 - janeiro a junho de 2006
Revista Manuscrito: Volume 30, número 2 - julho a dezembro de 2007
Revista Manuscrito: Volume 29, número 2 - julho a dezembro de 2006
Revista Manuscrito: Volume 31, número 1 - janeiro a junho de 2008
Revista Manuscrito: Volume 35, número 2 - janeiro a junho de 2013
Manuscrito: Volume 38, número3 - julho a dezembro de 2015
Revista Manuscrito: Volume 25, número 1 - abril de 2002
Manuscrito: Volume 38, número 2 - julho a dezembro de 2015
Revista Manuscrito: Volume 36, número 2 - julho a dezembro de 2013
Revista Manuscrito: Volume 26, número 2 - julho a dezembro de 2003
Revista Manuscrito: Volume 32, número 1 - janeiro a junho de 2009
Revista Manuscrito: Volume 27, número 2 - julho a dezembro de 2004
Revista Manuscrito: Volume 21, número 2 - outubro de 1998
Revista Manuscrito: Volume 22, número 1 - abril de 1999
Revista Manuscrito: Volume 35, número 1 - janeiro a junho de 2012
Revista Manuscrito: Volume 21, número 1 - abril de 1998
Revista Manuscrito: Volume 34, número 2 - julho a dezembro de 2011
Revista Manuscrito: Volume 23, número 1 - abril de 2000
Revista Manuscrito: Volume 33, número 2 - julho a dezembro de 2010
Revista Manuscrito: Volume 34, número 1 - janeiro a junho de 2011
Revista Manuscrito: Volume 31, número 2 - julho a dezembro de 2008
Revista Manuscrito: Volume 23, número 2 - outubro de 2000
Revista Manuscrito: Volume 22, número 2 - outubro de 1999
Revista Manuscrito: Volume 38, número 1 - janeiro a junho de 2015
Revista Manuscrito: Volume 33, número 1 - janeiro a junho de 2010
Revista Manuscrito: Volume 24, número 2 - outubro de 2001
Revista Manuscrito: Volume 37, número 2 - julho a dezembro de 2014
Revista Manuscrito: Volume 30, número 1 - janeiro a junho de 2007
Revista Manuscrito: Volume 28, número 1 - janeiro a junho de 2005
Revista Manuscrito: Volume 25, número 2 - outubro de 2002
